AI and the transformation of mathematics – Random Bits of Knowledge

After the Enormous Theorem: Verification, Discovery, and the Missing Layer of Understanding

A mathematical and epistemological analysis of Axiom’s classification formalization, OpenAI and Anthropic’s new results, Yang–Mills verification and release governance, and the emerging economics of compute-allocable proof search.

Antonio Montano

Oct 27, 2026

Modified	Oct 31, 2026
Keywords
Audiences	practitioner,researcher,subject-matter expert,technical specialist
Difficulty	intermediate

Math 2.0 Gets an Operating System: Can Open Math OS Build Mathematics Beyond the Theorem Factory?

From mathematical AI agents to durable knowledge and independent research institutions

An architectural and evidence-bounded analysis of Open Math OS as a possible foundation for Math 2.0.

Antonio Montano

Oct 17, 2026

Modified	Oct 17, 2026
Keywords
Audiences	practitioner, researcher, subject-matter expert, technical specialist
Difficulty	intermediate

Math 2.0: Beyond the Theorem Factory

Terence Tao on proof abundance, mathematical understanding, and the redesign of 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Categories

After the Enormous Theorem: Verification, Discovery, and the Missing Layer of Understanding

Math 2.0 Gets an Operating System: Can Open Math OS Build Mathematics Beyond the Theorem Factory?

Math 2.0: Beyond the Theorem Factory

When Mathematical Discovery Became a Production System

From 67 Submissions to 19,525: The Research Explosion

AI Agents Are Solving Open Problems and Changing What Mathematics Is For

When Formalization Became Industrial

After Proof Abundance: Palomar and the New Infrastructure of Mathematical Trust

The Industrialization of Mathematical Intelligence: Beyond Proof Abundance to Open Questions of Governance

When AI Failure Became a Theorem: What the Grothendieck Constant Breakthrough Reveals About Human–AI Mathematical Collaboration

Growing Abundance of AI Math: Progress around the Riemann Hypothesis and a Counterexample to the Maxwell Conjecture

AI Mathematics Crosses the Systems Boundary

When the Proof Checker Becomes Part of the Experiment

Proof Abundance and the New Practice of Mathematics

When a Nobel Laureate Uses an LLM to Prove a Theorem: A Turning Point for Mathematical Discovery

The Leiden Declaration and the Governance of AI-Assisted Mathematics

The New Cognitive Infrastructure of Science

The Erdős Moment of AI