claude 未解決問題｜リーマン予想の成果と解決説の見分け方

Claudeが解いた未解決問題の事例

Claudeが研究中の問題の解法発見に貢献した例はあります。クヌースの論文「Claude's Cycles」では、Claude Opus 4.6との対話を通じ、三次元の有向グラフをハミルトン閉路に分解する構成法を得た経緯が紹介されています。

ハミルトン閉路とは、すべての頂点を一度ずつ通って出発点に戻る道です。論文で扱う構成法には奇数の場合という条件があり、その条件を省いて「あらゆるグラフの難問を解いた」と読むことはできません。人間の問いかけと検証を含む成果である点も押さえましょう。

本記事は2026年10月6日に取得した一次資料を基に、構成法の発見、リーマン予想の関連成果、既存証明の形式化を比較します。「予想全体の解決」と「条件付きの成果」を区別することが、検索で見つかる解決説を理解する出発点です。

リーマン予想は解決したのか

Anthropicの公式発表では、Claudeにリーマン予想へ取り組ませたものの、予想そのものの証明には成功しなかったと説明しています。その過程で、関連する問題について新しい結果を得たという報告です。

リーマン予想は、素数の分布と深く関係するゼータ関数の「非自明な零点」が、すべて実部が1/2の直線上にあるという主張です。この直線を臨界線と呼びます。零点とは関数の値がゼロになる点であり、数学の予備知識がない場合は、まず「すべての対象が特定の場所にあるかを問う問題」と捉えると理解しやすくなります。

Clay Mathematics Instituteの問題ページでも、リーマン予想は未解決問題として紹介されています。多くの零点を計算して確かめることと、対象すべてについて例外がないと証明することは異なります。ニュースに大きな数字が出ても、それだけで予想の解決とは判断できません。

公式発表は、今回用いた手法がリーマン予想の証明につながるとは期待していない、とも述べています。「解決へ一直線に近づいた」と言い換えると、発表が示す範囲を越えてしまいます。

41.6％から67.2％へ改善した数字の意味

Anthropicが報告したのは、非自明な零点のうち臨界線上にあるものの割合について、保証できる下限を41.6％から67.2％へ引き上げたという成果です。既存研究の結果を組み合わせ、新しい下限を導いたと説明しています。

この67.2％は、「予想を67.2％まで解いた」という進捗率でも、Claudeの正答率でもありません。ある割合について、少なくともここまでは成立すると示す数字です。残りの零点が臨界線の外にあると証明した、という意味にもなりません。

成果を説明するなら、「Claudeは未解決の予想に取り組み、関連する下限値を改善した」という表現が適切です。何を示していないかまで書くことで、新発見の価値を保ちながら誤解を防げます。

出典：Anthropic「Learning more about Claude's mathematical capabilities」

フェルマーの最終定理の形式化とは何が違うか

もう一つ話題になったのが、フェルマーの最終定理の形式化です。Anthropicの2026年9月4日の発表は、Claudeが11日間で、Leanによるコンピューター検証可能な証明を作成したと報告しています。

フェルマーの最終定理には、ワイルズが1995年に公表した証明があります。したがって今回の成果は、長年残っていた数学の未解決問題をClaudeが初めて解いた、という話ではありません。すでに知られている推論を、機械が細部まで検査できる表現へ移すことが主な新しさです。

リーマン予想の事例は関連する数学的結果の発見、フェルマーの事例は既知の定理の証明を検証可能にする作業として区別できます。どちらも数学研究に関係しますが、見出しだけを並べると「二つの未解決問題を解いた」と誤読しやすくなります。

形式化の詳細や成果物の読み方は、既存のフェルマーの最終定理とClaudeの記事で扱っています。今回の検索では、発見と形式化の違いを押さえることが出発点になります。

Leanの検証と人間による確認をどう読むか

Lean公式サイトは、数学的な証明を形式的に記述し、検査する仕組みを紹介しています。自然言語では省略される推論を明示することで、論理のつながりを機械的に確かめられます。

ただし、形式化した命題が読者の知りたい問題と同じか、前提にどの条件を置いたかは、別途確認が必要です。たとえば追加条件を置いた命題が正しくても、その条件がない元の予想まで証明できたとは限りません。検証の成功を読むときは、結論の文だけでなく定義と仮定も対象にします。

リーマン予想の関連成果について、Anthropicは社内の数学者が内容を検証し、外部の専門家にも確認を依頼したこと、Leanによる形式化を行ったことを説明しています。公開された成果物はAnthropicのformal-mathリポジトリから参照できます。

本記事では公開コードを再実行して独立検証したわけではありません。公式発表が報告する検証と、第三者が手元で再現した結果は分けて扱います。研究を詳しく評価したい場合は、人間向けの論文と形式化の双方を専門家に確認してもらうことが必要です。

一般向けClaudeでも同じ成果を出せるのか

リーマン予想の関連成果で用いられたのは、未公開の研究版Claudeです。公式発表ではClaude Code上の二つの作業セッションを使い、合計3,100万の出力トークンを消費したとされています。

この条件は、普段のチャットで一度質問する使い方と大きく異なります。成果を見て有料プランなら同じ証明をすぐ生成できる、と考える根拠にはなりません。モデル、作業環境、試行回数、検証の支援が違えば、得られる結果も変わります。

一般の利用者は、まず公開された説明の理解、定義の整理、証明の読み合わせに使うと目的を設定しやすくなります。未解決問題への新しい回答を生成させた場合も、文章が自然かどうかだけで正しさを判断せず、根拠となる定理や条件に戻って確認します。

出典：Anthropicのリーマン予想関連成果の方法説明

未解決問題のニュースを確認する5つの手順

ニュースや投稿で「Claudeが解いた」と見かけたら、次の順に確認すると成果の範囲を整理できます。

1. 問題名と元の発表を特定する。 リーマン予想なのか、関連する零点の割合なのかを確認し、公式発表の日付とURLを記録します。
2. 主張している結論を一文にする。 「予想全体の証明」「下限の改善」「既存証明の形式化」のどれに当たるかを書き出します。
3. 対象と条件を読む。 どの零点、どの割合、どの仮定について成り立つ結果なのかを、本文や論文の定理文で確かめます。
4. 検証の根拠を確認する。 専門家の確認、形式化したコード、検査方法の参照先を探し、自分が実行していない確認はそのまま明記します。
5. 共有する表現を決める。 証明された範囲に合わせて説明し、未解決の部分や不明な点を残します。更新があれば同じ資料を再確認します。

Claudeを学習補助として使うなら、取得した公式発表を渡して、次のように質問できます。

この資料について、元の未解決問題、今回証明した主張、まだ証明していない部分を分けて説明してください。数字の意味と前提条件を省略せず、根拠の箇所を示してください。資料にないことは不明としてください。

回答を読んだ後は、引用先を自分でも開いて照合します。「難問を解いた」という短い表現を、問題名・証明対象・検証状況の三つに分けると、Claudeの数学的成果を具体的に理解できます。