LLM・生成AI
更新
OpenAI、数学諮問委員会を新設 AIが未解決問題100件超解決も学界に波紋
OpenAIがプリンストン高等研究所に数学諮問委員会を新設した。内部モデルはナビエ・ストークス方程式を含む未解決問題を100件超解決したと主張する一方、成果の出し方をめぐり数学界から批判が噴出している。
続きを読む
タグ一覧に戻る
数学
記事数: 15 件
OpenAI、2つ目のミレニアム懸賞問題「Hodge予想」解決に接近と報道、数学界は反発
OpenAIはニューヨーク・タイムズに対し、Navier-Stokes問題に続くミレニアム懸賞問題で「重要な進展」を遂げたと伝えた。具体名は明かしていないが、Hodge予想との憶測が広がっている。
続きを読む
LLM・生成AI
更新
OpenAIの数学的発見に功績論争、NYU数学者がAnthropic研究者との共同研究巡り抗議
OpenAIが主張するNavier-Stokes方程式関連の内部証明を巡り、NYUのTristan Buckmaster氏が功績の横取りを主張。Anthropic研究者との共著権を巡る対立が表面化した。
続きを読む
LLM・生成AI
更新
AI人類絶滅論を発表した数学者フィールズ賞受賞者、OpenAI に参画――安全性研究の強化
フィールズ賞受賞者 Jacob Tsimerman がトロント大学から OpenAI に転職。AI の安全性研究と数学基礎研究に従事します。有力な研究者の採用は業界の安全性シフトを示唆しています。
続きを読む
Terence Tao が警告——AI が数学の危機を招く、人間が理解できる証明が条件
Turing Award 受賞者 Terence Tao が、AI が大量に生成した証明は人間に理解不可能であり、数学分野の本質的価値（理解・教育・発見）が失われる可能性を指摘。著者が結果を明確に説明できることが必須条件。
続きを読む
Anthropic の Claude が 150 年来の数学難問「Riemann 予想」で進展——下限を 41.6% から 67.2% へ引き上げ
Anthropic が未発表のモデルを使い、150年以上未解決の Riemann 予想について、既知下限を大幅に改善。650 個のアプローチと 60 個のサブエージェントが協調し、3,100万トークン消費して成果達成。AI が基礎数学研究の最前線に進出した事例として学界で注目を集めている。
続きを読む
複数の AI モデルが国際数学オリンピックで満点達成、AI の数学能力が人間レベルに
中国の Huawei と Xiaohongshuo の AI が IMO（国際数学オリンピック）で初めて満点を獲得。OpenAI、Anthropic、Moonshot AI も 42/42 点を達成し、AI の数学推論能力が新局面へ。
続きを読む
Google、Diffusion models の『創造性』は数学的に必然と証明——補間と正則化の仕組みを解明
生成 AI がどのようにして訓練データにない新しい画像を創造するのか。Google Research が理論的にブラックボックスを解明。
続きを読む
Claude Fable 5 が FrontierMath で GPT-5.5 を大幅上回る、88% 対 75%
Anthropic の Claude Fable 5 が高難度数学ベンチマーク FrontierMath で 88% の精度を達成。OpenAI の GPT-5.5（75%）を 13 ポイント上回り、AI の数学推論能力の急速な進化を示す。
続きを読む
Claude Mythos がエルデシュ予想を「シンプルな証明」で解く——AI 数学能力の新マイルストーン
Anthropic の Claude Mythos が 1946 年から未解決だったエルデシュの単位距離予想を解く。「かわいい、シンプルな証明」と評価され、AI 駆動型の数学発見に「深刻な余力」が存在することが明らかになった。
続きを読む LLM・生成AI
更新
OpenAI の推論モデルが 80 年来未解決の離散幾何予想を反証、テレンス・タオらが検証・支持
OpenAI の新しい汎用推論モデルが、1946 年にポール・エルデシュが提唱した単位距離問題を解決。幾何学の基本的な仮説を覆す新しい構成を発見し、フィールズ賞受賞者テレンス・タオを含む著名数学者が同行声明で支持。複雑な推論能力の実証が、科学・工学全域への波及を示唆。
続きを読む
SOOHAK ベンチマーク、AI が「解けない問題」を認識できない根本的な限界を露呈――計算量増加でも改善されず
64人の数学者が開発した439問のベンチマーク SOOHAK。AI は複雑な数学問題は解くが、「この問題は解けない」と認識する能力に致命的な欠陥を持つことが判明
続きを読む
OpenAI研究者が提唱する「数学がAGIへの道」――推論能力の急速な進化で示された証
OpenAIの研究者Sebastian BubeckとErnest Ryuは、数学が汎用AI（AGI）達成度の客観的測定基準であると主張。2年間で小学算数から研究数学へ進化したモデルの能力から、長期的推論能力の急速な拡張を指摘する。
続きを読む
GPT-5.4 Pro が長年未解決のエルデシュ問題を 80 分で解く、テレンス・タオが「意味ある貢献」と評価
OpenAI の最新モデル GPT-5.4 Pro が数学界の難題「エルデシュ open problem #1196」を約 80 分で解決。フィールズ賞受賞者テレンス・タオは、この証明が「整数の構造」と「マルコフ過程理論」の新たな関連性を示す有意義な貢献だと述べた。
続きを読む
AxiomがAIで未解決数学に挑む挑戦
AxiomがAIで4件の未解決数学問題を解いたと報告しました（WIRED報道）。解法の公開と第三者検証が進めば、AIの推論力と計算資源が学術と産業に新たな可能性をもたらす期待があります。
続きを読む