GPT-5 Proは、NICDと消去の多数決の最適性に対する反例を見つけました(Simons list、p.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 の最良多数派になります。