日本語翻訳：

2025 年、数学者のランディ・ダビラとジェフリー・ラガリアスは、サイモン・ファイトロウィッツおよびポール・エルデシュによる基礎的な研究を踏まえ、長年にわたり議論されてきた「共通因子グラフの残差（residue）」に関する数十年にわたる問いに著しい進展をもたらした。ビル・ステートンはいくつかのコンピュータ検査（$n=10,000$ まで）に基づき、特定の下限値が厳密であることを長年にわたり疑っていたが、形式的な証明は最近まで存在しなかった。人間の監視の下で盲目的な誤りを避けるために人間とのループを繰り返す自動システム「Theo-Conjecture」を用いて、チームはグラフ構造を分析した。初期の AI による提案が失敗した後、カラ・ワイの和（Caro-Wei sum）に関与する画期的な成果を発見し、正確な定数 $c_0 = \zeta(2)-1$ および未知であった二乗項を明らかにした。得られた定理は漸近展開 $R(G_n) = c_0 \cdot n/\log n + (c_0 - A) \cdot n/\log^2n + O(n/\log^3n)$ を証明している。この証明には、素数に対する複合数の出現（prime-to-composite incidences）をクラスター（cliques）に置き換えるグラフ構造の再構築という新たな技法が用いられた。しかし、残差の偏差に関する特定の絶対値の上限については、$n=1,000,000$ まで広範なテストが行われたにもかかわらずまだ証明されていない。完全な定理は現在準備中であり、ピアレビューを完了していない。この成果は、人間による直観、厳格な歴史的解析、そして機械の効率が融合し、長年の数学的な謎を進化させる転換点を示している。

パウル・エルドスから巨大言語モデルへ：壁に書かれた数学的問いの再発見

共通約数グラフ (G_{30}) とその構造

1980 年代から 40 年後、自動発見システム Theo-Conjecture がパウル・エルドスの未解決問題を解き明かしました。彼らの探究対象は、「共通約数グラフ」です。

定義: 整数 2 から 30 までの数を頂点（点）とし、共通する因数（1 より大きい）を持つ場合は線（辺）で結んだグラフです。
- 例：6 と 10 は 2 で割り切れるため接続される。
構造的特徴:
- 素数（金色）: 互いに共通因数を持たないため、孤立した頂点として存在します。
- 合成数（青灰色）: 共通因数を持つ同士でネットワークを形成します。
- 最大独立集合: 10 の素数頂点が互いに接続されていないため、これらが構成する群が「最大独立集合」です。

驚くべき事実：残留値と素数の関係

このグラフにおける重要な性質として、**「素数を数える」という問題がグラフの「最大独立集合」**の数に等しくなることが発見されました。

等式: [ \alpha(G_n) = \pi(n) ]
- (G_n): 2 から (n) までの整数からなるグラフ
- (\alpha(G_n)): 最大独立集合のサイズ
- (\pi(n)): (n) 以下の素数の個数（素数個数関数）
意義:
- 素数を直接数えなくても、単純なグラフ構造からその数を導出できます。
- これは「次数（degree）」という簡素な指標を用いたショートカットとして機能します。

ハベル・ハリキミ手順と残留値 (R(G))

最大独立集合を見つけるのは一般的に困難ですが、頂点の次数（各頂点到いている辺の数）に基づいて下界を推定する効率的な方法が存在します。

手法: ハベル・ハリキミ手順 (Havel-Hakimi procedure)
1. 各頂点の次数を大きい順にリスト化し、並べ替える。
2. 一番大きな数 (d) を取り、残りのリストの最初の (d) 個の数からそれぞれ 1 を引く。
3. この手順を繰り返して最終的にゼロになるまで進める。
残留値 ((R(G))): 最終的な計算結果であり、最大独立集合サイズ (\alpha(G)) の下界を保証する指標です。 [ R(G) \leq \alpha(G) ]
グラフ理論への応用: [ R(G_n) \leq \pi(n) ]
- 構造の詳細（どの点がどこに接続しているか）を無視した簡素化された計算であっても、素数の数を正確に捉える桁数が得られます。

歴史的な壁に書かれた問い：Graffiti とエルドス

この問題は長年にわたり「Written on the Wall」として未解決問題リストに残っていました。

