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 相比。