San Francisco’s Axiom Math has stepped out of stealth with a bold plan and fresh capital. The startup, founded by Stanford dropout Carina Hong, secured a $64 million seed round led by B Capital, with Greycroft, Madrona Venture Group, and Menlo Ventures joining in. The deal values the company at about $300 million.
With this funding, Axiom will grow its engineering and research team, improve its reasoning engines, and test its system on tough benchmark problems in physics, cryptography, and advanced algorithms. The vision is to create an AI mathematician that does more than solve equations. It generates new mathematical knowledge.
The company’s system builds rigorous, step-by-step proofs. These can be verified using proof assistants such as Lean and Coq. By converting the language of math from textbooks and research into code, the AI can propose new conjectures and confirm them. This approach pushes past today’s boundaries in mathematics.
Hong has assembled an impressive team of experts, many with experience at Meta’s FAIR lab. Among them are Francois Charton, who cracked a century-old math problem; Aram Markosyan, a specialist in AI safety; and Hugh Leather, a pioneer in deep learning for code generation. Their expertise strengthens Axiom’s ambitious mission.
The company’s Palo Alto office reflects its culture of discovery. Conference rooms are named after legends like Carl Friedrich Gauss and Ada Lovelace. For investors, this passion for foundational science is part of the appeal.
Beyond theory, Axiom’s AI already shows promise for real-world use. It is being tested in finance, chip design, and aircraft engineering—fields where accuracy and efficiency are critical. Quantitative trading and cryptography are also on the list of applications. Yan-David Erlich, a partner at B Capital, noted that solving hard math problems has always powered human invention. Axiom aims to scale that process with AI.
Armed with deep expertise, strong backers, and a clear vision, Axiom Math is positioning itself to transform how breakthroughs are discovered. The company is not only teaching AI the language of mathematics. It is working to reshape scientific progress and industry innovation.
