Math, Inc.
A new company dedicated to autoformalization and the creation of verified superintelligence.
- 135 followers
- United States of America
- https://math.inc
- @mathematics_inc
- contact@math.inc
Popular repositories Loading
-
RiemannHypothesisCurves
RiemannHypothesisCurves PublicA formal proof of the Riemann Hypothesis for curves
-
KakeyaFiniteFields
KakeyaFiniteFields PublicA complete Lean 4 formalization of the Kakeya set problem over finite fields
-
Repositories
Showing 5 of 5 repositories
- PutnamBench-test Public
math-inc/PutnamBench-test’s past year of commit activity - KakeyaFiniteFields Public
A complete Lean 4 formalization of the Kakeya set problem over finite fields
math-inc/KakeyaFiniteFields’s past year of commit activity - ZkLinalg Public
Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity
math-inc/ZkLinalg’s past year of commit activity - strongpnt Public
math-inc/strongpnt’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…