1 hour ago
1
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
Axiom Math was founded by Carina Hong, a 24-year-old Stanford dropout and number theorist. The company has raised approximately $64 million and carries a valuation close to $1.6 billion.
The startup also recruited Ken Ono, a prominent mathematician who left the University of Virginia to join the team. Ono is widely regarded as one of the foremost experts on Ramanujan’s work.
Axiom Math isn’t operating in a vacuum. Google DeepMind, OpenAI, and a company called Logical Intelligence are all pushing into AI-assisted mathematical research. DeepMind’s AlphaProof and AlphaGeometry systems made waves by tackling International Mathematical Olympiad problems.
Disclosure: This article was edited by Editorial Team. For more information on how we create and review content, see our Editorial Policy.
English (US) · 