Compare companies

Pick 2–4 companies for a side-by-side spec sheet.

Selected: 1 / 4

Side by side

FieldAxiom Math
Categories
HQSan Francisco, USA
Founded2025
Latest valuation$1.6B
Annual Recurring Revenue (ARR)
Funding to date$264M
Headcount30+
Profitability
Statusactive
Pricing tierenterprise
DescriptionAI mathematician and theorem prover developing verified AI systems for autonomous mathematical discovery and formal proof verification using the Lean proof assistant. Raised $200M Series A (March 2026) at $1.6B valuation after $64M seed (October 2025). Achieved perfect score on Putnam 2025 competition.