Axiom’s Carina Hong: Solving Math’s Hardest Problems With AI, And AI's Problems With Math
Just nine months ago, Morgan Prize-winning prodigy Carina Hong was still on an academic track, pursuing a joint law degree and math PhD at Stanford. Now, as the founder of startup Axiom Math, she runs one of the most promising challengers in a new, fast-paced category: AI for math.
Recently valued at $1.6 billion, Axiom has already solved some of math’s most challenging problems, and Hong hopes it can help researchers advance the field. Her bigger ambition? To power real-time math-based verification of AI-generated code, to do away with vibe-coded slop.
On this episode of The Upstarts…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.