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 114

  2. strongpnt strongpnt Public

    Lean 323 21

  3. ZkLinalg ZkLinalg Public

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

    Lean 94 2

  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 72 9

  5. FrontierMathOpen-Hypergraphs FrontierMathOpen-Hypergraphs Public

    Lean 61 6

  6. RiemannHypothesisCurves RiemannHypothesisCurves Public

    A formal proof of the Riemann Hypothesis for curves

    Lean 59 8

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 72 Apache-2.0 54 0 0 Updated Apr 7, 2026
  • OpenGauss Public
    math-inc/OpenGauss's past year of commit activity
    Python 1,261 MIT 114 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 61 Apache-2.0 6 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 59 8 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 22 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 94 2 0 0 Updated Dec 11, 2025
  • strongpnt Public
    math-inc/strongpnt's past year of commit activity
    Lean 323 21 1 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…