Quanta: Is AI the End of Math As We Know It?
littmath · x · 2026-10-05
A Quanta Magazine feature by Jordana Cepelewicz examines AI's impact on mathematics.
- Through summer 2026, AI models were offering proofs of decades-old conjectures almost weekly; on September 8, OpenAI announced its models had solved one of math's most famous problems, sparking controversy over authorship and standards.
- Scott Aaronson wrote that human mathematicians are "forevermore dethroned as the main theorem-proving entities on planet earth," with community reactions mixing grief, confusion and fear.
- The author attended a Berkeley talk by mathematician Ken Ono, who left academia for an AI startup called Axiom Math and warned students they may be graduating into a profession that might not exist.
- Math blogger littmath notes that when a headline poses a question, the answer is usually "no."
More from AGI Musings
- Gary Marcus: It's Generative AI We Can't Control, So Pause That Specific Technology — GaryMarcus · 2026-10-05
- 'Physics is the law enforced by compute': the scaling-faith mantra in one line — yunta_tsai · 2026-10-05
- Voice input killed my 100+ WPM typing: AI is making skills atrophy — petesena · 2026-10-05
- "Teslas Are More Likely Conscious Than Claude" Sparks AI Debate — inductionheads · 2026-10-05
- 12 months of the jagged frontier: superhuman specialists, subhuman at running themselves — ZeroStateReflex · 2026-10-05
- Commenter argues LLMs can asymptotically approach but never exceed AGI — GlenBradley · 2026-10-05