GPT-5 Pro знайшов контрприклад оптимальності більшості NICD with-erasures (список Саймонса, стор. 25). При p=0,4, n=5, f(x) = знак(x_1-3x_2+x_3-x_4+3x_5) дає E|f(x)|=0,43024 проти найкращої більшості 0,42904.