GPT-5 Pro hittade ett motexempel till NICD-with-erasures-majoritetens optimalitet (Simons lista, s.25). Vid p=0,4 ger n=5, f(x) = tecken(x_1-3x_2+x_3-x_4+3x_5) E|f(x)|=0,43024 mot bästa majoritet 0,42904.