Axiom Math, a startup built around its proprietary AxiomProver system, has posted algorithm-generated proofs for four longstanding mathematical problems on arXiv, including one tied to algebraic geometry and another connected to Fel’s Conjecture, a problem linked to the work of Srinivasa Ramanujan. As of May 2026, no verified publications of these proofs have been accepted in peer-reviewed journals, with the academic community taking a cautious approach to the technology.
What AxiomProver actually did
The proofs first appeared on arXiv in early February 2026, with identifiers arXiv:2602.03722 and arXiv:2602.03716, covering the four problems AxiomProver tackled.
The process wasn’t purely machine-driven. Axiom Math collaborated with human mathematicians on documentation and verification of the proofs.
The 24-year-old behind the billion-dollar bet
