Math
4 known investors
Find your way into Math
Math Inc. develops AI systems for autoformalization, including Gauss, an agent that formalizes mathematical proofs, aimed at achieving verified superintelligence. It also runs the Veritas Fellowships for mathematicians and releases tools such as OpenGauss and the FormalQualBench benchmark.
Founders & leadership
JH
Jesse HaninFounder
Investors · 4
Funding
SEC filings, press & company announcements- Undisclosed amountSeedOct 2025Source ↗
Source: company announcements and press reports — follow each round's link for the claim.
In the news
VC funding deals: Vessev, Math Magic, MaxQ Medical - InfotechLeadinfotechlead.com · Aug 2026
Math Magic's $50M Funding Boosts AI 3D Innovations - Investors Hangoutinvestorshangout.com · Aug 2026
Cambridge Opens Applications for Youth Math Enrichment Funding | Cambridge, MA Patchpatch.com · Aug 2026Frequently asked questions
- What does Math do?
- Math Inc. develops AI systems for autoformalization, including Gauss, an agent that formalizes mathematical proofs, aimed at achieving verified superintelligence. It also runs the Veritas Fellowships for mathematicians and releases tools such as OpenGauss and the FormalQualBench benchmark.
- Who founded Math?
- Math was founded by Jesse Han.
- Who are Math's investors?
- Math's investors include Torch Capital, BAI capital, HyT Capital, IDG Capital.