108 Doctrines, 500M+ evaluations, and the A₁₂=42 record for the open [22,6,d]₄ coding theory problem. Three obstruction theorems. 18 closed routes. Proyecto Estrella.
coding-theory projective-geometry linear-codes error-correction human-ai-collaboration proyecto-estrella quaternary-codes gf4 open-problem griesmer-bound 22-6-13 distance-13
-
Updated
Mar 4, 2026 - Python