GPT-5 Pro encontró un contraejemplo a la optimalidad mayoritaria NICD-con-borrados (lista de Simons, p.25). En p = 0.4, n = 5, f (x) = signo (x_1-3x_2 + x_3-x_4 + 3x_5) da E | f (x) | = 0.43024 frente a la mejor mayoría 0.42904.