Axiom Math AI is a technology company.
Axiom Math AI has raised $64.0M across 1 funding round.
Axiom Math AI has raised $64.0M in total across 1 funding round.
Axiom Math AI is a technology company focused on building a self-improving superintelligent reasoner, beginning with an AI mathematician. The company combines artificial intelligence, advanced programming languages (notably Lean), and rigorous mathematical proofs to create verified quantitative reasoning that is provably correct. This approach targets domains requiring high-assurance reasoning such as hardware/software verification, quantitative finance, and cryptography. Axiom serves researchers, developers, and industries needing mathematically verified AI reasoning, addressing the problem of AI systems lacking rigorous correctness guarantees. The company has demonstrated early success by solving longstanding mathematical problems and attracting top talent from leading AI research labs, fueling strong growth momentum[1][2][4].
Founded in 2018 by Carina Hong, a Rhodes Scholar and Stanford dropout, Axiom Math emerged from her vision to create AI capable of advanced mathematical reasoning. Hong assembled a highly skilled founding team including former Meta FAIR researchers and Google Brain veterans. The idea arose from the insight that mathematical proofs and formal methods could provide a foundation for trustworthy AI reasoning. Early traction included solving two Erdos problems that had stumped mathematicians for decades and raising a $64 million seed round in 2025. The company culture emphasizes non-hierarchical collaboration and a mission-driven approach to attract top-tier researchers[1][2][3].
Axiom Math is riding the wave of increasing demand for AI systems with verifiable correctness and reliability, a critical need as AI applications expand into safety-critical and high-stakes domains. The timing is favorable due to advances in AI architectures, formal methods, and programming languages, as well as growing industry awareness of AI risks from incorrect reasoning. By pioneering mathematically grounded AI reasoning, Axiom influences the broader ecosystem by setting new standards for AI trustworthiness and enabling applications that require provable guarantees. Their work also pushes forward the frontier of AI superintelligence research, potentially reshaping how AI systems are built and validated[1][4].
Looking ahead, Axiom Math is poised to expand its AI reasoning capabilities beyond mathematics into broader quantitative and verification domains. Trends such as increased regulatory scrutiny on AI safety, demand for explainable AI, and growth in AI-driven scientific discovery will shape their trajectory. Their influence may evolve from a niche AI research startup to a foundational technology provider for industries requiring mathematically verified AI. Continued breakthroughs and scaling of their self-improving reasoner could position Axiom as a leader in the next generation of trustworthy, superintelligent AI systems, fulfilling their mission to transform AI reasoning with mathematical precision[1][2][4].
Axiom Math AI has raised $64.0M in total across 1 funding round.
Axiom Math AI's investors include DFJ, Expa, Greylock, Intel Capital, Radical Ventures, Eric Futoran, Mike Abbott, Mike Vernal, Nitay Joffe, Quinn Slack, Stewart Butterfield.
Axiom Math AI has raised $64.0M across 1 funding round. Most recently, it raised $64.0M Seed in September 2025.
| Date | Round | Lead Investors | Other Investors |
|---|---|---|---|
| Sep 1, 2025 | $64.0M Seed | DFJ, Expa, Greylock, Intel Capital, Radical Ventures, Eric Futoran, Mike Abbott, Mike Vernal, Nitay Joffe, Quinn Slack, Stewart Butterfield |