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 technologies & apps 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
AI startup building artificial general engineer for physical-world robotics and automation.
Chinese AI company developing GLM large language models and multimodal agent APIs for enterprises...
Cursor is the best way to code with AI, and built to make you extraordinarily productive.
Mistral co-creates tailored AI systems for enterprises and governments, combining frontier models...
Provides AI inference hardware and cloud platform for enterprises, using RDUs and SambaCloud to r...
UiPath provides an enterprise automation platform that coordinates AI agents, software robots, pe...
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>