5 hours ago
Rethinking Mathematical Intuition in the Age of AI
Michael Friedman & Kati Kish Bar-On —
The Mathematical Intelligencer, 26 August 2026
The article argues that artificial intelligence is beginning to change not merely how quickly mathematics is done, but the role of mathematical intuition itself. Traditionally, intuition has often come before a proof: a mathematician develops a sense of which direction might work, proposes a construction or conjecture, and then tries to prove it. AI systems can reverse this order. They may discover a proof, construction, program, or unexpected connection first, leaving humans to understand afterwards why it works. The authors illustrate this with the recent AI-assisted disproof of Erdős Problem #90, where configurations with at least $n^{1+\delta}$ unit distances were obtained using techniques far removed from the approaches mathematicians had pursued for decades.
Three case studies illustrate different forms of this shift. With AlphaGeometry, the system can propose highly non-obvious auxiliary constructions and formally prove that they work; human mathematicians may then have to reconstruct the geometric motivation afterward—what the authors call retroactive intuition. In knot theory, a neural network analysing roughly $2.7$ million knots identified unexpected relationships among invariants, after which mathematicians interpreted the patterns, formulated conjectures and produced proofs. Here intuition becomes co-constitutive: AI discovers promising patterns while humans judge which ones deserve mathematical attention. With FunSearch, the transformation is even stronger. Instead of directly searching for a mathematical object, the AI searches through Python programs that generate objects; this approach improved the cap-set construction in dimension $8$ from $496$ to $512$ elements, with humans extracting a comprehensible mathematical construction only after inspecting the discovered code.
The authors therefore do not argue that AI will eliminate mathematical intuition. Rather, intuition may be relocated from discovery toward interpretation, explanation and selection. This becomes particularly important in what Terence Tao has called an era of “proof abundance”: machines may eventually generate far more correct proofs than mathematicians can meaningfully study. The scarce resource would then no longer be proofs themselves but “proof digestion”—determining which results matter, understanding why they are true, connecting them to existing mathematics, and turning opaque machine discoveries into concepts humans can reason about. The authors warn that if mathematics becomes satisfied merely with verified statements while abandoning the demand to understand why, something essential about mathematical practice could be lost.
ARTICLE
Michael Friedman & Kati Kish Bar-On —
The Mathematical Intelligencer, 26 August 2026
The article argues that artificial intelligence is beginning to change not merely how quickly mathematics is done, but the role of mathematical intuition itself. Traditionally, intuition has often come before a proof: a mathematician develops a sense of which direction might work, proposes a construction or conjecture, and then tries to prove it. AI systems can reverse this order. They may discover a proof, construction, program, or unexpected connection first, leaving humans to understand afterwards why it works. The authors illustrate this with the recent AI-assisted disproof of Erdős Problem #90, where configurations with at least $n^{1+\delta}$ unit distances were obtained using techniques far removed from the approaches mathematicians had pursued for decades.
Three case studies illustrate different forms of this shift. With AlphaGeometry, the system can propose highly non-obvious auxiliary constructions and formally prove that they work; human mathematicians may then have to reconstruct the geometric motivation afterward—what the authors call retroactive intuition. In knot theory, a neural network analysing roughly $2.7$ million knots identified unexpected relationships among invariants, after which mathematicians interpreted the patterns, formulated conjectures and produced proofs. Here intuition becomes co-constitutive: AI discovers promising patterns while humans judge which ones deserve mathematical attention. With FunSearch, the transformation is even stronger. Instead of directly searching for a mathematical object, the AI searches through Python programs that generate objects; this approach improved the cap-set construction in dimension $8$ from $496$ to $512$ elements, with humans extracting a comprehensible mathematical construction only after inspecting the discovered code.
The authors therefore do not argue that AI will eliminate mathematical intuition. Rather, intuition may be relocated from discovery toward interpretation, explanation and selection. This becomes particularly important in what Terence Tao has called an era of “proof abundance”: machines may eventually generate far more correct proofs than mathematicians can meaningfully study. The scarce resource would then no longer be proofs themselves but “proof digestion”—determining which results matter, understanding why they are true, connecting them to existing mathematics, and turning opaque machine discoveries into concepts humans can reason about. The authors warn that if mathematics becomes satisfied merely with verified statements while abandoning the demand to understand why, something essential about mathematical practice could be lost.
ARTICLE
┌────────────────────────────────┐
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