起源: シエモーン・ファイトロヴィッツ（Houston University）が 1980 年代半ばに開発したプログラム Graffiti。
- グラフの不等式を自動生成し、数学者が検証するシステム。
- エルドスやファン・チュンら多くの数学者の注目を集めました。
ファイトロヴィッツの洞察:

「エルドスとグラフィティ（機械）には一つの共通点があった：彼らのアイデアは深く具体例に根ざしていた。」
主要な発見 (1987 年 - 1990 年代):
- ファイトロヴィッツが残留値の性質を仮説付け、後にファバロンらが証明。
- エルドスとウィリアム・スタトンによる精密化： [ \zeta(2) - 1 = \frac{\pi^2}{6} - 1 \approx 0.644934... ]
- 残留値は素数個数関数と同様の速度（(n / \log n)）で成長することが示されました。
残された謎:
- 上界と下界の具体的な定数を決定する。
- エルドスは (2/3) かもしれないと推測し、スタトンは (\zeta(2)-1) が漸近的に正しい値だと仮説づけましたが、完全な証明は長期にわたり発見できませんでした。

Theo-Conjecture: AI と人間による協働の新しい時代

2025 年〜2026 年にかけて、ランディ・ダビラ（Randy Davila）が開発したシステム Theo-Conjecture がこの謎を解き明かしました。

システム概要:
- 単なるチャットボットではなく、巨大言語モデル（LLM）と人間アドバイザーが関与する自動発見システム。
- LLM は仮説生成や厳密計算を行い、人間アドバイザーが証明の受諾や方向性を制御。
工作流程:
1. レジストリの構築: 数学的対象と数値不変量を検査可能な表として管理。
2. 自律的な探索: LLM が反例を検索し、厳密計算を執行。
3. 人間の署名: モデルの出力のみで証明済みとするのではなく、人間の数学者が確認して初めて真の成果とみなす。
歴史的再構築:
- ダビラはデータをゼロから再構築し、ファイトロヴィッツの未発表論文や手稿を発見・関連付けました。
- これにより、かつて「解決不能」だった定数を含む上界が導出されました。

証明戦略と第 2 次の項の発見

システムは初期の予測を正しく修正し、エルドス・スタトン予想を完全に証明しました。

戦略の転換:
- 単なる「重複する素因数を持たない数」ではなく、**Caro-Wei 和（各数の接続数に基づく量）**が重要な役割を果たします。
- グラフを再描画し、素数グループをクラスター化することで、次数のみからの計算の限界を超えました。
最終的な結果: 残留値 (R(G_n)) は以下のような漸近式に従うことが証明されました。

[ R(G_n) = c_0 \cdot \frac{n}{\log n} + (c_0 - A) \cdot \frac{n}{\log^2 n} + O\left(\frac{n}{\log^3 n}\right) ]

ここで定数は以下の通りです： [ c_0 = \zeta(2) - 1 \approx 0.644934... ] [ A = \sum_{k=2}^{\infty} \frac{\log k}{k^2(k-1)} \approx 0.3201986326... ]
意義:
- 極限において (\zeta(2) - 1) に収束することが確認されました。
- より正確な比は以下のようになります。 [ \frac{\pi(n)}{R(G_n)} \to 1.550546... ]

まだ残る謎と今後の展望

この証明によって、さらに深い問いが浮上しました。

未解決の硬制約:
- すべての (n) で、残留値は丸上げされた Caro-Wei 和から最大で 2 の整数範囲内に収まると推測されています。 [ \lceil CW(G_n) \rceil \leq R(G_n) \leq \lceil CW(G_n) \rceil + 2 ]
- この「最大 2」の絶対境界を証明できれば、理論的な誤差項に対するより厳密な理解が得られます。
システムの本質:
- Graffiti: 関係性を提案し、数学者の判断を待つ（静的）。
- Theo-Conjecture: 失敗した仮説や反例も含めた全データを記録し、自律的にループを進化させる（動的）。
- これは「機械が数学者を置き換える」ものではなく、数学的記憶を実行可能にし、巨大言語モデルを専門的な発見システムとしてレバレッジ活用するものです。

注記：本記事で述べられている定理と証明は現在準備中の研究手稿に含まれており、ピアレビューは完了していません。歴史的な主張の一部は私人間の通信に基づいています。

セオの予想が35年間の数学問題を解き明かし、誰も予測していなかった項を見出す