this post was submitted on 07 Apr 2025
38 points (100.0% liked)

TechTakes

1799 readers
78 users here now

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

founded 2 years ago
MODERATORS
 

"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."

top 44 comments
sorted by: hot top controversial new old
[–] swlabr@awful.systems 34 points 2 weeks ago* (last edited 2 weeks ago) (3 children)

“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.”

LLMs achieve reasoning level of average rationalist

[–] V0ldek@awful.systems 17 points 2 weeks ago (2 children)

This is actually an accurate representation of most "gifted olympiad laureate attempting to solve a freshman CS problem on the blackboard" students I've went to uni with.

Jumps to the front after 5 seconds from the task being assigned, bluffs that the problem is trivial, tries to salvage their reasoning for 5 minutes when questioned by the tutor, turns out the theorem they said was trivial is actually false, sits down having wasted 10 minutes of everyone's time.

[–] Soyweiser@awful.systems 9 points 2 weeks ago

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).

[–] swlabr@awful.systems 7 points 2 weeks ago (1 children)

This needed a TW jfc (jk, uh, sorta)

[–] V0ldek@awful.systems 7 points 2 weeks ago

TW: contains real chuds

[–] bitofhope@awful.systems 15 points 2 weeks ago

"Trivially" fits nicely in a margin, too. Suck on that, Andrew and Pierre!

[–] sc_griffith@awful.systems 13 points 2 weeks ago* (last edited 2 weeks ago) (1 children)

it's a very human and annoying way of bullshitting. I took every opportunity to crush this habit out of undergrads. "If you say trivial, obvious, or clearly, that usually means you're making a mistake and you're avoiding thinking about it"

[–] froztbyte@awful.systems 6 points 2 weeks ago* (last edited 2 weeks ago)

feels like the same manner as my "'just' is a weaselword" speech

[–] BigMuffin69@awful.systems 5 points 2 weeks ago

I heard new Gemini got the first question, so thats SOTA now*

*allegedly it came out the same day as the math olympiad so it twas fair, but who the fuck knows