computer-assisted-proofs

Here are 2 public repositories matching this topic...

Oxelra-AI / Qiushi-Engine-Matmul-Research

Long-horizon autonomous mathematical research by Qiushi Engine: a structural lower-bound proof for 3x3 matrix multiplication over F2, with an open research trajectory, bilingual reports, and replayable certificates.

reproducible-research matrix-multiplication finite-fields computer-assisted-proofs ai-for-science tensor-rank

Updated Sep 10, 2026
Python

HeliCorgi / ns-singularity-certificate-lab

Star

Not a Clay solution. Spectral-front identities for periodic Navier-Stokes: a bandwidth-dissipation dichotomy, an exact action representation, and an obstruction to uniform pointwise Osgood closure. Exact-rational certificates; AI-agent review, not human peer review.

reproducible-research mathematical-analysis partial-differential-equations navier-stokes formal-verification fluid-dynamics regularity-theory computer-assisted-proofs lean4 exact-arithmetic

Updated Sep 1, 2026
Python

Add this topic to your repo

To associate your repository with the computer-assisted-proofs topic, visit your repo's landing page and select "manage topics."

Learn more