AI and the transformation of mathematics

Articles in this series, ordered by most recent update.

Math 2.0: Beyond the Theorem Factory
Terence Tao on proof abundance, mathematical understanding, and the redesign of research
machine learning
mathematics
report
research
🇬🇧

An evidence-driven investigation of Terence Tao’s Math 2.0: why proof abundance challenges mathematical incentives, and how understanding, formal knowledge networks, research agency and responsible applications could reshape the discipline.

Antonio Montano
Oct 12, 2026
Modified Oct 13, 2026
Keywords  
Audiences practitioner, researcher, subject-matter expert, technical specialist
Difficulty intermediate

When Mathematical Discovery Became a Production System
OpenAI’s 372 result families and the epistemology of proof abundance
machine learning
mathematics
report
🇬🇧

OpenAI’s October 2026 release of 722 mathematical manuscripts across 372 result families marks a transition from proof abundance to repository-scale mathematics, in which claims, proofs, formalizations, provenance, revisions, and verification artifacts increasingly behave as maintained mathematical infrastructure.

Antonio Montano
Oct 8, 2026
Modified Oct 11, 2026
Keywords  
Audiences practitioner, researcher, subject-matter-expert, technical specialist
Difficulty intermediate

From 67 Submissions to 19,525: The Research Explosion
ICLR submissions have grown nearly 300-fold since 2013 and 68% in a single conference cycle
machine learning
mathematics
report
research
🇬🇧

ICLR grew from 67 conference-track submissions in 2013 to 19,525 valid, format-compliant submissions in 2026, while the share of mathematics preprints in Epoch AI’s sample acknowledging AI use rose from 3.89% in April 2026 to 25.25% in August. The article examines whether candidate research is scaling faster than the institutions and expert attention required to evaluate, verify, and assimilate it.

Antonio Montano
Sep 21, 2026
Modified Sep 27, 2026
Keywords  
Audiences analyst, practitioner, researcher, subject-matter expert, technical specialist
Difficulty intermediate

AI Agents Are Solving Open Problems and Changing What Mathematics Is For
Navier–Stokes, machine-scale mathematical search, and the changing meaning of mathematical progress
machine learning
mathematics
report
🇬🇧

A technical and institutional analysis of the 2026 Navier–Stokes breakthrough, the rise of multi-agent mathematical discovery, and the transition from proof scarcity to search abundance, with consequences for verification, provenance, attribution, research incentives, and mathematical judgment.

Antonio Montano
Sep 14, 2026
Modified Sep 19, 2026
Keywords  
Audiences practitioner, researcher, subject-matter expert
Difficulty advanced

When Formalization Became Industrial
Fermat’s Last Theorem, Prove2Me, and the transition from proof abundance to formalization abundance
machine learning
mathematics
report
🇬🇧

Anthropic’s Lean formalization of Fermat’s Last Theorem is evidence of a deeper transition: formalization itself is becoming scalable infrastructure, shifting mathematical scarcity from proof construction toward specification, semantic fidelity, interpretation, curation, and governance.

Antonio Montano
Sep 6, 2026
Modified Sep 6, 2026
Keywords  
Audiences practitioner, researcher, subject-matter-expert, technical specialist
Difficulty intermediate

After Proof Abundance: Palomar and the New Infrastructure of Mathematical Trust
Formal verification, provenance, semantic fidelity, and institutional governance in machine-scale mathematics
machine learning
mathematics
report
🇬🇧

A technical and institutional analysis of Palomar as an emerging verification layer for AI-assisted formal mathematics, and of the new scarcities that appear when proofs become abundant.

Antonio Montano
Aug 23, 2026
Modified Aug 23, 2026
Keywords  
Audiences practitioner, researcher, subject-matter expert, technical specialist
Difficulty intermediate

The Industrialization of Mathematical Intelligence: Beyond Proof Abundance to Open Questions of Governance
Jacob Tsimerman, Timothy Gowers, and the changing roles of human judgment, agency, and mathematical culture
machine learning
mathematics
report
🇬🇧

A technical and institutional analysis of Jacob Tsimerman’s account of AI-driven mathematical change, Timothy Gowers’s recent reflections, the Leiden Declaration, frontier-model access, and the open governance questions raised by the industrialization of mathematical intelligence.

Antonio Montano
Aug 19, 2026
Modified Aug 19, 2026
Keywords  
Audiences practitioner, researcher, subject-matter expert, technical specialist
Difficulty intermediate

When AI Failure Became a Theorem: What the Grothendieck Constant Breakthrough Reveals About Human–AI Mathematical Collaboration
How a long-horizon research system, human judgement, and rigorous verification turned a stalled search into new bounds for one of mathematics’ most elusive constants
machine learning
mathematics
report
🇬🇧

