Compare companies

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

Selected: 1 / 4

Side by side

FieldAxiom Quant Inc.
Categories
HQSan Francisco, California, United States
Founded2025
Latest valuation$1.6B
Annual Recurring Revenue (ARR)
Funding to date$264M
Headcount
Profitability
Statusactive
Pricing tierenterprise
DescriptionAxiom develops verified artificial intelligence systems using formal mathematics and proof assistants (Lean). The company builds autonomous mathematicians for code verification, finance, and chip design, generating formally verified outputs that eliminate hallucinations through machine-checkable proofs.