FO4 constraint-isolation boundary module for Cayley/local-rigidity arguments; terminal Math-AI question preserved as OPEN_PROBLEM_REQUIRED.
-
Updated
May 12, 2026 - Python
FO4 constraint-isolation boundary module for Cayley/local-rigidity arguments; terminal Math-AI question preserved as OPEN_PROBLEM_REQUIRED.
Computational search for the [22,6,13]₄ linear code over GF(4) — a 25-year open problem in coding theory. World record E*=1. 441+ engines, 2.5B+ evaluations, 12+ theorems. Freedom Theorem, Distance Theorem, Quantum Excess Conjecture. 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."