A technical essay on the mathematical and methodological significance of new bounds for the Grothendieck constant, and on the human–AI collaboration that produced them.

Antonio Montano
Aug 15, 2026
Modified Aug 15, 2026
Keywords  
Audiences practitioner, researcher, subject-matter-expert, technical specialist
Difficulty advanced

Growing Abundance of AI Math: Progress around the Riemann Hypothesis and a Counterexample to the Maxwell Conjecture
Two more research-level results strengthen the case that AI-assisted mathematical discovery is becoming a recurring phenomenon rather than a sequence of isolated demonstrations
machine learning
mathematics
report
🇬🇧

Claude’s new unconditional result on zeros of the Riemann zeta function and a GPT-5.6-Sol-suggested counterexample to the Maxwell conjecture add two significant cases to a growing body of AI-assisted mathematics. This article examines what was actually proved, how the systems contributed, and what the accumulating evidence means for mathematical research.

Antonio Montano
Aug 11, 2026
Modified Aug 12, 2026
Keywords  
Audiences practitioner, researcher, subject-matter expert, technical specialist
Difficulty intermediate

AI Mathematics Crosses the Systems Boundary
A technical commentary on proof abundance, research agents, and the infrastructure now inside the experiment
cybersecurity
generative ai
mathematics
report
🇬🇧

A commentary on the late-July 2026 cluster of AI-assisted mathematical discoveries, formal certificates, verifier failures, and escaped evaluations.

Antonio Montano
Aug 1, 2026
Modified Aug 2, 2026
Keywords  
Audiences practitioner, researcher, subject-matter-expert, technical specialist
Difficulty advanced

When the Proof Checker Becomes Part of the Experiment
Lean, Collatz, and the epistemology of proof abundance
machine learning
mathematics
report
🇬🇧

A technical analysis of the CollatzLean kernel-soundness incident and its implications for Lean-based verification, AI-assisted theorem discovery, and the emerging regime of proof abundance.

Antonio Montano
Jul 31, 2026
Modified Aug 2, 2026
Keywords  
Audiences researcher, technical specialist
Difficulty advanced

Proof Abundance and the New Practice of Mathematics
Terence Tao on AI, LLM breakthroughs, and the bottleneck of mathematical understanding
machine learning
mathematics
report
🇬🇧

An analysis of Terence Tao’s stance on artificial intelligence in mathematics, recent LLM-assisted research breakthroughs, and the institutional changes required when proof generation becomes abundant.

Antonio Montano
Jul 25, 2026
Modified Jul 30, 2026
Keywords  
Audiences practitioner, researcher, subject-matter expert, technical specialist
Difficulty advanced

When a Nobel Laureate Uses an LLM to Prove a Theorem: A Turning Point for Mathematical Discovery
How AI-assisted proof discovery is reshaping the practice of mathematics
machine learning
mathematics
report
🇬🇧

A reflection on Giorgio Parisi and Francesco Zamponi’s AI-assisted proof of a jamming-theory identity, showing how LLMs may become part of the cognitive infrastructure of mathematical discovery.

Antonio Montano
Jun 6, 2026
Modified Jun 6, 2026
Keywords  
Audiences researcher, technical specialist
Difficulty advanced

The Leiden Declaration and the Governance of AI-Assisted Mathematics
How mathematicians are answering the new cognitive infrastructure of proof
machine learning
mathematics
report
research
🇬🇧

A reading of the Leiden Declaration as a governance framework for AI-assisted mathematics, defending proof as understanding, authorship as responsibility, attribution as intellectual memory, and public infrastructure as epistemic sovereignty.

Antonio Montano
Jun 4, 2026
Modified Jun 4, 2026
Keywords  
Audiences practitioner, researcher, subject-matter expert, technical specialist
Difficulty intermediate

The New Cognitive Infrastructure of Science
AI, mathematical thought, and the rise of automated research
machine learning
mathematics
report
research
🇬🇧

An essay on AI-assisted mathematics as the prototype of a new cognitive infrastructure for science, where human researchers, AI agents, formal verifiers, simulators, and institutions form composite systems of discovery.

Antonio Montano
Jun 2, 2026
Modified Jun 2, 2026
Keywords  
Audiences practitioner, researcher, subject-matter expert, technical specialist
Difficulty intermediate

The Erdős Moment of AI
When a language model entered frontier mathematics and why this changes more than mathematics
machine learning
mathematics
report
🇬🇧

An analysis of the OpenAI unit-distance breakthrough as an Erdős moment for AI: a signal that machine systems are beginning to participate in abstract mathematical construction, scientific search, and enterprise reasoning.

Antonio Montano
May 24, 2026
Modified May 24, 2026
Keywords  
Audiences practitioner, researcher, subject-matter expert, technical specialist
Difficulty intermediate
No matching items
Back to top