
Two Minute Papers
OpenAI、 ナビエ–ストークス方程式の 特異点存在を 証明 AIエージェントが88時間で ミリオン問題を 解決
OpenAIのAIエージェントが、ミレニアム懸賞問題の一つ「ナビエ–ストークス方程式の存在と滑らかさ」を約88時間で解決しました。特異点の発生を証明し、Leanで検証された成果の詳細と、AIが数学で急進化する理由を解説します。
TOPIC
科学技術 に関連するAI・テクノロジーの動画をAIが映像・音声ごと解析し、要点・数字・注意点まで日本語でまとめた記事が2 本あります。

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

OpenAIが世界の研究者10万人に「GPT-5.6」を含む最先端AIを無料提供する「ChatGPT for Academic Researchers」を発表。理論物理学、遺伝学、宇宙物理学の第一線で活躍する研究者が、AIを用いた研究プロセスの劇的な変化と、仮説検証やコード生成における実用性を語ります。