Axiom builds AI systems that reason with mathematical precision for applications in finance, cryptography, software verification and scientific research—domains where correctness isn’t optional. Founded in March 2025 by Morgan Prize winner Carina Hong, Axiom raised $64M in seed funding at a $300M valuation. The team includes researchers from Meta’s FAIR lab and mathematician Ken Ono, former VP of the American Mathematical Society. Axiom’s AI system AxiomProver achieved a perfect score on the Putnam, the world’s hardest undergraduate math exam, and has autonomously solved research math problems with zero human guidance – including the Chen-Gendron conjecture and Fel’s conjecture.