Axiom Math is a San Francisco AI lab developing an 'AI mathematician'—a system designed to do more than solve problems, but to generate genuinely new mathematical knowledge by proposing conjectures and producing rigorous, step-by-step proofs that can be independently verified using proof assistants such as Lean and Coq. Led by founder Carina Hong, the company aims to apply its reasoning engines to high-value domains like cryptography, physics, and advanced algorithms. Axiom emerged from stealth in October 2025 with a $64M seed round led by B Capital, valuing the company at around $300M, and followed up in March 2026 with a $200M Series A led by Menlo Ventures, bringing total funding to roughly $264M just over a year after founding. Its long-term thesis is that verifiable, machine-generated mathematics can become a foundation for trustworthy AI reasoning.