Dispatch
Axiom Math Releases Free Axplorer Tool for Mathematical Pattern Discovery; Raises $200M at $1.6B Valuation
Axiom Math, founded by 25-year-old Stanford PhD student Carina Hong, released Axplorer — a free AI tool that discovers mathematical patterns to unlock solutions to open problems. In December, Axiom's deterministic AI achieved a perfect Putnam Competition score and automatically proved a 20-year-old open number theory conjecture. The $200M Series A led by Menlo Ventures values the company at $1.6B, betting on 'verified AI' that eliminates hallucinations through mathematical proof rather than statistical confidence.
↳ Follow the thread