Skip to content
@math-inc

Math, Inc.

A new company dedicated to autoformalization and the creation of verified superintelligence.

Popular repositories Loading

  1. OpenGauss OpenGauss Public

    Python 1.3k 115

  2. strongpnt strongpnt Public

    Lean 325 22

  3. ZkLinalg ZkLinalg Public

    Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity

    Lean 95 4

  4. Sphere-Packing-Lean Sphere-Packing-Lean Public

    Forked from thefundamentaltheor3m/Sphere-Packing-Lean

    A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.

    Lean 73 10

  5. FrontierMathOpen-Hypergraphs FrontierMathOpen-Hypergraphs Public

    Lean 62 7

  6. RiemannHypothesisCurves RiemannHypothesisCurves Public

    A formal proof of the Riemann Hypothesis for curves

    Lean 60 9

Repositories

Showing 10 of 10 repositories
  • Erdos1196 Public
    math-inc/Erdos1196's past year of commit activity
    Lean 27 Apache-2.0 0 0 0 Updated Apr 16, 2026
  • Sphere-Packing-Lean Public Forked from thefundamentaltheor3m/Sphere-Packing-Lean

    A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.

    math-inc/Sphere-Packing-Lean's past year of commit activity
    Lean 73 Apache-2.0 56 0 0 Updated Apr 7, 2026
  • OpenGauss Public
    math-inc/OpenGauss's past year of commit activity
    Python 1,268 MIT 115 6 7 Updated Apr 5, 2026
  • FormalQualBench Public
    math-inc/FormalQualBench's past year of commit activity
    Lean 11 Apache-2.0 0 0 0 Updated Mar 24, 2026
  • FrontierMathOpen-Hypergraphs Public
    math-inc/FrontierMathOpen-Hypergraphs's past year of commit activity
    Lean 62 Apache-2.0 7 0 0 Updated Mar 13, 2026
  • LeanParanoia Public
    math-inc/LeanParanoia's past year of commit activity
    Python 3 MIT 0 0 0 Updated Feb 24, 2026
  • RiemannHypothesisCurves Public

    A formal proof of the Riemann Hypothesis for curves

    math-inc/RiemannHypothesisCurves's past year of commit activity
    Lean 60 9 1 0 Updated Feb 6, 2026
  • KakeyaFiniteFields Public

    A complete Lean 4 formalization of the Kakeya set problem over finite fields

    math-inc/KakeyaFiniteFields's past year of commit activity
    Lean 23 2 0 0 Updated Dec 16, 2025
  • ZkLinalg Public

    Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity

    math-inc/ZkLinalg's past year of commit activity
    Lean 95 4 0 0 Updated Dec 11, 2025
  • strongpnt Public
    math-inc/strongpnt's past year of commit activity
    Lean 325 22 2 0 Updated Sep 11, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Lean Python

Most used topics

Loading…