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.
-
Updated
May 7, 2026 - C++