ABC予想

ABC予想（エービーシーよそう、）は、1985年にジョゼフ・オステルレとデイヴィッド・マッサーにより提起された数論の予想である。オステルレ＝マッサー予想（）とも呼ばれる。
これは多項式に関するメーソン・ストーサーズの定理の整数における類似であり、互いに素でありかつ を満たすような3つの自然数（この予想に呼び方を合わせると）, , の和と積の関係について述べている。
ABC予想は、この予想から数々の興味深い結果が得られることから有名になった。数論における数多の有名な予想や定理がABC予想から直ちに導かれる。
は、ABC予想を「ディオファントス解析で最も重要な未解決問題」であるとしている。
定式化.
自然数 に対して、 の互いに異なる素因数の積を の根基 (radical) と呼び、 と書く。以下に例を挙げる。
自然数の組 で、, で、 と は互いに素であるものを abc-triple と呼ぶ。大抵の場合は が成り立つが、ABC予想が主張するのはこれが成り立たない例（例えば、, のとき であり、 である）の方である。ただし、 が成り立つ例も無限に存在するため、 を少しだけ大きくすることで例を有限個にできないかどうかを考える。すなわち、ABC予想は任意の に対して、次を満たすような自然数の組 は高々有限個しか存在しないであろうと述べている：
これと同値な他の定式化（Oesterlé–Masser の ABC予想）として次のものがある。すなわち、任意の に対してある が存在し、全ての abc-triple について次が成り立つという：
三つ目の定式化は「質」(quality) と呼ばれる概念を導入して表現する。abc-triple に対して、質 を次のように定義する：
このときABC予想は、任意の に対して、abc-triple であって を満たすものは高々有限個しか存在しないということを主張している。
現在、 を満たす abc-triple は後述の通り3組しか知られていない。 を 2 まで大きくすれば、そうした abc-triple は存在しないという予想もある。すなわち「全ての abc-triple に対して、を満たすであろう」という主張だが、こちらも肯定も否定もされていない。
証明の提案.
1985年の予想の提起から、数々の数学者によりABC予想の証明が提案されてきた。しかし、現在数学者の大勢の同意は依然として得られていない。
望月新一による提案.
京都大学数理解析研究所教授の望月新一は、自身の考案した宇宙際タイヒミュラー理論によるディオファントス的不等式(論文IUTT-IVの系2.3)の証明から、スピロ予想、ヴォイタ予想、ABC予想を証明したと主張している。
上記の証明に対し、ペーター・ショルツェとジェイコブ・スティックスが、論文IUTT-IIIの系3.12の証明の反例となるレポートにて「提案された〔望月のプレプリントの〕証明には深刻な問題があり、小さな修正で証明戦略を救うことはできず、証明になっていない」と指摘した（2018年5月公開、2018年9月一部修正）。望月は、反例において宇宙際タイヒミュラー理論にいくつかの簡略化がおこなわれており、それらの簡略化が悉く誤りであると主張するレポートを公表し反論した（2018年9月発表、2021年3月改訂）。
望月の証明論文は2020年2月に査読を通過し、2021年3月4日、雑誌『PRIMS』の特別号電子版に掲載された。
上記論文に対し、ショルツェは2021年7月31日にzbMATH（ヨーロッパ数学会）に掲載された書評にて「このシリーズの最初の3つのパートにおいて、読者は残念ながら実質的な数学的内容をほんの少ししか見出さないだろう。第2部と第3部では、肝心の系3.12に、数行以上の証明を見出さないだろう」と否定的にコメントした。一方、は2022年4月にMath Reviews誌（アメリカ数学会）に掲載された書評で、宇宙際タイヒミュラー理論の系3.12に関連する論文IUTT-IIIの定理3.11を肯定するコメントを行った。
2022年7月、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読論文が『Kodai Mathematical Journal』（東京工業大学）に掲載された（受理は2021年11月）。この論文は、楕円曲線の6等分点を用いて、ディオファントス的不等式中の定数の数値を明示した形（非明示的な「定数」が現れない）に修正したとしている。2012年10月の、ヴェッセリン・ディミトロフとアクシェイ・ヴェンカテシュによる指摘により、望月の論文で証明される命題は「弱いABC予想」となっていたが、今回の結果により「強いABC予想」および「フェルマーの最終定理」の別証明を得たとしている。
得られる結果の例.
ABC予想を真だと仮定すると、多数の系が得られる。その中には既に知られている結果もあれば、予想の提出後に予想とは独立に証明されたものもあり、部分的証明となるものもある。ABC予想がもし早期に証明されていたなら、得られる系という意味での影響はもっと大きかったが、ABC予想が成立した場合に解決される予想はまだ残っており、また数論の深い問題と数多くの結び付きがあるので、ABC予想は依然として「重要な問題」であり続けている。「有限個に限定される」ことが結論である命題（予想）の証明に役に立つ。
コンピューティング（演算）による成果.
2006年、オランダのライデン大学数学研究所は、さらなる abc-triple を発見しようと、Kennislink科学協会と共に分散コンピューティングシステム「ABC@homeプロジェクト」を立ち上げた。たとえ演算によって発見された例または反例が ABC予想を解決することができなくとも、このプロジェクトによって発見される組み合わせが、予想と整数論についての洞察に繋がることが期待されている。
 は上記で定義した abc-triple の質 である。このとき、 の上限によって、質 は以下のような分布を取る。
、ABC@homeは2310万個の3つ組を発見しており、当面の目標を 10 を超えない についての全ての abc-triple を見つけることとしている
2015年に、ABC@homeプロジェクトは合計2380万組の3つ組を見つけ、その直後にプロジェクトは終了した