| Roles | Founder, Axiom Math |
|---|---|
| Links | axiommath.ai |
About Carina Hong
Carina Hong is the founder of Axiom Math.
Axiom Math: AI mathematician combining language models and formal proof.
Today Axiom Math ranks #75 of 144 on the AGIX Leaderboard, with 2 research roles open and 3 investment vehicles named after it filed with the SEC in the last year. It's one of the companies shaping how general-purpose AI gets built, and Carina is part of that story.
Facts from public company information; lab figures from AGIX data, 2 Nov 2026. Carina, or someone who works with them? Suggest an update.