Axiom develops artificial intelligence systems designed to solve complex mathematical problems and produce formally verified proofs.
Axiom has raised $200.0M in total funding. The most recent round was Series A. The last funding was announced in March 2026.
Axiom's investors include Menlo Ventures, B Capital, Madrona, Toyota Ventures, Greycroft.
Axiom is headquartered in Palo Alto, United States.
Axiom develops artificial intelligence systems designed to solve complex mathematical problems and produce formally verified proofs.
Axiom is at the Series A stage.
Free to use in articles, research, and reference works. Stable URL — will not change. Data on this page last updated .
"Axiom — Funding & Investors." VCBacked, March 12, 2026, https://www.vcbacked.co/company/axiom-palo-alto. Accessed September 2, 2026.
VCBacked. (2026). Axiom — Funding & Investors. Retrieved September 2, 2026, from https://www.vcbacked.co/company/axiom-palo-alto
{{cite web |title=Axiom — Funding & Investors |url=https://www.vcbacked.co/company/axiom-palo-alto |website=VCBacked |access-date=September 2, 2026}}Profile data sourced and verified per the VCbacked methodology · Last funding round dated