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