Search 18 million+ mathematical dependencies
https://www.theoremsearch.com/theorem-graph
Discovering mathematical concepts through a multi-agent system
https://arxiv.org/abs/2603.04528
MathCode: A Frontier Mathematical Coding Agent
https://github.com/math-ai-org/mathcode
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification
https://arxiv.org/abs/2603.15617
Axiom Prover
https://github.com/AxiomMath/axplorer
Compression is all you need: Modeling Mathematics
https://arxiv.org/abs/2603.20396
Artificial Intelligence and Mathematics
https://siddhartha-gadgil.github.io/automating-mathematics/
Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving
https://huggingface.co/papers/2512.10739
Aristotle: IMO-level Automated Theorem Proving
https://arxiv.org/abs/2510.01346
Towards Robust Mathematical Reasoning
https://imobench.github.io/
Mathematical exploration and discovery at scale
https://arxiv.org/abs/2511.02864
Automated Lean Proofs for Every Type
https://www.galois.com/articles/automated-lean-proofs-for-every-type
Mathematical discovery in the age of artificial intelligence
https://www.nature.com/articles/s41567-025-03042-0
Aristotle: IMO-level Automated Theorem Proving
https://arxiv.org/abs/2510.01346
https://www.linkedin.com/posts/moritz-frenzel-75a11289_genaide-phd-generativeai-activity-7383655669326966784-qW3U
https://mathstodon.xyz/@tao/115306424727150237
LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs
https://arxiv.org/abs/2506.08321
The Math Is Haunted
https://overreacted.io/the-math-is-haunted/
The strong Prime Number Theorem
https://github.com/math-inc/strongpnt