this post was submitted on 07 Sep 2026
19 points (100.0% liked)
TechTakes
2689 readers
435 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
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
They want to sell the claim that they've "achieved AGI". For the general public they can sell on the vibe of "the computer talks back to you", but for more sophisticated audiences, they need something firmer. Everyone with even a fraction of the ability to think for themselves has stopped trusting benchmarks, so OpenAI and Anthropic has been looking for things associated with intelligence they can claim success on. Math proofs have the property of being somewhat automatically checkable, having lots of ideas scattered throughout the literature to let their LLMs sift through, and being associated with intelligence.
And the bonus advantage of an academic community of which a sizable fraction is willing to burn leaded gasoline to truck the child laborers into the sweatshop to paint asbestos with radium, if it'll get them arXiv posts.