The Coxeter Code Minimum Distance Conjecture
Coble and Barg introduced binary Coxeter codes, the span of indicators of standard cosets of fixed rank in a finite Coxeter system, generalizing Reed-Muller codes, and proposed a conjectural value for the minimum distance of a general Coxeter code. The conjecture is true, and it yields a decoding consequence.