AIが解く世界の難問 ─ 数学
AI が進めた科学と学問の成果を、学問ごとに
RSS フィード · 3 件
Science · 学術誌・科学ニュース · 2026-10-13数学
AIが数学最難問の一つ、リーマン予想の解決に近づく
原題: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems
Nature (machine learning) · 学術誌・科学ニュース · 2026-10-07数学
OpenAI、数学の論文700本超を公開 数学者から反発
原題: OpenAI posts 700 maths preprints online: mathematicians are up in arms
OpenAIは未公開のモデルを使い、注目度の高い数学の問題数百件に取り組んだ。同社は10月6日、AIによって生成されたとする数学分野の論文700本以上をGitHubに一斉公開した。長年の問題が解かれたことを歓迎する数学者がいる一方、先を越されたとして不満を訴える声も上がっている。
Anthropic · AI 研究所 · 2026-09-26数学
Claude、リーマン予想に関わる零点の割合の下界を改善
原題: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis
リーマン予想は、リーマンゼータ関数の零点がある垂直線上にすべて並ぶとする未解決の予想である。未公開の研究版Claudeはこの予想に挑んで証明には至らなかったが、関連する問題で前進し、リーマン予想を満たす零点の割合の既知の下界を41.6%から67.2%へ引き上げた。Anthropicの数学者2名が論文を検証して専門家向けの簡潔な注釈を作成し、Claudeは形式的に検証可能な証明も生成した。