GPT-5.6 Sol Ultraが50年来の数学予想を1時間で証明——AIが「解ける難問」の正体
OpenAIは、GPT-5.6 Sol Ultraが約50年間未解決だったグラフ理論の予想を1時間未満で証明したと発表しました。数学者トーマス・ブルーム氏はこの証明を「非常に美しい」と評価する一方、1983年の先行研究への引用が一切ない点を問題視しています。
OpenAIは、GPT-5.6 Sol Ultraが約50年間未解決だったグラフ理論の予想を1時間未満で証明したと発表しました。数学者トーマス・ブルーム氏はこの証明を「非常に美しい」と評価する一方、1983年の先行研究への引用が一切ない点を問題視しています。