San Francisco-based AI startup Axiom Math has emerged from stealth with a $64 million seed funding round led by B Capital and participation from Greycroft, Madrona Venture Group, and Menlo Ventures. The round values the company at approximately $300 million.
With the fresh capital, Axiom plans to expand its engineering and research talent, enhance its reasoning engines, and test its system on benchmark problems in domains like cryptography, physics, and advanced algorithms.
Building an “AI mathematician”
Led by Carina Hong, Axiom Math is developing an AI system that not only solves complex math problems but also generates new mathematical knowledge by proposing conjectures: mathematical statements that have yet to be proven.
The model produces rigorous, step-by-step proofs that can be independently verified using proof assistants such as Lean and Coq. This approach aims to transform English-language math from textbooks and research papers into code, enabling the AI to create and validate new problems that push the boundaries of existing knowledge.
Hong, a Stanford dropout with academic credentials from MIT and Oxford, has quickly assembled a team of accomplished AI and math experts, many from Meta’s FAIR lab. Key members include Francois Charton, known for solving a century-old math problem; Aram Markosyan, an expert in AI safety and fairness; and Hugh Leather, an early pioneer in deep learning for code generation.
What’s next?
Researchers and investors alike find Axiom’s goal persuasive and inspiring. The company’s Palo Alto office features conference rooms named after iconic mathematicians like Carl Friedrich Gauss and Ada Lovelace, underscoring their passion for foundational scientific progress.
Currently, Axiom is working on models that can discover and solve new math problems. The researchers also hope to apply their work in areas like finance, aircraft design, chip design, and quantitative trading.
Beyond pure mathematics, Axiom’s AI tool is being tested for practical applications in fields requiring rigorous computational precision, including finance, aircraft and chip design, and quantitative trading. “Solving complex math problems has been core to many human inventions,” said Yan-David Erlich, partner at B Capital.
With its ambitious vision, deep expertise, and significant funding, Axiom Math is positioning itself to redefine what artificial intelligence can achieve in scientific discovery and industry innovation.