GPT-5 Pro 找到了 NICD-with-erasures 大多数最优性的反例（Simons 列表，第 25 页）。 在 p=0.4, n=5 时，f(x) = sign(x_1-3x_2+x_3-x_4+3x_5) 给出 E|f(x)|=0.43024，而最佳多数为 0.42904。