Axiom
12 known investors
Axiom Math is a platform that enables users to test proof verification, extract theorems, and experiment with proof transformations quickly.
AI & Machine LearningDeep TechEdTech
Founders & leadership
CH
Carina HongFounder & CEO30 Under 30 2026
Investors · 12
B4 Capital$10M – $50M
Dnx VenturesTokyo · $1M – $5M
E14 FundCambridge · $1M – $5M
Flying Fish VenturesSeattle · $500K – $5M
Frontline VenturesSan Francisco · $540K – $3.2M
GreycroftNew York · $500K – $10M
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
In the news
- Risk Ledger Raises £24 Million Series B To Expand Network-Based Supply Chain Security Platformpulse2.com · 2026
- Risk Ledger Raises $32 Million in Series B Funding - SecurityWeeksecurityweek.com · 2026
- Risk Ledger Raises £24M Series B for AI and US Expansion | AI Weeklyaiweekly.co · 2026
- Bunkerhill Health raises $55 million to put AI agents to work inside hospitals | Fortunefortune.com · 2026
- Almost 90 new unicorns have been minted so far this year — here they are | TechCrunchtechcrunch.com · 2026
- Axiom Raises $200M Series A for Verified AI Prover - TAMradar Funding Rounds Signalstamradar.com · 2026