数学– tag –
-
［ニュース解説］OpenAIが数学の難問「ナビエ–ストークス方程式」の解決を発表
はじめに OpenAIは2026年9月8日、数学の未解決問題であるミレニアム賞問題の一つ「ナビエ–ストークス方程式の存在と滑らかさ問題」について、内部AIシステムによる解決を発表しました。本稿では、この発表内容と、証明に至った数千規模のAIエージェント... -
［ニュース解説］Claudeがフェルマーの最終定理を11日で形式化——1,300万行のLeanコードが意味するもの
はじめに Anthropicが2026年9月4日、フェルマーの最終定理（FLT）の完全な機械検証済み証明を公開しました。Claudeが11日間ほぼ自律的に作業し、Lean言語で1,300万行のコードを書き上げたとされています。本稿では、この形式化がどのように行われ、数学... -
［ニュース解説］Claudeがリーマン予想の関連問題で新結果——臨界線上の零点の下限を41.6%から67.2%へ
はじめに Anthropicが2026年8月10日、未公開の研究版Claudeがリーマン予想に関連する未解決問題で新たな結果を得たと発表しました。リーマンゼータ関数の零点のうち仮説を満たす割合の下限が、41.6%から67.2%に更新されています。本稿では、その内容と検証... -
［ニュース解説］OpenAIの次期モデル「Astra」が数学10大難問に挑む——10年以上未解決だった証明の中身
はじめに OpenAIは2026年8月1日、数学と理論計算機科学における10年以上未解決だった10の問題について、新たな結果を得たと発表しました。本稿では、この発表内容をもとに、成果の中身と、AIによる数学研究への向き合い方について解説します。 参考記事 ... -
［ニュース解説］AIが80年来の数学の難問を解決——数学者の仕事はなくなるのか
はじめに IBMのメディア「IBM Think」が2026年7月24日に報じたところによると、Anthropicの社員がClaude Fable 5を使い、1939年から未解決だった数学の難問「ヤコビアン予想」の反例を発見しました。本稿では、この事例をもとにしたIBM専門家パネルの議... -
［ニュース解説］OpenAIの汎用推論モデルが80年来の未解決問題を反証——離散幾何学の予想が崩れた
はじめに OpenAIは2026年5月20日、同社の内部推論モデルが離散幾何学における80年来の未解決問題「平面単位距離問題」に関するエルデシュ予想を反証したと発表しました。本稿では、この成果の内容と、AIが数学研究に果たす役割の変化について解説します... -
［ニュース解説］OpenAIのAIが研究レベルの数学証明に挑戦——「First Proof」で10問中5問以上を正解か
はじめに OpenAIは2026年2月20日、研究レベルの数学証明課題「First Proof」に社内モデルで挑戦した結果を公開しました。本稿では、この取り組みの概要と結果、AIの数学的推論能力の現状について解説します。 参考記事 タイトル: Our First Proof submis... -
［開発者向け］Gemini Deep Thinkが研究レベルの数学問題を解決──GoogleがAI研究エージェント「Aletheia」を発表
はじめに Google DeepMindが2026年2月11日、AI研究の新たな段階を示す発表を行いました。Gemini Deep Thinkモードが数学、物理学、コンピュータサイエンスの研究レベル問題を解決し、複数の査読付き論文を生成したというものです。本稿では、この発表内... -
［ニュース解説］Google DeepMind、数学研究のAI活用を推進する国際イニシアチブを発足
はじめに Google DeepMindが2025年10月29日、数学研究におけるAI活用を推進する「AI for Math Initiative」を発表しました。世界5つの著名研究機関との提携により、数学の最前線でAIを研究ツールとして活用する取り組みです。本稿では、このイニシアチブ... -
［ニュース解説］AIは未知の数学の難問をとけるのか？現在のAIの本当の数学力を検証
はじめに 本稿では、2025年6月6日にScientific American誌に掲載された「At Secret Math Meeting, Researchers Struggle to Outsmart AI」という記事をもとに、人工知能（AI）が人類の知的活動の頂点ともいえる数学の分野で、どれほどの進歩を遂げている...
1