Quanta's math editor asks 'Is AI the End of Math As We Know It?'; young mathematicians form an Association for Human Mathematics
On Oct 5, 2026 Quanta Magazine's math editor Jordana Cepelewicz published an essay on how AI-generated proofs are breaking the incentive system of research mathematics. It describes a Berkeley talk by Ken Ono, two days after OpenAI's Sept 8 Navier–Stokes announcement, that turned into more than two hours of angry questions from students. It reports that mathematicians are withholding open conjectures from papers and that MathOverflow activity is declining. It also names a new group, the Association for Human Mathematics, formed by Caltech doctoral student Tasmin Chu and others to "protect mathematics as a human endeavor". The same day The Verge (Robert Hart) updated its running "All the drama around AI's takeover of mathematics" storystream.
Key facts
- Quanta Magazine (Qualia essay), 'Is AI the End of Math As We Know It?', by Jordana Cepelewicz, Oct 5, 2026
- Ken Ono (who left academia for Axiom Math) at UC Berkeley, two days after OpenAI's Sept 8 announcement, to about 150 students, postdocs and faculty: 'You might be graduating into a profession that might not even exist, or that will be very different than what you expected'. The 50-minute slot ran past two hours
- Quotes Scott Aaronson's blog (Sept 15): 'In whatever years I have left, I don't expect that I'll ever again prove a theorem because I'm actually needed to prove it'
- Reported effects: many mathematicians no longer post open conjectures at the end of papers for fear of AI scraping; some post papers early to avoid being scooped; MathOverflow sees 'a massive decline in activity'; arXiv limits authors to two submissions per month; a TMLR editor found most authors of 10 papers slated for rejection 'did not respond or could not answer basic questions'
- Tasmin Chu (Caltech): 'It breaks our system. It just takes it to its absolute limit and destroys it.' Daniel Litt (Toronto): 'The existing equilibrium has broken. We'll have to find a new one.'
- Pavel Etingof (MIT): 'If AI proves all possible theorems, and no mathematicians know about these theorems, it cannot be part of culture, because culture is inherently human.' Matilde Marcolli (Caltech) is quoted from an LMS Newsletter essay
- Marcel Goh (McGill doctoral student) calls himself an AI 'vegetarian' and would 'rather leave the field than use AI in his creative work'
- Association for Human Mathematics (ahmath.org): 'protects mathematics as a human endeavor against the threat of artificial intelligence' and seeks independence 'from the encroachment of corporate interest'. Chu, per Quanta: what is needed 'is not more mathematics but policy proposals and tools … to deal with this crisis'
- Disclosure in the essay: Scott Aaronson is a member of Quanta Magazine's advisory board
- Same day, Terence Tao's blog ran a guest essay by Jeremy Avigad, 'The Future of Mathematics' (solve harder problems, think bigger thoughts, try new things)
What happened
Cepelewicz's essay starts from OpenAI's Sept 8 claim to have solved the Navier–Stokes Millennium Problem. Its main argument is that AI "skip[s] to the end": the proofs are checked by machine but hard to read and poorly connected to the literature. That breaks a culture in which proving theorems and understanding them used to go together, and in which careers are measured by theorems proved. It also says companies such as OpenAI and Anthropic are "competing directly against mathematicians (and poaching many of them)", and that OpenAI is keeping more than 100 results unpublished, which discourages people from working on questions that may already be settled.
The essay sets out two futures. In the bad one, Daniel Litt warns of mathematicians "trained in pushing a button without reading the outputs" and "no more math in 50 years". In the hopeful one, Pavel Etingof expects mathematicians to spend their time interpreting AI-found results, because they "will only become a part of mathematical culture when some human reads them and understands them". Journals are experimenting with requiring talks to accompany papers.
The Association for Human Mathematics is the organised form of this unease. Its website does not list founders or a founding date. Quanta says Chu "and others" formed it.
Why it matters
Quanta is the most widely read outlet for research mathematics, and this is its first long editorial on the crisis. It shows how far opinion moved in a month, from celebrating AI-assisted results to treating them as a threat to the profession. It also documents concrete changes in behaviour, such as conjectures withheld from papers and declining MathOverflow use, that are not visible in arXiv statistics.
Changelog
- 2026-10-05: created (science sweep, 21:30 run)
People
Related posts (2)
- The Future of Mathematics original ↗ Jeremy Avigad (guest post on Terence Tao's blog) · blog · 2026-10-05
A Lean/formal-methods logician's response, on Tao's widely read blog, to the 2026 flood of AI-solved problems: AI so far solves problems 'by cobbling together available techniques', so mathematicians should solve harder problems, think bigger and treat AI tooling as real mathematics. - The Age of Wonders and Terrors original ↗ Scott Aaronson (Shtetl-Optimized) · blog · 2026-09-15
A leading theoretical computer scientist declares, after OpenAI's Navier–Stokes claim, that human mathematicians are 'forevermore dethroned as the main theorem-proving entities on planet earth'; widely quoted, including by Quanta.
Related events
- OpenAI claims a Millennium Prize problem: 10,000 AI agents prove forced Navier–Stokes blow-up; priority dispute erupts ★★★★★
- OpenAI says an internal model resolved 100+ long-standing open problems in 24 days of training; no list released ★★★
- Mathematicians' AGMAI publishes norms for AI labs releasing AI-generated results; Simons Institute TCS group issues 12 actions ★★★
- arXiv limits submitters to two papers a month as AI-fuelled submissions hit 40,363 in September 2026 ★★★
- Caltech 'Mathathon' is reworked into 'Old Problems, New Proofs' after an open letter from mathematicians ★★
- 42 mathematician Fellows of the Royal Society, incl. Gowers, Hairer, Maynard and Scholze, call AI an 'emergency' in open letter to Paul Nurse ★★★★
- Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help (July–September catalogue) ★★★★
- OpenAI hosts a closed-door summit of about 40 mathematicians on the future of mathematics ★★★
Sources (7)
- pressQuanta Magazine: Is AI the End of Math As We Know It? (Jordana Cepelewicz, Oct 5, 2026)
- officialAssociation for Human Mathematics
- discussionScott Aaronson: The Age of Wonders and Terrors (Sept 15, 2026)
- discussionMatilde Marcolli: essay on AI and mathematics (PDF)
- discussionMarcel Goh: AI vegetarian (July 5, 2026)
- discussionTerence Tao's blog (guest post by Jeremy Avigad): The Future of Mathematics (Oct 5, 2026)
- pressThe Verge (Robert Hart): All the drama around AI's takeover of mathematics (storystream, updated Oct 5, 2026)
id: 2026-10-05-quanta-is-ai-the-end-of-math · updated 2026-10-05 · open in the interactive timeline