GPT-5 は、研究者が「ゲーデル テスト」と呼ぶものに合格したばかりです。 つまり、教科書の問題を解くだけでなく、通常、熟練した博士課程の学生が解くのに何日もかかるであろう未解決の数学の推測に取り組むということです。 新しい論文では、GPT-5 は 5 つの未解決の最適化予想でテストされました。5つのうち3つを解決した。ある問題では、研究者が予想していたのとは異なる有効な証拠さえ生み出されました。 フロンティアAIが数学から学ぶだけでなく、数学を行う時代が正式に突入しました。 その影響は計り知れません。 • 数日または数週間にわたって人間を困惑させる問題の進捗状況 • 真の数学的発見に貢献する AI • 2030年代に研究自体がどのように変化するかのプレビュー 人々はまだこれを過小評価しています。定理を証明できるモデルの影響は、まだ浸透し始めています。 これは「派手なオートコンプリート」と本物の科学的推論の間の境界線です。