GPT-5 Pro hat ein Gegenbeispiel zur Mehrheitsoptimalität von NICD mit Löschungen gefunden (Simons Liste, S. 25). Bei p=0.4, n=5, f(x) = sign(x_1-3x_2+x_3-x_4+3x_5) ergibt E|f(x)|=0.43024 im Vergleich zur besten Mehrheit 0.42904.