VC Catalog · venture ecosystem research library
VC Catalog home Beta

Company

Math, Inc.

Rocket Ship RatingBased on the data VC Catalog holds.

Rocket Ship Rating: 78 out of 100

Dedicated to verified superintelligence via autoformalization.

  • AI models & AI infrastructure
  • AI native
  • Open source
Status
Operatingas of 2026-09-19
Business model
B2B
Open relationship map
Claim, correct or request removal

Record updated 28 September 2026

About

We're building infrastructure for verified mathematics. If you're exceptional and want to help shape what verified research looks like, we'd love to hear from you.

Products

Other
Gauss
Loading relationship preview

Cookies on VC Catalog

We use necessary cookies to run the site (sign-in, security, remembering this choice). With your permission we also use Google Analytics to understand how the site is used. Analytics cookies are set only if you accept all cookies. Privacy policy