O GPT-5 Pro encontrou um contraexemplo à optimalidade da maioria do NICD com apagamentos (lista de Simons, p.25). Em p=0.4, n=5, f(x) = sign(x_1-3x_2+x_3-x_4+3x_5) dá E|f(x)|=0.43024 vs melhor maioria 0.42904.