A Lee Sedol moment for math: AI proofs will be free for all, raging at OpenAI is pointless
RexDouglass · x · 2026-10-08
deredleritt3r calls OpenAI's released proofs "a Lee Sedol moment for an entire profession" and a deep human tragedy, warning against gloating — the models are coming for you too. He predicts that within a year or two such results will be obtainable in 15 minutes by anyone with a $20/month subscription or an open-source model: "Superintelligence is here."
Afinetheorem adds: the "why would OpenAI release these proofs" argument rests on a misunderstanding — these proofs will soon be doable by anyone in minutes, so secrecy is impossible. What's needed is institutional adaptation of what "a good, explained proof" means.
Together with the mathematician-scooped controversy, this forms a two-sided debate on AI upending mathematics: rage is pointless, adaptation is the way.
More from AGI Musings
- Senior i-bank exec: China is furthest ahead in physical AI and LLM-powered robotics — PAstynome · 2026-10-08
- Mathematician coins 'mathslopcalypse': none of the hundreds of new papers readable without AI — rrwilliams · 2026-10-08
- AI Founder Likens Today's San Francisco to Renaissance-Era Florence — zealcaiden · 2026-10-08
- AI Safety Veteran: Newcomers Keep Sweeping the Alignment Problem Under the Rug — JacquesThibs · 2026-10-08
- Recalling 1977's Star Trek Game on an IBM 370: Don't Go Full Luddite Over AI — zakkohane · 2026-10-08
- Terence Tao on OpenAI's math result: proofs cost hours, understanding still costs years — xiaosun86 · 2026-10-08