O GPT-5 Pro encontrou um contra-exemplo para a otimização da maioria do NICD com rasuras (lista de Simons, p.25). Em p = 0,4, n = 5, f (x) = sinal (x_1-3x_2 + x_3-x_4 + 3x_5) dá E | f (x) | = 0,43024 vs melhor maioria 0,42904.