This 24-Year-Old Founder Raised $64M to Build World’s First AI Mathematician | Axiom, Carina Hong
In a Nutshell
A 24-year-old founder raised $64M at $300M valuation to build an AI mathematician that combines AI, programming languages, and mathematics to create self-improving reasoning systems. The core mission is to compress centuries-long math-to-application timelines by enabling AI mathematicians to work alongside human researchers, solving complex theoretical problems through deductive logic in Lean. Math serves as both the foundational "sandbox of reality" and a transferable skill that enhances performance across coding and scientific domains, with the goal of making mathematical research more collaborative and less isolating.
These notes were generated by AI and may contain inaccuracies.
Math research is a process of almost a monk praying in the temple day after day, keeping pushing harder and harder. The dopamine hits feel natural and effortless, similar to how one feels looking at progress in competitions where the clock is ticking. The feeling is exhilarating. A hedge fund can afford quant researchers typically paid at $14 million each year starting, but an AI mathematician at $5 each hour enables tackling a market of total trading volume of $8 million that likely has not been deeply studied previously.
We are entering an era of mass intelligence and an AI mathematician is a crucial part of this future.
Karina is founder and CEO of Axiom. She was a mathematician for most of her life, doing math and physics double major at MIT where she worked on research projects that settled some open conjectures. She was a Rhodes scholar at Oxford pursuing a degree in neuroscience and stumbled into AI at the UCL Gatsby Institute, which is the home of DeepMind. She was at Stanford as a Hennessy scholar pursuing a joint JD PhD, then dropped out to start Axiom.
Axiom is building an AI mathematician that is the first model that will eventually evolve to be a self-improving super intelligent reasoner.
To build an AI mathematician, you need three pillars: AI, programming languages, and mathematics. Because of this vision, Axiom assembled a world-class team of experts from each of these three pillars, taking a very interdisciplinary approach. Axiom raised a seed round of $64 million with investors valuing the company at $300 million valuation. Karina is 24 years old.
Sign in to read the full notes
Get access to AI-generated notes, topic timestamps, and more.