FO4 constraint-isolation boundary module for Cayley/local-rigidity arguments; terminal Math-AI question preserved as OPEN_PROBLEM_REQUIRED.
AlphaProof Nexus evolution on Erdős Problem #25 — does every congruence-avoiding set have a logarithmic density? Open problem, formalized in Lean 4.
Computational search for the [22,6,13]₄ linear code over GF(4) — a 25-year open problem in coding theory. Record excess E*=1. 441+ programs, 2.5B+ evaluations, 8 structural theorems including the Freedom Theorem, the Distance Theorem, and the Residual Reduction to [9,5,4]₄. Proyecto Estrella, Madrid.
Add a description, image, and links to the open-problem topic page so that developers can more easily learn about it.
To associate your repository with the open-problem topic, visit your repo's landing page and select "manage topics."