GPT-5 Pro fant et moteksempel til NICD-med-sletting-majoritetsoptimaliteten (Simons liste, s.25). Ved p=0.4, n=5, f(x) = tegn(x_1-3x_2+x_3-x_4+3x_5) gir E|f(x)|=0.43024 mot beste flertall 0.42904.