GPT-5 Pro a trouvé un contre-exemple à l'optimalité majoritaire du NICD avec effacements (liste de Simons, p.25). À p=0.4, n=5, f(x) = sign(x_1-3x_2+x_3-x_4+3x_5) donne E|f(x)|=0.43024 contre la meilleure majorité 0.42904.