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.
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.
Keywords: AI mathematician, mathematical reasoning, large language models, formal proofs, quantitative finance, verifiable solutions, algorithmic trading, superintelligence, complex problem solving, computational mathematics, number theory, probability, hedge funds, risk analysis, AI for math, scientific discovery, theorem proving, conjecture generation, symbolic mathematics, financial modeling
Dealroom maps Axiom Math's team person by person — pinpointing the standout operators and scoring them across the six dimensions investors underwrite. The counts and shape below are a public preview; the named individuals and exact scores live in the platform.
5team members profilednamed & role-tagged by Dealroom
Source: Dealroom Talent Intelligence. Public profiles show counts and the team's shape only — request a demo for the named individuals, per-person seniority and tenure, and team benchmarks vs peers.
Market sentiment
What the market is saying about Axiom Math
An AI-synthesized read of the highest-engagement posts about Axiom Math on X over the past 7 days. We rank by likes & retweets, ignore corporate channels, and surface the themes that broke out from real people.
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.
A
