Female founder breaks records with $64M seed for AI mathematician

Carina Hong closed the largest seed round of 2025 — $64M at $300M valuation for Axiom Math, an AI that solves complex math problems and generates new mathematical knowledge.

Key differentiators:
• AI produces step-by-step proofs verified by Lean and Coq
• Transforms English math from textbooks into executable code
• Team includes Meta FAIR lab veterans

Founder playbook:
• Assembled world-class team before fundraising
• Built working proofs in specialized domains
• Demonstrated clear commercial applications (finance, chip design)
• Positioned as foundational AI infrastructure
• Attracted tier-1 VCs: B Capital, Greycroft, Madrona

Takeaway: Deep tech needs deep expertise first, funding second.

Source: Tech Funding News

#startups #funding

Brewed by Startup Beaker.