TechTakes

1787 readers

123 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] 12 points 1 week ago* (last edited 1 week 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"

[–] [email protected] 5 points 1 week ago* (last edited 1 week ago)

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