Research area
AI math and reasoning startups
Formal proofs, autoformalisation and verified reasoning. We track 6 labs in this area, which have raised $328M in disclosed rounds between them; the most valuable is Axiom Math, at $1.6B.
6labs
$328Mdisclosed raised
$1.45Breported valuations
| Lab | Topic | Location | Founders from | Founded | Last round | Valuation | Raised | Status |
|---|---|---|---|---|---|---|---|---|
| HarmonicMathematical superintelligence: Aristotle, a formally verified reasoning engine (90% on Mi…site | Reasoning, math & verification | Palo Alto, US | ex-Helm.ai, ex-Robinhood | 2023 | Series C $120MNov 25, 2025 · Ribbit Capital | $1.45B | $295M | API |
| Axiom MathAxiomProver: AI trained on formal Lean proofs for math, quant finance and software verific…site | Reasoning, math & verification | Palo Alto, US | ex-Stanford, ex-Meta | 2025 | · | $1.6Best. | · | Research only |
| Logical IntelligenceEnergy-based reasoning models with formal verification for critical systems.site · in | Reasoning, math & verification | San Francisco, US | ex-UCSB | 2025 | · | · | · | Research only |
| Math IncVerified superintelligence via autoformalisation: Gauss, an agent that formalised the prim…site · in | Reasoning, math & verification | Palo Alto, US | ex-xAI, ex-OpenAI | 2025 | · | · | · | Research only |
| NdeaDeep-learning-guided program synthesis as the path to AGI that can invent, from the creato…site | Reasoning, math & verification | San Francisco, US | ex-Google DeepMind, ex-Zapier | 2025 | · | · | · | Research only |
| SymbolicaCategory theory and type theory as the foundation of a symbolic reasoning engine.site · x · in | Reasoning, math & verification | San Francisco, US | ex-Tesla | 2022 | Series A $33MApr 9, 2024 · Khosla Ventures | · | $33M | Research only |
News
-
Sep 9, 2026
+1 more coverage
- Unite.AI Axiom Math’s AI Verifies the 246 Prime-Gaps Theorem in Lean
- Jun 19, 2026
- Jun 1, 2026
- May 21, 2026
-
May 20, 2026
- Apr 14, 2026
-
Mar 12, 2026
- Feb 10, 2026
- Jan 22, 2026
-
Jan 21, 2026
+1 more coverage
- Business Wire Logical Intelligence Introduces First Energy-Based Reasoning AI Model, Signals Early Step…
- Dec 2, 2025
- Nov 25, 2025