一次情報で読む、いまのAI
← すべてのニュース
2026.09.22 TUE16:54 JSTOpenAI

OpenAI内部モデルが数学未解決100超解決

目線

高度数学の自動証明が研究現場で現実味を帯び、科学者は大規模エージェント協調の導入可否を検討できる。

対象

数学者・AI研究者・科学調査担当

使える場面

  • 未解決問題のエージェント探索試作
  • 証明の形式検証フロー構築

試すなら

公式の証明writeupとLeanコードを確認する

確認点

内部モデルは未公開でAPI/ChatGPTからは利用不可

背景

OpenAIは8/28から訓練中の内部モデル（GPT-6 Astraより大幅に高性能）を使い、Millennium Prize問題を含む数学課題にエージェント群を投入した。

何が変わったか

  • Navier-Stokes存在と滑らかさ問題で有限時間特異点の発生を示す証明を生成
  • 約1万エージェントが88時間で解決、追加17時間でGPT-6 AstraがLean検証
  • 同モデルが訓練開始から24日程度で100超の長期未解決数学問題を解決
  • 証明writeupとLean形式化を公開

使える場面・影響

フロンティアモデルの数学能力が研究加速の前提を変え、エージェント協調による大規模探索が実用選択肢になる。

試す前に確認

  • 内部モデルは一般提供なし
  • Clay Institute賞は請求せず
  • 一部データ汚染の可能性を排除できずと注記

一次ソース