Overview
AI mathematical discovery and formal proofs.
Funding
Amounts as reported; USD estimates shown only when they matchListed 2 funding records. Latest funding: $200M (Series A), Feb 5, 2026.
| Date | Amount | Investors | Sources |
|---|---|---|---|
| Feb 5, 2026 | $200M · Series A | B Capital, Greycroft, Madrona, Menlo Ventures, Toyota Ventures | No source link |
Evidence Axiom Math raises USD 200 million in Series A financingOn 2026-02-05, according to Xiniu Data, Axiom Math completed Series A financing, raising USD 200 million. Investors were Madrona Venture Group, Menlo Ventures, Toyota Ventures, B Capital and others. Translated source brief, not a quotation. Check the original before citing. Sources · 0
B Capital, Greycroft, Madrona, Menlo Ventures, Toyota Ventures | |||
| Oct 1, 2025 | $64M · Seed | B Capital, Greycroft, Madrona, Menlo Ventures | No source link |
Evidence No source brief is attached to this record. Sources · 0
| |||
Select ▸ on a row to see its source brief and links.
Valuation
Amounts as reported; USD estimates shown only when they matchListed 2 valuation records.
No chartable valuation estimates yet.
2 listed records lack a clear date or positive USD estimate for the chart.
| Date | Amount | Investors | Sources |
|---|---|---|---|
| Feb 5, 2026 | — · Series A | B Capital, Greycroft, Madrona, Menlo Ventures, Toyota Ventures | No source link |
Evidence Axiom Math raises USD 200 million in Series A financingOn 2026-02-05, according to Xiniu Data, Axiom Math completed Series A financing, raising USD 200 million. Investors were Madrona Venture Group, Menlo Ventures, Toyota Ventures, B Capital and others. Translated source brief, not a quotation. Check the original before citing. Sources · 0
B Capital, Greycroft, Madrona, Menlo Ventures, Toyota Ventures | |||
| Oct 1, 2025 | — · Seed | B Capital, Greycroft, Madrona, Menlo Ventures | No source link |
Evidence No source brief is attached to this record. Sources · 0
| |||
Select ▸ on a row to see its source brief and links.
Revenue
Amounts as reported; USD estimates shown only when they matchNo revenue records are listed yet.
No revenue rows to list.
Team, products & investors
Sources · 0Sources & provenance
English text is maintained separately from the original record. Consult the original source before citing a fact.
No source links are available for this profile.
Original source text
Names may use phonetic renderings when no English name is supplied. The original wording is retained below.
AI 数学发现与形式化证明