TechTakes

1782 readers

80 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

[email protected]

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

submitted 1 week ago by [email protected] to c/[email protected]

44 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

[–] [email protected] 3 points 6 days ago (1 children)

nah I think it just sits weirdly with people (I can see what you mean but also why it would strike someone as frustrating)

[–] [email protected] 2 points 6 days ago* (last edited 6 days ago)

Yeah, I know, it is a personal thing from me. I have more of those, think it isn't helpful to use certain too general terms in specific cases as then you cast a too wide net. I fun at parties. (It is also me poking fun at how the soviets called everybody who disagreed with them a reactionary)