AI mathematician producing machine-checkable proofs via Lean for code verification; achieved Putnam-perfect score; cumulative $264M ($64M Seed + $200M Series A); $1.6B valuation
No detailed funding rounds available.
Total known funding: