Axiom
12 known investors
Axiom Math is a platform that enables users to test proof verification, extract theorems, and experiment with proof transformations quickly.
Founders & leadership
CH
Carina HongFounder & CEO30 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- Undisclosed amountSeries 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.