著者 / Author: 林 邦行 / Hayashi, Kuniyuki 日付 / Date: 2026-03-29
ABC予想は1985年にMasserとOesterléが提唱した数論の未解決問題です。2021年に望月新一氏がIUT理論による証明を発表しましたが、数学コミュニティの合意は得られていません。
私は別のアプローチでABC予想に取り組みました。証明しようとしたのではなく、なぜ証明できないのかを調べたのです。その結果、驚くべき構造的障壁を発見しました。
論文へのリンクは文末に記載していますが、まずはわかりやすく解説したいと思います。
ABC予想の核心は、実は素数の性質に帰着できます。具体的には「super-Wieferich素数」と呼ばれる特殊な素数の制御に帰着します。
固定された整数 $\ell$（例えば $\ell = 2$）に対し、素数 $p$ が super-Wieferich であるとは、$\ell^{p-1} - 1$ が $p^3$ で割り切れることです。ABC予想が正しいためには、このような素数が有限個しかないことが必要です。
6つの異なる証明アプローチを系統的に試行した結果、全てのアプローチが同じ5つの構造的障壁に帰着することを発見しました:
独立性障壁 [証明済み]: 素数 $p$ での情報から、別の素数 $r$ での状況は原理的に推測できない。各素数は「孤立した島」です。
曲率ゼロ [外部文献で証明済み]: Buiumの算術微分幾何によれば、素数間の「接続」は平坦（曲率ゼロ）。これは素数間に幾何学的な剛性がないことを意味します。
K理論の空虚性 [外部文献で証明済み]: 有限体上のMilnor K₂群は自明。代数的な高次制約が存在しません。
全観測量の消滅 [証明済み]: super-Wieferich条件が満たされると、全ての自然な算術的観測量がゼロになります。条件の成否を「観測」する手段がありません。
有限局所性 [証明済み]: 条件は $\ell \bmod p^3$ のみで完全に決まり、無限への収束とは無関係です。
これらの障壁を単なる「困難のリスト」で終わらせず、形式的な不可能性定理として定式化しました。
方法クラス C を定義しました: 有限個の素数を順に観測し、有限段階で判定を下す手法の全体です。篩法、Baker上界、Buium算術微分、cyclotomic付値など、既知の主要手法は全てこのクラスに含まれます。
主定理 R [証明済み]: 方法クラス C に属するいかなる手法も、「super-Wieferich素数は有限個」を証明できない。
これは「難しい」ではなく「不可能」です。有限回の局所観測で判定を下す手法では、原理的に到達できないのです。
理論だけでなく、数値的な結果も得ました:
つまり、ヒューリスティックにはABC予想は正しい方向を向いています。しかし、それを証明する手段が現在の数学にはないのです。
この研究は、ABC予想の「証明」でも「反証」でもありません。第三の結論です:
| 方向 | 状況 |
|---|---|
| ABC真の証明 | 方法クラスC内では不可能 [証明済み] |
| ABC偽の証明 | 現在の手法では未達成 |
| 構造的徴候 | 5つの障壁により、現在の算術的手法では到達不能 |
これはABC予想がZFC（標準的な数学の公理系）から独立であることの証明ではありません。しかし、どの方向から攻めても同じ壁にぶつかるという強い構造的徴候です。
方法クラスCを超える手法が必要です。候補としては:
ABC予想の解決は、現在の算術的道具箱の根本的な拡張を要求しているのかもしれません。
The ABC conjecture, proposed by Masser and Oesterlé in 1985, remains one of the central open problems in number theory. While Shinichi Mochizuki published a claimed proof via IUT theory in 2021, consensus has not been reached in the mathematical community.
I approached the ABC conjecture from a different angle: instead of trying to prove it, I investigated why it cannot be proved. The result was the discovery of remarkable structural barriers.
The core of the ABC conjecture reduces to controlling "super-Wieferich primes": for a fixed integer $\ell$ (say $\ell = 2$), a prime $p$ is super-Wieferich if $p^3$ divides $\ell^{p-1} - 1$. For ABC to hold, such primes must be finite in number.
After systematically attempting six different proof approaches, I found that all of them reduce to the same five structural barriers:
Independence barrier [Proved]: Information at prime $p$ tells you nothing about prime $r$. Each prime is an "isolated island."
Zero curvature [Externally proved]: Buium's arithmetic differential geometry shows the "connection" between primes is flat. No geometric rigidity between primes.
K-theory vacuity [Externally proved]: Milnor $K_2$ over finite fields is trivial. No algebraic higher-order constraints exist.
Total vanishing of observables [Proved]: When the super-Wieferich condition holds, all natural arithmetic observables become zero. There is no way to "observe" whether the condition holds.
Finite locality [Proved]: The condition is completely determined by $\ell \bmod p^3$ alone, independent of any limit as $p \to \infty$.
I formalized these barriers as a rigorous impossibility theorem.
Method class C is defined as the collection of all methods that observe finitely many primes in sequence and reach a decision in finite steps. Sieves, Baker bounds, Buium arithmetic differentials, cyclotomic valuations — all known major techniques fall within this class.
Main Theorem R [Proved]: No method in class C can prove that the number of super-Wieferich primes is finite.
This is not "difficult" — it is impossible. Methods based on finite local observations cannot, in principle, reach this conclusion.
Beyond theory, we obtained concrete numerical results:
Heuristically, the ABC conjecture points in the correct direction. But the mathematical tools to prove it do not currently exist.
This research is neither a "proof" nor a "disproof" of ABC. It is a third conclusion:
| Direction | Status |
|---|---|
| Proving ABC true | Impossible within method class C [Proved] |
| Proving ABC false | Not achieved with current methods |
| Structural symptom | Five barriers make ABC inaccessible to current arithmetic methods |
This is not a proof that ABC is independent of ZFC. But it is a strong structural symptom: every direction of attack hits the same wall.
Methods that transcend class C are needed. Candidates include:
The resolution of the ABC conjecture may require a fundamental expansion of our current arithmetic toolkit.
論文 / Paper: DOI 10.5281/zenodo.19311094 ライセンス / License: CC-BY-4.0
