Axiom
12 known investors
Find your way into Axiom
506 people in our graph share verified history with the Axiom team — schools, employers, funds. One of them is your warm intro.
Mariaunlockedknows Carina Hong · together at University of Oxford (overlapped)
×4knows the team · via University of Oxford
×3knows the team · via Massachusetts Institute of Technology
×4knows the team · via Stanford Law School
Axiom Math is a platform that enables users to test proof verification, extract theorems, and experiment with proof transformations quickly.
Founders & leadership
CH
Carina HonginFounder & CEOCarina Hong studied mathematics and physics at MIT, where she published research in number theory, combinatorics, theoretical computer science, and probability. She subsequently earned a master's in neuroscience from Oxford University as a Rhodes Scholar, conducted deep learning research at UCL, and was a concurrent PhD candidate in mathematics and JD candidate in law at Stanford University.30 Under 30 2026
Investors · 12
.jpeg){kind=logo}
B Capital GroupManhattan Beach · $10M – $50M
B4 Capital$10M – $50M
Dnx VenturesTokyo · $1M – $5M
Flying Fish VenturesSeattle · $500K – $5M
Frontline VenturesSan Francisco · $540K – $3.2M
GreycroftNew York · $100K – $5M
Juniper Ventures Management, LlcSan Francisco
Madrona Venture GroupSeattle · $2M – $10M
Menlo VenturesSan Francisco · $1M – $20M
MVP VenturesChicago
The E14 FundCambridge · $1M – $5M
Toyota VenturesreportedLos Altos
Funding
SEC filings, press & company announcements$200M disclosed across 1 round · 2026
- $200MSeries AMar 2026Source ↗
Source: company announcements and press reports — follow each round's link for the claim.
In the news
Bunkerhill Health raises $55 million to put AI agents to work inside hospitals | Fortunefortune.com · Jul 2026
Almost 90 new unicorns have been minted so far this year — here they are | TechCrunchtechcrunch.com · Jul 2026Frequently asked questions
- What does Axiom do?
- Axiom Math is a platform that enables users to test proof verification, extract theorems, and experiment with proof transformations quickly.
- Who founded Axiom?
- Axiom was founded by Carina Hong.
- Who are Axiom's investors?
- Axiom's investors include B Capital Group, B4 Capital, Dnx Ventures, Flying Fish Ventures, Frontline Ventures, Greycroft, Juniper Ventures Management, Llc, Madrona Venture Group and 4 more.
- How much funding has Axiom raised?
- Axiom has disclosed $200M raised across 1 round.