Blog — Latest in Math Tech & AI
News, studies, deep-dives, and trends at the intersection of mathematics and AI.
Anthropic reports a complete Lean formalization of Fermat’s Last Theorem
The September 4 announcement puts AI-assisted verification of established mathematics in focus.
AutoGraphForge tests a full pipeline for AI-assisted graph theory discovery
A September 3, 2026 arXiv study links conjecture generation, counterexample search, novelty filtering, Lean formalization, and neural theorem proving.
ProofEvolve turns failed proof attempts into reusable theorem-proving progress instead of wasted search
Posted to arXiv on August 28, 2026, ProofEvolve presents a neuro-symbolic theorem-proving workflow that keeps verified partial proof structures and reuses them across future Lean problems.
MathAdv tests what theorem provers really know when mathematics stops looking uniform
Posted to arXiv on August 26, 2026, MathAdv introduces a benchmark designed to show where modern theorem provers transfer well across mathematical domains and where their apparent strength still depends on narrow coverage.
FaithSieve shows why checking AI math proofs needs more than a confident final answer
An August 26, 2026 arXiv paper introduces a Lean-assisted framework for locating the first real error in natural-language mathematical proofs.
A new AI4Math study measures how fast AI is entering mathematical research
An August 25, 2026 arXiv study tracks disclosed AI use across nearly 33,000 mathematics papers and finds rapid but uneven adoption.
Jeremy Avigad asks what mathematics should become as AI turns into a research participant
Posted to arXiv on August 24, 2026, a new essay by Jeremy Avigad argues that recent theorem-proving milestones should widen, not narrow, the conversation about how AI can serve mathematical practice.
An AI-discovered fast dynamo shows mathematical AI edging from benchmark work toward publishable analysis
Posted to arXiv on August 20, 2026, a new analysis-and-probability paper reports a smooth random fast dynamo on the three-torus and states that the central proof idea was generated autonomously by an AI system before human verification and writing.
Terence Tao asks what mathematics should protect as AI reaches research level
Posted to arXiv on August 17, 2026, Terence Tao’s new essay shifts the conversation from whether AI can do mathematics to what mathematicians should still value, teach, and reward when it can.
Showing page 3 of 7 · 63 total