TechTakes

2624 readers

64 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 3 years ago

MODERATORS

dgerard@awful.systems

LLMs average <5% on 2025 Math Olympiad; award each other 20x points (arxiv.org)

submitted 1 year ago by slop_as_a_service@awful.systems to c/techtakes@awful.systems

39 comments fedilink hide all child comments

"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 comment's thread
view the rest of the comments

[–] bitofhope@awful.systems 22 points 1 year ago (2 children)

Essentially they do not simply predict the next token

looks inside

it's predicting the next token

[–] froztbyte@awful.systems 15 points 1 year ago (1 children)

every time I read these posters it's in that type of the Everyman characters in the discworld that say some utter lunatic shit and follow it up with "it's just [logical/natural/obvious/...]"

[–] o7___o7@awful.systems 9 points 1 year ago

Stands to reason