计算复杂性に関するAIニュース

AIモデルが指数時間仮説を覆した？教科書の書き換えはまだ早い

前線AIラボがAIモデルによって計算複雑性理論の指数時間仮説（ETH）が反証されたと主張しているが、数学的な主張と数学的真理の間には検証という壁があり、形式化検証や独立した再現なしには「反証」はあくまで検証待ちの強い主張に過ぎないと専門家は