AIが解く世界の難問 · 数学 · Anthropic · 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は形式的に検証可能な証明も生成した。