Compare companies

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

Selected: 1 / 4

Side by side

FieldAxiom
Categories
HQSan Francisco, USA
Founded2025
Latest valuation$1.6B
Annual Recurring Revenue (ARR)
Funding to date$264M
Headcount30+
Profitability
Statusactive
Pricing tierenterprise
DescriptionAxiom builds an AI reasoning engine for autonomous mathematical discovery, theorem proving, and formal verification using the Lean proof assistant. The company develops verified AI systems that generate formally proven code by combining AI with mathematical certainty. Axiom achieved a perfect 120/120 Putnam 2025 competition score—unprecedented for AI.