Stanford Dropout Carina Hong Raises $64 Million to Build AI That Solves and Creates Complex Math Problems

Carina Hong, a Stanford dropout, founded Axiom Math in 2025 to build an AI capable of solving and generating complex mathematical problems, raising $64 million in seed funding. The startup has recruited top AI talent from Meta and aims to create an 'AI mathematician' that can produce and verify detailed mathematical proofs and new conjectures.

MMadrona