Math
Math, Inc.
- Business Model
- B2B
- Website
- math.inc
About
Math, Inc. is a research company pursuing verified superintelligence through autoformalization and formally verified mathematics. It develops Gauss, an agent that assists expert mathematicians with formal verification, along with OpenGauss, an open-source autoformalization harness for Lean proof-engineering workflows. The company also operates the Veritas Fellowships and works with leading mathematicians to formalize advanced mathematical results into verified, reusable proofs and research infrastructure.
Summary
Math is an Artificial Intelligence company.
Tech & App Stack
1 technology or app tracked
Every product and vendor across these categories, with where each signal came from.
Create a free account with 25 free credits every month, no card needed, to unlock the full tech & app stack, funding history, and valuations.
Similar Companies
Mistral co-creates tailored AI systems for enterprises and governments, combining frontier models...
Chinese AI company developing GLM large language models and multimodal agent APIs for enterprises...
AI software engineering company building Devin, an autonomous AI coding agent capable of planning...
Cursor is the best way to code with AI, and built to make you extraordinarily productive.
Appears in
Your company? Embed this profile
Add the live badge to your site — it stays current as your funding data updates.
<a href="https://indexed.vc/companies/math"><img src="https://indexed.vc/api/badge/company/math" alt="Math on Indexed.vc" width="260" height="76" /></a>