ABC猜想，这个听起来像密码名称的命题，是数论中最深刻、影响最广泛的未解问题之一。它的陈述出奇地简单，但它的推论却像多米诺骨牌，一旦成立，将推倒数论中无数其他的猜想。

    想象你有三个正整数：a、b、c。它们满足一个简单的关系：a加b等于c。比如，a是一，b是八，c是九。现在，把这三个数分解为质因数的乘积。一没有质因数；八是二乘二乘二；九是三乘三。我们把所有出现的质因数收集起来，在这个例子中，就是二和三。然后，把这些质因数相乘：二乘三等于六。这个乘积，被称为这三个数的“根”或“传导子”。

    ABC猜想说的是：对于任何给定的正数ε，无论它多么小，都存在一个常数，使得在所有满足a加b等于c且a、b、c互质的三元组中，c的大小不超过常数乘以根的（一加ε）次方。

    用更通俗的语言：当a、b、c很大时，c不可能比它的质因数乘积大太多。如果c非常大，那么它的质因数——那些构建它的基本砖石——必须也非常大，或者数量非常多。你不能用很小的质因数，通过很少的乘法，就构建出一个巨大的数。

    这个猜想的威力在于它的推论。如果ABC猜想成立，那么许多其他著名的数论猜想将自动成立：费马大定理的一种简化证明、关于素数分布的多个强形式、关于椭圆曲线的重要命题。它像一把万能钥匙，能够打开数论中许多看似独立的房间。

    望月新一宣称，他通过宇宙际泰希米勒理论，证明了ABC猜想。他的证明策略可以概括为：通过在不同霍奇剧院之间的宇宙际变换，比较对数体积的变化，建立一系列精细的不等式。这些不等式最终收紧到足以推出ABC猜想所要求的形式。

    具体来说，望月考虑了一个与椭圆曲线相关的数论对象。通过远阿贝尔几何，他把这个对象的基本群结构，与它的算术性质联系起来。然后，他利用霍奇剧院的转换，在“乘法宇宙”和“加法宇宙”之间建立对应。在这种对应中，对数体积的守恒，转化为关于a、b、c大小的约束。最终，这些约束 precisely 对应于ABC猜想的不等式。

    这个证明——如果它被接受为正确的话——将是二十一世纪数学最伟大的成就之一。它不仅解决了一个核心问题，而且引入了一套全新的方法论。望月没有使用传统的模形式或伽罗瓦表示技术，他完全依靠自己发明的IUT框架。这就像一位建筑师，没有使用任何现有的砖石和梁架，而是用全新的材料，建造了一座前所未有的桥梁。

    然而，桥梁建成后，还需要有人能够走过它，验证它是否坚固。这正是望月面临的困境。

支持单位：