Math, Inc.
A new company dedicated to autoformalization and the creation of verified superintelligence.
Explained projects
Yet to be explained
ZkLinalg
Explain
Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity
RiemannHypothesisCurves
Explain
A formal proof of the Riemann Hypothesis for curves
KakeyaFiniteFields
Explain
A complete Lean 4 formalization of the Kakeya set problem over finite fields