Math, Inc.
Undisclosed
Valuation not disclosed
Gauss, an autoformalization agent that turns published mathematics into machine-checked Lean; it closed Terence Tao and Alex Kontorovich's 18-month Prime Number Theorem challenge in three weeks, then formalised Viazovska's Fields Medal sphere-packing proofs.
- Founded
- 2025
- Research area
- AI for math & science — Agents, Math, Open source
- Headquarters
- Palo Alto, United States
Founders
- Jesse Michael Han — previously OpenAI, University of Pittsburgh
- Christian Szegedy — previously xAI, Google, Cadence Design Systems, University of Bonn