2026.09.09 WED02:20 JSTOpenAI
次世代モデルでNavier-Stokes解決
- GPT-6 Astra超の次世代モデルと約1万エージェントが
- Navier-Stokesミレニアム問題を88時間で解いたと発表。
- 解析的証明とLean形式化で特異性の可能性を示した。
目線
高度推論・マルチエージェント研究自動化の能力前提が変わる事例として、研究者は手法を、開発者はエージェント設計の上限を確認する段階。
対象
AI研究者・エージェント構築者
使える場面
- 形式検証付き数学証明の自動化を試す
- 大規模エージェント協調の限界を設計に反映する
試すなら
公式発表の詳細と安全策を確認する
確認点
訓練継続中でセーフガードを強調、一般利用条件は不明
一次ソース
- OpenAI公式Xx.com