A
Axiom Math
AI mathematician for solving and generating complex problems
About Axiom Math
Axiom Math, legally Axiom Quant Inc., is an artificial intelligence startup building what it describes as an "AI mathematician." The company's core focus is on developing a large language model specifically trained to solve extremely complex mathematical problems with a high degree of accuracy. A key feature of its system is the ability to generate detailed, verifiable proofs for each step of its reasoning process. The ultimate goal is to ingest the world's collection of math textbooks, journals, and scientific papers to create a software program that can not only solve existing problems but also generate new ones with solutions that can be validated by humans.
Read full description
The company was founded in March 2025 by Carina Hong, a Stanford University PhD student, and Shubho Sengupta, a former AI researcher from Meta Platforms Inc. Hong, who dropped out of Stanford to launch the venture, has a distinguished academic background with degrees in mathematics and physics from MIT and a master's from Oxford University as a Rhodes Scholar. Sengupta was involved in the development of Meta's Llama large language models. The two met at a coffee shop near Stanford and conceptualized the idea of an AI model specializing in mathematics. In its first year, Axiom Math secured $64 million in a seed funding round led by B Capital, with participation from Greycroft, Madrona Ventures, and Menlo Ventures, valuing the company at $300 million. The team includes several former researchers from Meta's AI research lab.
Axiom's business model is still emerging, as the company is pre-product. However, initial reports suggest a focus on applying its mathematical reasoning capabilities to quantitative finance, hedge funds, and risk analysis. The vision is that if an AI can solve deep mathematical problems, it may also identify patterns in financial markets that humans miss. Beyond finance, the company hopes its technology can be applied to various industries, including airplane and computer chip design, and building quantitative trading algorithms. The company plans to offer its proof engine as an API for enterprise clients like hedge funds to validate complex models without large in-house research teams.
At a glance
- Founded
- 2025
- Headquarters
- Stanford, United States
- Sector
- AI
- Power Law
- Unicorn$1–10B valuation tier
Research & analysis
Latest news
Press, funding announcements and product moves mentioning Axiom Math.
Investors
From Dealroom's funding and investor records, grouped by the round each investor first entered.
Seed4 investors entered at this stage
Series A1 investor entered at this stage
Toyota Ventures
Source: Dealroom Talent Intelligence.
Global footprint
team presence
across markets
Market sentiment
An AI-synthesised read of the highest-engagement posts about Axiom Math on X, ranked by likes and reposts, corporate channels excluded.
Reading the room on X — pulling top posts and synthesizing themes…
Source: X recent search ranked by engagement (likes + retweets) · Synthesis by Claude · Cached for 1 hour
See Axiom Math on the full Dealroom platform
Live deal flow, founder pedigree, hiring signals, revenue trajectory, and the full cap table.




