Axiom Math
>$1.6B
Known only as a lower bound
AxiomProver, an AI system for mathematical research that generates formally verified Lean proofs.
- Founded
- 2025
- Research area
- AI for math & science — Math, Open source
- Headquarters
- Palo Alto, United States
Founders
- Carina Hong — previously Stanford
- Shubho Sengupta — previously Meta (FAIR), Baidu, Shazam, Intel, Sun Microsystems, UC Davis