“Notably, O3-MINI, despite being one of the best reasoning models, frequently skipped essential proof steps by labeling them as “trivial”, even when their validity was crucial.”

You are viewing a single thread.
View all comments View context
9 points

I just remember a professor saying that after he filled the board with proofs and math. ‘the rest is trivial’ not sure if it was a joke, as I found none of it trivial. (and neither did the rest of the people doing the course).

permalink
report
parent
reply

TechTakes

!techtakes@awful.systems

Create post

Big brain tech dude got yet another clueless take over at HackerNews etc? Here’s the place to vent. Orange site, VC foolishness, all welcome.

This is not debate club. Unless it’s amusing debate.

For actually-good tech, you want our NotAwfulTech community

Community stats

  • 2.5K

    Monthly active users

  • 756

    Posts

  • 18K

    Comments

Community moderators