auditablemath

Here is 1 public repository matching this topic...

Grounded-DI / MathWise_Erdos_125_Global_Multirow_Coercivity_Certificate

Verified proof package for a fixed Erdős Problem 125 setup. Certifies a unique target, finite-state Schur conditions, and operator bounds (1/2,I \le W_2(c^*) \le 2,I) on the certified interval. Reproducible and hash-sealed; not a full solution.

math deterministicintelligence auditablemath erdos125

Updated Jul 26, 2026
Python

Add this topic to your repo

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

Learn more