Carina Hong

Founder & CEO

Morgan Prize-winning mathematician who graduated from MIT in three years, earned a Rhodes Scholarship to Oxford, and left Stanford's PhD program to found Axiom

Overview

Companies
1
Roles
Founder & CEO

Companies

1 company
Axiom $264M
Private Founder & CEO

Builds verified AI systems that use formal mathematics to prove the correctness of AI-generated code, scoring a perfect 12/12 on the Putnam Competition in December 2025

Founder data is compiled from company records, public announcements, and verified sources. Roles reflect current or most recent known positions.