A startup known as Axiom Math, initiated by a Stanford dropout less than 15 months ago, asserts it has tackled multiple unresolved mathematical problems traditionally considered the domain of seasoned mathematicians. This company, located in Palo Alto and headed by Carina Hong, claims its AI system, AxiomProver, has successfully solved at least four mathematical conjectures that remained open for decades.
#What Problems Did Axiom Math Solve?
The challenges addressed by AxiomProver are significant and far from trivial. Among the solutions provided are substantial conjectures located within the realms of algebraic geometry and Fel’s Conjecture, a complex issue linked to the illustrious work of mathematician Srinivasa Ramanujan. Remarkably, one of these problems involves a conjecture from number theory that has persisted for 20 years without resolution.
It is noteworthy that at least one solution emerged from collaboration with established mathematicians, rather than depending solely on automated processes. Axiom Math employs formal verification using the Lean proof assistant, ensuring that each proof is meticulously checked for logical consistency at every stage. This rigorous verification mechanism distinguishes their findings from outputs produced by more conventional large language models, lending an unprecedented level of credibility to the work performed.
#How Is Axiom Math Funded and Who's Behind It?
Axiom Math has successfully raised $200 million in Series A funding from Menlo Ventures, propelling its post-money valuation to an impressive $1.6 billion. This influx of capital builds upon an earlier $64 million seed funding round, culminating in a remarkable total of $264 million in known investments. Carina Hong, the energetic founder, transitioned from a combined J.D./Ph.D. track at Stanford to embark on this innovative venture in March 2025. Additionally, Ken Ono, a distinguished number theorist celebrated for his contributions to Ramanujan’s legacy and modular forms, joined Axiom Math as a founding mathematician, further solidifying the company's academic credibility.
#What Is the Broader Context for AI in Mathematics?
Axiom Math operates in a landscape populated by other tech giants such as Google, which has launched its AlphaProof system aimed at enhancing mathematical reasoning through AI. In the academic community, it is customary for researchers to share preprints, such as the ones posted by Axiom in February 2026, on platforms like arXiv while their work is under peer review, a process that may span several months or years. As of late May 2026, these preprints are still subject to expert evaluation, and there have been no confirmed publications in peer-reviewed journals.
As investors observe the growth trajectory of AI in specialized fields like mathematics, it is essential to consider the potential implications for the industry at large. Axiom Math’s adeptness at solving complex mathematical problems with the assistance of AI could ignite further advancements, thereby reshaping the landscape of mathematical research and application.