A binary Reed-Muller code is the linear code formed
by evaluating all multilinear polynomials of degree
at most
over the finite field
at all points of
, where
. Its codewords have
length
.
In particular,
consists of the evaluation vectors of affine Boolean
functions.
Wang et al. (2026) proved that the code covering radius of
is 242. This is the greatest Hamming distance
from a nine-variable Boolean function to the
nearest affine Boolean function.