Toward Mathematical Superintelligence: Why We Invested in Axiom
September 30, 2025

By: Ida Girma and Yan-David (Yanda) Erlich
B Capital is thrilled to partner with Axiom on its mission to build mathematical superintelligence.
Mathematics as the Next Frontier
Mathematics demystifies our most complex systems: from the universe swelling through spacetime to the neural circuits firing in our dreams. For centuries, researchers with rare intellect and specialized expertise dedicated their lives to expanding the frontiers of our knowledge. Today, AI promises to usher in a new era of rapid, exponential breakthroughs. Yet our capacity for discovery in highly complex domains remains constrained by the reasoning limitations of even the most advanced AI systems.
Language models produce astonishing results, with emergent capabilities rapidly unfolding. But these models still make reasoning errors in unpredictable, inscrutable ways. While language models’ training inputs are vast, they vary in quality and range from casual, unstructured text to formal, structured data. Post-training techniques better align model behavior with human preferences, resulting in excellent outputs across most contexts. However, these outputs still fall short of provable correctness necessary in the most critical, quantitative disciplines.
Axiom’s Differentiated Approach
True precision in quantitative intelligence may well require reimagining reasoning within the sandbox of mathematics. Axiom is leading this bold approach.
The company builds on the insight that the specialized programming language Lean and advanced mathematical proofs offer uniquely rigorous training data. By combining AI, programming languages, and mathematics, Axiom is creating the foundation for verified quantitative reasoning that’s provably correct. The result: a self-improving reasoner, starting with an AI mathematician.
Its scientific and commercial applications are vast. Consider the high-stakes, multi-trillion-dollar fields of alpha discovery in quantitative trading, software and protocol verification, engineering, and frontier scientific research. In each, legibility of logic and certainty of correctness are essential. Black-box reasoning, no matter how convincing, cannot be fully trusted to direct consequential decisions in these domains. A tool that conjectures and proves novel quantitative hypotheses, and ultimately provides reasoning certainty for decisions, will be immensely valuable. Now is the time to build it.
The People Driving Mathematical Superintelligence
The Axiom team is uniquely suited to seize this moment and make advanced mathematical reasoning a reality. CEO Carina Hong is a generational mathematician—a winner of the Morgan Prize whose published research spans number theory, combinatorics, theoretical computer science, and probability. She also operates with a fire and focus we recognize in the very best of founders, bridging visionary leadership and relentless execution.
Carina has assembled an exceptionally talent-dense founding team with impressive speed. CTO Shubho Sengupta led Meta FAIR teams that developed OpenGo and CrypTen. Before that, he worked on distributed training systems that shaped Google Brain and was among the earliest CUDA developers. François Charton joins Axiom after pioneering the application of transformers to complex mathematical problems starting back in 2019. Notably, he recently solved a century-old open problem, disproving a 30-year-old conjecture. Hugh Leather’s trailblazing experience applying deep learning to code generation, including building the first LLMs for compilers and GPU code generation, brings yet another critical strength to Axiom’s team.
Every Axiom team member we spend time with—from senior leaders with decades of experience to high-velocity engineers and gifted undergraduate interns—brims with great research intuition and taste, drive, and a passion to shape the future of AI and mathematics. We believe they have the right domain intellect, strategy, execution, and culture to thrive, and they are just getting started.
Our Investment in Axiom
B Capital led Axiom’s Seed round, with Yan-David (Yanda) Erlich joining as board director and Ida Girma as board observer. We’re proud to partner with Axiom on this journey toward mathematical superintelligence.
Learn more at axiommath.ai and in Forbes, out today.
LEGAL DISCLAIMER
All information is as of 9.29.2025 and subject to change. The investment discussed herein is a portfolio company of B Capital; however, such investment does not represent all B Capital investments. Certain statements reflected herein reflect the subjective opinions and views of B Capital personnel. Such statements cannot be independently verified and are subject to change. Reference to third-party firms or businesses does not imply affiliation with or endorsement by such firms or businesses. It should not be assumed that any investments or companies identified and discussed herein were or will be profitable. Past performance is not indicative of future results. The information herein does not constitute or form part of an offer to issue or sell, or a solicitation of an offer to subscribe or buy, any securities or other financial instruments, nor does it constitute a financial promotion, investment advice or an inducement or incitement to participate in any product, offering or investment. Much of the relevant information is derived directly from various sources which B Capital believes to be reliable, but without independent verification. This information is provided for reference only and the companies described herein may not be representative of all relevant companies or B Capital investments. You should not rely upon this information to form the definitive basis for any decision, contract, commitment or action.