何が起きたか
OpenAIの内部システムが、滑らかな流体運動が有限時間で特異点に崩壊し得ることを証明し、ナビエ・ストークス・ミレニアム懸賞問題を解決した。
なぜ重要か
この問題は約90年間未解決だった。OpenAIは解説とLeanによる形式的証明を公開したが、賞金は請求していない。
注目点
数学コミュニティが証明を受け入れるかが焦点。OpenAIはモデルがGPT‑6 Astraより大幅に高性能だと主張する。
誰に効くか数学者と流体力学研究者は証明の検証が必要だ。AI研究者やビジネスリーダーは、科学発見におけるAI能力のさらなる実証に注目すべきだ。
こういう要約が、毎朝あなたのメールに届きます。
OpenAIの発表はAI推論の大幅な飛躍を示す。内部モデルはベンチマークでGPT‑6 Astraを上回る。開始は他機関の解決観測がきっかけで、マルチエージェントシステムは490万メッセージと3000億出力トークンを処理した。Leanによる形式化が厳密性を高め、OpenAIはLevent AlpögeとTristan Buckmasterによる関連オイラー問題の同時進行研究も認めている。この成果はAIが数学の最前線課題に挑めることを示すが、受け入れは査読と数学コミュニティの検証次第だ。
たとえば、いま届くならこの3本です
AIが要約して、あなたの選んだトピックだけを1日1通。LINE・Email・Slackで届きます。
登録無料・Googleアカウントなら30秒・いつでも解除できますAITodayについて →
この記事についてわからないことをAIに質問できます。Q&Aはこのページに公開され、他の読者も読めます。
OpenAIの製品責任者Tibo氏は9月9日、GPT-6 Astraへの需要急増でProプランの新規受付を一時停止する可能性があると述べた
Stratecheryは、OpenAIが最も有名な数学問題の一つを解いたと報じ、極めて印象的だが大半の人々の生活への影響は小さいと指摘
ベルギー発Conveo、DST Global、Balderton Capital、Visionaries、6 Degrees Capital、Y CombinatorからシリーズAで50百万ドル調達
黄氏がOpenAIのAstraでAGIが到来したと宣言
AnthropicがClaude Fable 5.1とMythos 5.1を公開
27歳のジェイコブ・コクソンが9月8日にXで、OpenAIとAnthropicで計3年間プリトレーニングに携わった後、Anthropicを退社したと発表
