Fundraising Fox

Math

4 known investors

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.

AI & Machine LearningDeep Tech

Founders & leadership

JH
Jesse HanFounder

Investors · 4

Torch CapitalNew York · $750K – $1.5M
BAI capitalreported · 2 sourcesBeijing · $3M – $100M
HyT CapitalreportedGrand Cayman
IDG Capitalreported · 2 sourcesHong Kong · $3M – $200M

Funding

SEC filings, press & company announcements

Source: company announcements and press reports — follow each round's link for the claim.

In the news

Math Magic Closes Series A+ Fundingfinsmes.com · Aug 2026VC funding deals: Vessev, Math Magic, MaxQ Medical - InfotechLeadinfotechlead.com · Aug 2026Math Magic Closes Series A+, Raising Nearly $50 Million Across Two Rounds in Six Months | Morningstarmorningstar.com · Aug 2026Math Magic's $50M Funding Boosts AI 3D Innovations - Investors Hangoutinvestorshangout.com · Aug 2026Cambridge Opens Applications for Youth Math Enrichment Funding | Cambridge, MA Patchpatch.com · Aug 2026Axiom Math Raises $64M in Seed Fundingfinsmes.com · Oct 2025

Frequently 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.