← Back to People
Stanford Ph.D. student and math wizard who co-founded Axiom Math to build an AI mathematician that can solve hard math problems with verifiable proofs.
1
Mentions
1
Articles
0
Outlets
Associated Topics
Companies Covered
Coverage Patterns
How media typically covers Carina Hong
Article Types
- announcement1
Media Angles
- funding1
Narrative Framing
- breakthrough1
Associated AI Models
Llama1
Articles
Most recent firstMentioned In
Referenced in coverage
Carina Hong Raised $64M to Build an AI Mathematician
announcementpositiveDec 30, 2025
Axiom Math raised $64M at a $300M valuation to build an AI mathematician capable of solving complex mathematical problems and generating novel mathematical knowledge through verifiable proofs.
“Stanford Ph.D. student and math wizard who co-founded Axiom Math to build an AI mathematician that can solve hard math problems with verifiable proofs.”
Foundation ModelsAI ResearchLLMsAI Startups