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.

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