Company Page
Axiom Math
Founders
Axiom Math (legally Axiom Quant Inc.) is a Palo Alto-based AI startup building a self-improving AI mathematician capable of solving complex mathematical problems, generating step-by-step formally verified proofs, and autonomously discovering new mathematics. The company converts English-language content from academic textbooks, journals, and research papers into structured programmatic knowledge, with applied commercial targets in finance, chip design, and quantitative trading.
Company Founded in 2025
