Find XO: OpenAIモデルが離散数学の主要予想を反証成功、AIが新たな数学的事実を発見

- OpenAIは自社のモデルが離散数学の未解決予想を破る反例を見つけたと発表した。 - 単に計算速度が速いというレベルではなく、膨大な場合の数の中から理論を崩す構造を選び出す作業であり、本質的に異なるものだ。 - グラフ理論や組合せ論はアルゴリズム設計の基盤でもあるため、研究ツールとしてAIをどこまで信頼し任せるべきか再考を促す。