Axiom
8 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 & CEO
Investors · 8
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