Axiom Math
Category: Foundation Models / LLMs
Axiom Math is building a self-improving AI mathematician that can solve complex math problems, generate proofs, propose new conjectures, and check its own work. Founded by 24-year-old Stanford dropout Carina Hong with ex-Meta AI researchers. Axiom Math was founded in 2025. The company is led by Carina Hong. Based in Palo Alto, USA. Team size: N/A. Total funding raised: $64M (Seed, Oct 2025). Latest round: Seed, $64.0M, 2025-10, led by B Capital. Key investors include ["Undisclosed"].
- Founded
- 2025
- Headquarters
- Palo Alto, USA
- Team size
- N/A
- Total funding
- $64M (Seed, Oct 2025)
Value proposition
To solve the most complex mathematical problems with verifiable accuracy, generate novel mathematical research, and provide a reasoning engine for industries reliant on quantitative analysis.
Products and solutions
["AI Mathematician (cloud-based reasoning engine)"]
Unique value
Axiom Math is unique due to its specialized focus on creating an AI for advanced mathematical reasoning, as opposed to a general-purpose LLM. The founding team's deep expertise in both mathematics and AI, including a Morgan Prize-winning CEO and former Meta AI researchers from the Llama team, provides a significant talent advantage.
Target customer
The initial target customers are in the quantitative finance and hedge fund sectors. The technology is also applicable to scientific research and other industries requiring advanced mathematical modeling.
Industries served
["Financial Services","Scientific Research"]
Technology advantage
The core technological advantage is the development of large language models trained specifically on mathematical proofs and reasoning. This enables the AI to not only find answers but also to generate detailed, step-by-step proofs, ensuring accuracy and verifiability. The business advantage is the application of this powerful tool to high-value problems in quantitative finance and risk analysis.
How they differentiate
Axiom Math is building a self-improving superintelligent reasoner, starting with an AI mathematician. This focus on pure mathematics as a path to advanced AI reasoning is a key differentiator from competitors who are often focused on more general-purpose AI or other scientific domains.
Main competitors
["Google DeepMind","OpenAI","Other AI research labs"]
Key partnerships
["No key partnerships or collaborations have been publicly announced."]
Notable customers
["Not publicly available."]
Major milestones
["Raised a $64M seed round at a $300M valuation before product launch.","Recruited top AI talent from major tech companies like Meta."]
Growth metrics
Not publicly available as the company has not launched a product yet.
Market positioning
Axiom Math is positioned as a deep-tech, research-heavy startup aiming to achieve fundamental breakthroughs in AI and mathematics. It is not a consumer-facing company but rather a foundational research and development entity.
Geographic focus
The company is based in Palo Alto, California, and its initial focus is likely on the US market, given its location and investor base.
Patents and IP
There is no publicly available information regarding patents or IP.
About Carina Hong
Co-founder and CEO of Axiom Math. She is a Stanford math PhD student and a recipient of the Morgan Prize for outstanding research in mathematics. Her published research covers number theory, combinatorics, theoretical computer science, and probability.
Official website: https://axiommath.ai/