Fundraising FoxMath
5 known investors
Find your way into Math
Sign up to see every warm intro you have to Math
- Paths you didn't know you had: your email and LinkedIn already hold routes to the Math team. We find them for you
- 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
- Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone
Days of research, done the moment you sign in, with every route ranked by how warm it is.
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
Investors · 5
How we know: chapterone.com · Not right? Tell us
How we know: press coverage · funding news · Not right? Tell us
How we know: press coverage · Not right? Tell us
How we know: press coverage · funding news · Not right? Tell us
Funding
SEC filings, press & company announcements- Undisclosed amountSeedOct 2025Source ↗
Source: company announcements and press reports — follow each round's link for the claim.
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 Chapter One, Torch Capital, BAI capital, HyT Capital, IDG Capital.