BAI capital — 2026 Investments
1 investments dated 2026 · listed companies and verified rows first · show all
Mathmath.incAug 2026
Math Inc. develops AI systems for autoformalization, including Gauss, an agent that formalizes mathematical proofs, aimed at achieving verified superintelligence.
AI & Machine LearningDeep Tech
Jesse Han(Founder)
Co-investorsTorch CapitalHyT CapitalIDG Capital
Rows marked “SEC filing” are inferred from directors named on the company's SEC Form D — public regulatory data, not a portfolio list published by the firm.