OpenAIのGPT-5.6が1970年代から未解決だったグラフ理論の難問を証明し、短くて初等的な証明をもたらしました。マンチェスター大学の数学者は、AIが粘り強く小さな変化を試し続ける能力により、人間では見落とされた証明を発見したと評価しています。ただし、OpenAIの論文は先行研究を引用していないという課題が指摘されています。
こういう要約が、毎朝あなたのメールに届きます。
無料で登録 →何が起きたか
OpenAIのGPT-5.6 Sol Ultraが、1970年代から未解決だったグラフ理論の難問（サイクル予想）の証明を生成しました。マンチェスター大学の数学者Thomas Bloomが評価したところ、「短くて初等的で、1980年代に発見されてもおかしくない証明」だと述べています。
なぜ重要か
人間の数学者が見落とした理由は、証明の鍵となる小さく直感に反する推論ステップにあります。Bloomは「AIは失意に陥らず、小さな変化を試し続ける粘り強さを持つ」と指摘し、これは既存知識の組み合わせによって時間をかければ解ける問題が他にもあることを示唆しています。
注目点
一方、OpenAIの論文は1983年のBermond、Jackson、Jaegerらの先行研究に言及しておらず、Bloomは「AIが生成した論文は文献から引用なしに考え方を使う傾向がある」と批判しています。
OpenAIがGPT-5.6で数学の難問を解いた事例は、AIと人間の問題解決の違いを浮き彫りにしています。Bloomの分析によれば、この証明に必要だったのは新しい理論ではなく、既存の知識を粘り強く組み合わせる能力でした。人間の数学者が自然なアプローチで失敗した後、諦めやすいのに対し、AIは小さな変化を試し続けることで、見落とされていた解法を発見したのです。
ただし、重要な課題も浮かび上がっています。OpenAIの論文は1983年のBermond、Jackson、Jaegerの先行研究に言及していないと批判されており、AIが生成した学術成果における引用慣行の問題が指摘されています。Bloomは、AIが先行論文を検索して読む傾向があるにもかかわらず、その影響を明示していないことに疑問を呈しています。こうした検証はまだ科学コミュニティによる完全な数学的確認が保留されている段階であり、今後の評価が待たれています。
まだコメントがありません。最初のコメントを投稿しましょう！
ログインして議論に参加200以上のソースから厳選したAIニュースを毎日無料でお届けします。
無料で始める登録無料・30秒で完了・いつでも解除できます
毎朝1分、AIの要点だけ。
200媒体以上・Email/LINE/Slack 対応
