AI and the transformation of mathematics

Articles in this series, ordered by most recent update.

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
🇬🇧

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
🇬🇧

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
🇬🇧

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
🇬🇧

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
🇬🇧

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

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
🇬🇧

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
🇬🇧

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
🇬🇧

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
🇬🇧

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
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
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
🇬🇧

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