Develops an AI mathematician capable of generating conjectures and verifiable formal proofs.
| Date | Round | Amount |
|---|---|---|
| Oct 2025 | Seed Axiom Math came out of stealth with a $64 million seed led by B Capital at a valuation of around $300 million. | $64M |
Tap an investor to see what else they have backed.
Data is community-curated and may be incomplete.