TOPIC

数学の最新ニュース・解説

数学に関連するAI・テクノロジーの動画をAIが映像・音声ごと解析し、要点・数字・注意点まで日本語でまとめた記事が1 本あります。

Two Minute Papers2026/09/10

OpenAI、ナビエ–ストークス方程式の特異点存在を証明　AIエージェントが88時間でミリオン問題を解決

OpenAIのAIエージェントが、ミレニアム懸賞問題の一つ「ナビエ–ストークス方程式の存在と滑らかさ」を約88時間で解決しました。特異点の発生を証明し、Leanで検証された成果の詳細と、AIが数学で急進化する理由を解説します。