"A Lee Sedol moment for an entire profession": viral take says no job is safe from AI math proofs
UltraRareAF · x · 2026-10-08
Quoting the OpenAI math-proof controversy, deredleritt3r calls it "a Lee Sedol moment for an entire profession" and dismantles common defenses:
- Hard to verify? Physical-world interaction? Unreachable context? All "fig leaves," he argues — "you have maybe a few years left at most"
- He predicts such mathematical results will be reproducible in 15 minutes by anyone with a $20/month subscription or an open-source model within a year or two
- His conclusion: "Superintelligence is here," and rage against OpenAI is pointless
A combative but sharable AGI-vs-jobs take worth engaging with.
Related event: OpenAI's 372 Math Results Spark "Mathocalypse" Debate(8 posts)→
More from AGI Musings
- Quasi-Riemann hypothesis proof sparks reading wave, with Claude used to summarize the paper — aran_nayebi · 2026-10-08
- Gemini offers grim but timely thoughts on frontier model pacing — aiamblichus · 2026-10-08
- Tao: proofs are a small part of math; Lean verification vs code debate — burny_tech · 2026-10-08
- 8-page paper makes first double-log improvement to Erdos-Rankin prime gap bound in a century — aran_nayebi · 2026-10-08
- ML pioneer Michael Jordan: "Superintelligence is science fiction" — BachFrancis · 2026-10-08
- Fields Medalist Gowers pushes back on the claim that AI 'merely explores the convex hull' — burny_tech · 2026-10-08