臨界にだけ、問題は残る — 証明できるのはいつも「余裕が無い」側だけになる
長く解けない数学の問題を並べると、どれも厳密な臨界にあります。それは偶然ではなく選択の結果で、証明できるのはいつも「余裕が無い」側——目撃できる側、正の割合の側——だけになります。この記事は、その理由と、そこから出てくる実際に使える一つの区別についてのものです。
この記事は横断です。個々の問題が何で、この端末で何を測ったかは、それぞれの記事の側にあります——コラッツ／リーマン／エルデシュ #169／ロヴァース／BSD。ここで扱うのは、それらを一つの物差しで並べたときに見えるものだけです。
Lean機械検査済み（Lean 4 + mathlib、標準三公理以下、sorryAx・native_decide なし。定理名を添える）
紙証明はあるが機械検査は未了
計算この端末で確かめた範囲。外に出す主張にはしない
既知言い換え・既知の定理・外の文献の確認
観察 — 五つの問題すべてに、厳密な臨界が現れる
| 問題 | 現れる臨界 | 厳密か |
|---|---|---|
| コラッツ予想 | 写像 (qn+r)/pv の族で、比の期待値が 1 になる整数の乗数は q = 3 ただ一つ | 厳密（LeanShiori.qcrit_eq_three） |
| リーマン予想 | Λ = 0 ちょうど（Λ ≥ 0 は定理、Λ ≤ 0 が予想） | 厳密（Rodgers–Tao 2018） |
| エルデシュ等差数列予想 | 対数の指数 θ = 1 が発散と収束の境目。k=4 はそのすぐ下 | 厳密（二進和の収束条件） |
| ロヴァース予想 | 既知の例外 4 個（K₂ を数えれば 5 個）がすべて「閉路は無いが路はある」 | 事実（4 個を構成して確認） |
| Szekeres 集合 | M ≤ 52 でちょうど最適、M = 53 で負ける | 厳密（整数計画） |
五つとも臨界。しかも「だいたい」ではなく「ちょうど」。
別々の分野の、別々の問題です。これは偶然でしょうか。
なぜか — 余裕のある問題は、余裕を使う手で既に落ちている
数学の証明の多くは「余裕をもって成り立つ」形をしています。示したい量より少し大きいものを評価して、まだ足りている、と結論する。その手が使える問題は、その手で解かれます。
残るのは、その手が原理的に使えない問題——つまり臨界の問題だけ。
だから未解決問題を集めて眺めると、臨界ばかりが並ぶ。選択の結果です。
いちばん鋭い証拠は、同じ問題の中にある
別々の問題を比べると、難しさの違いなのか臨界の違いなのか分かりません。同じ問題の中で、余裕のある側だけが落ちている——その形が四つ揃います。
| 問題 | 余裕のある側 | 余裕の無い側 |
|---|
とくにエルデシュ等差数列予想が明瞭です。k = 3 は上界の指数が 1 を超えた（余裕ができた）ので解決し、k = 4 は 1 を超えていないので未解決。そして k=4 について、その上界を出した本人たちが論文の中で「これが我々の手法の限界である」と書いています。
手法の限界と、臨界の位置が、同じところにある。
偶然ではありません。手法が届く範囲は「余裕がある範囲」で、臨界はその縁だからです。
証明が片側に偏る理由 — 「余裕が無い」は目撃できる
臨界の問題では、証明できるのはいつも「余裕が無い」側です。これは難しさの差ではなく、証拠の形の差から来ます。
| 証明された定理 | 何を目撃したか |
|---|---|
| Λ ≥ 0（Rodgers–Tao 2018） | 零点の不規則さ。もし Λ < 0 なら零点は実際より規則正しくなければならない——そうではないことを示した |
| q = 3 が唯一の臨界 | p ≥ 3 で p²−p−1 > p という一行 |
| ロヴァース予想の例外は 4 個 | 4 個のグラフを構成した |
| Szekeres は M=53 で最適でない | それより良い 17 元の集合を一つ見つけた |
| k=4 の壁 | 手法が届かないことを、手法の側から言った |
一方、リーマン予想（Λ ≤ 0）も、コラッツの収束も、ロヴァースの予想も、「どこにも例外が無い」を言わねばなりません。指させるものがない。
この非対称は、Λ でいちばん明瞭に出る
Λ が何なのか、なぜこの二つの向きが正反対の情報を要求するのかは、リーマン予想の側に書いてあります。ここでは形だけを取り出します。
| 示したいこと | 要る情報 | 手元にあるか |
|---|---|---|
| Λ ≥ 0（余裕が無い） | 零点の不規則さの下界 | ある（無条件に） |
| Λ ≤ 0（＝リーマン予想） | 零点の不規則さの上界 | 無い。そしてそれはリーマン予想と同程度に難しい |
二つの向きは、正反対の種類の情報を要求しています。そして片方しか持っていない。
「なぜ片方だけ証明できたのか」の答えが、ここにあります。
第三の列 — 正の割合は平均で撃て、零割合の欠陥は写らない
既知 「目撃できる」の中身を、もう一段だけ言い換えます。証明されている側は正の割合の現象についての主張で、証明されていない側は零割合の欠陥の不在についての主張です。
| 問題 | 正の割合の側（証明された） | 零割合の側（未解決） |
|---|---|---|
| リーマン予想 | 零点は局所平均で等間隔ではない ⟹ Λ ≥ 0（Rodgers–Tao）。正の割合の零点についての主張で、平均を取る道具が届く | 臨界線の外に零点が一つも無い ⟺ Λ ≤ 0。線の外の零点が仮にあっても密度 0 でありうる |
| コラッツ予想 | ほとんどすべての軌道がほぼ有界な値を取る（Tao 2019）。正の割合の軌道についての主張 | 巡回が無い・発散する軌道が無い。軌道一本の主張 |
密度 0 のものは、どの相関にも、どのモーメントにも、どの漸近公式にも写りません。すべての尺度で零点が完全に規則的だと分かっても、リーマン予想は出ません。
平均は、混んでいるものは見えますが、まばらなものは見えません。片側だけ証明できたのは、片側だけが混んでいる側の主張だからです。両方を証明したのも、証明していないのも、同じ道具です。
論理の形はこの向きを説明しません。Λ ≤ 0 ⟺ ∀ρ: Re ρ = 1/2 は Π₁、Λ ≥ 0 ⟺ ∀t<0 ∃ 非実零点 は Π₂ で、階層の上にあるほうが証明されています。量化子の数ではなく、証拠の密度——正の割合か、零割合か——が向きを決めています。
だから「どこまで分かったか」は、決着への距離ではない
目撃可能な側だけが埋まっていくので、部分的な結果がいくら積み上がっても、決着には近づきません。
| 問題 | 動いている量 | 履歴 | なぜ足りないか |
|---|
「零点の 67.250% が臨界線上にある」は定理です。「リーマン予想が 67.250% 証明された」ではありません。
前者は別の命題についての定理で、67% 証明された状態というものは存在しません。
同じことが、検証範囲にも、巡回の長さの下界にも、調べたグラフの数にも当てはまります。どれも「反例がまだ見つかっていない範囲」を広げているだけで、反例が無いことの証明にはならない。
反例 — 臨界でも越えられた四つ
ここまでの主張は、このままでは偽です。臨界でありながら解かれた問題があります。
| 問題 | 臨界だったか | 誰が | 何で越えたか |
|---|
とくに感度予想が効きます。√n という値はちょうど達成される（臨界）にもかかわらず、2 ページで解かれました。「臨界だから解けない」は偽です。
訂正 — 臨界が塞ぐのは「余裕を使う手」だけ
臨界であることは、解けないことを意味しません。
臨界が塞ぐのは「余裕を作って不等式で押す」という一種類の手だけです。
その道を歩いてきた手法は全部そこで止まる。止まらないのは、別の構造を持ち込む手だけ。
そして、越えた四つを並べると同じ形をしています。
| 越えたもの | 持ち込まれた言語 | もとの問題の言語 |
|---|---|---|
| 感度予想 | 行列の固有値（符号つき超立方体） | 組合せ論・論理関数 |
| フェルマーの最終定理 | モジュラリティ（保型形式と楕円曲線） | ディオファントス方程式 |
| ポアンカレ予想 | リッチ流と手術（幾何解析） | 位相幾何 |
| 素数定理 | 複素解析（複素平面上の零点の位置） | 数論 |
四つとも、問題の外の言語を持ち込んでいます。
そしてフェルマーの最終定理では、150 年ぶんの部分結果が一つも使われませんでした。 積み上げた側からは越えられず、外から来たものが越えた。
越えたのは量ではなく、形です。
使える形 — 押し下げた先が証明になる量を、最初に特定する
ここまでを一つの実際的な区別にまとめます。
臨界の問題に取り組むとき、最初にすべきことは 「押し下げた先が、そのまま証明になる量」を特定することです。
それが無いなら、どんな進捗も決着には向かっていません。
ある場合 — 動かせば近づく
| 問題 | 量 | 目標 | いま |
|---|
Λ は 0.5 から 0.22、そして 0.2 へ動きました。0 にすれば、それが証明そのものです。下からは Rodgers–Tao の Λ ≥ 0 で閉じているので、残っているのは上界を 0 へ押し下げることだけになります（査読を経ていない 2026 年の候補は 0.172 まで来ています——論文のログだけで、どこまで届くか）。
双子素数の間隔も同じ構造です。2013 年までは有限であることすら分かっていませんでした。それが 7×10⁷ になり、246 になった。2 にすれば証明です。
無い場合 — 動かしても近づかない
| 量 | 押し切ると何になるか |
|---|---|
| Λ の上界を 0 に | リーマン予想の証明そのもの |
| 双子素数の間隔を 2 に | 双子素数予想の証明そのもの |
| 対数の指数 θ を 1 より上に | エルデシュ等差数列予想の証明そのもの |
| 零点の割合 κ を 100% に | 別の命題。零点が全部線上にあることと、割合が 1 であることは違う |
| コラッツの検証範囲を伸ばす | 別の命題。反例が無いことの証明にはならない |
| 調べたグラフの数を増やす | 別の命題。反例探しであって、無いことの証明ではない |
同じ「進捗」の顔をして、まったく違うものが二つあります。
一つは的に向かって進んでいる。もう一つは的の横を、同じ速さで走っている。
どちらなのかを、最初に決めておく。
この主張が言えている範囲
| 内容 | |
|---|---|
| 言えている | ここに挙げた問題では、同じ問題の中で「余裕のある側」だけが解かれている（四例） |
| 言えている | 証明された結果はどれも「目撃できる」形をしている（五例）。正の割合の側である（二例） |
| 言えている | 「押し下げた先が証明になる量」があるかどうかで、問題が二つに割れる |
| 言えていない | これが法則であること。選んだ問題が偏っている可能性を排除できていない |
| 言えていない | 「臨界」の定義。問題ごとに違う量を臨界と呼んでいる（乗数・定数・指数・例外の数）。統一した定義は無い |
| 言えていない | 「密度 0 の欠陥はどの平均にも写らない」は原理として述べたもので、定理ではない。定理にするなら「零点配置の汎関数で平均型のものは有限個の零点の移動に不変」の形が要る |
| 言えていない | 越えた四例が「外の言語を持ち込んだ」という記述は後知恵である。当時それが外の言語だと分かっていたわけではない |
新しさについて
この記事の部品は、どれも既知です。
| 部品 | 状態 |
|---|---|
| 「難しい問題が残るのは、易しいものが解かれたから」 | ただの真理値。新しくない |
| 「Λ ≥ 0 は不規則さの下界から出る」 | Rodgers–Tao の議論そのもの |
| 「Λ は押し下げれば証明になる量、κ はそうでない」 | 既知の区別 |
| 「密度 0 の集合は解析的手法に写らない」 | 解析的手法の限界の標準的な言い換え |
| 「ふるい法には偶奇性の壁がある」 | 古典的 |
新しいかもしれないのは、並べ方だけです。複数の問題を同じ物差しで並べ、「押し下げた先が証明になる量」があるかどうかで分類したものは、探した範囲では見つかりませんでした。ただしこれは「見つけられなかった」であって、「無い」ではありません。
出典と再現
| 数字 | 種別 | 出典 |
|---|---|---|
| Λ ≥ 0 | 定理 | Rodgers–Tao (2018), arXiv:1801.05914 |
| Λ ≤ 0.2 ／ 0.22 ／ 1/2 | 定理 | Platt–Trudgian (2021) ／ Polymath 15 (2019) ／ de Bruijn (1950) |
| 素数対の間隔 ≤ 7×10⁷ ／ ≤ 246 | 定理 | Zhang (2013) ／ Maynard・Polymath 8b (2014) |
| k=3 の解決（θ = 1+c） | 定理 | Bloom–Sisask (2020) |
| k=4 の上界（θ = c < 1） | 定理 | Green–Tao (2017) |
| ほとんどすべてのコラッツ軌道 | 定理 | Tao (2019), arXiv:1909.03562 |
| 弱いゴールドバッハ予想 | 定理 | Helfgott (2013) |
| 階数 ≤ 1 での BSD | 定理 | Gross–Zagier (1986), Kolyvagin (1988) |
| 感度予想 | 定理 | Huang (2019) |
| q = 3 が唯一の臨界 | 機械検査 | Shiori.qcrit_eq_three・qcrit_not_int_of_three_le（Lean 検証一式） |
| Szekeres が M=53 で負ける | この端末で計算 | 整数計画で厳密最大化 |
| ロヴァースの例外 4 個の構成 | この端末で計算 | 頂点推移性とハミルトン性を機械で確認 |
※ エルデシュ #169 の k=4 における指数 c の具体値は確認していません。「1 より小さい」という定性的な事実のみを使っています。