摘要：麦田圈，就像英格兰的麦田圈一样，有时会被误解为外来信息。他们对宇宙间泰希米勒理论的复杂性一无所知——这个数学证明如此复杂，以至于被称为“外星人的语言”。 （图片来源：Abstract Aerial Art via Getty Images）

泛域间 Teichmüller 理论是一个臭名昭著的证明，十多年来一直困扰着数学家，现在已经部分解决了。

麦田圈，就像英格兰的麦田圈一样，有时会被误解为外来信息。他们对宇宙间泰希米勒理论的复杂性一无所知——这个数学证明如此复杂，以至于被称为“外星人的语言”。 （图片来源：Abstract Aerial Art via Getty Images）

想象一下这个场景：科学家截获了来自外星种族的传输。很明显，这个信息来自一个聪明的存在，但关于它的一切都——句法、语法、上下文——对我们地球人来说是无法理解的。

这就是大多数数学家对宇宙间泰希穆勒理论 （IUT） 的看法，这是数学家望月真一十多年前提出的一个证明，试图解决著名的 ABC 猜想，这是数论中最著名的未解决的问题之一，它涉及素数之和，对许多其他猜想有影响。

IUT 与其他数学分支几乎没有相似之处，以至于它被昵称为“外星人的语言”。世界上只有大约 20 人能够在任何程度上理解它。但现在，一位名叫周忠鹏的 28 岁工程师在揭开 IUT 的神秘面纱方面取得了重大进展。

望月在 2000 年代初开发了 IUT，并于 2012 年通过四次预印本系列发表了它。该证明长达 2,000 多页，望月声称它为 ABC 猜想提供了解决方案。如果得到证实，该猜想可能有助于澄清其他主要的数学谜团，例如费马最后定理——一个有近 400 年历史的定理，它指出没有三个正整数 a、b 和 c 满足方程 a的n次方+ b的n次方= c的n次方对于任何大于 2 的 n 整数值。该定理由数学家安德鲁·威尔斯（Andrew Wiles）于1995年首次解决，但周的新框架可以用更少的步骤证明该定理。

然而，IUT 采用的概念和符号在数学界是完全独一无二的。换句话说，望月基本上创造了自己的数学语言——它让许多世界领先的数学家感到困惑。一些勇敢的人，包括数学家伊万·费森科（Ivan Fesenko），已经删减了其中的一部分，并为望月的说法提供了一些可信度。然而，尽管 IUT 已经存在了十多年，但由于它很难理解，因此尚未得到同行评审的完全验证。

进入 周.他有数学背景，在攻读博士学位时曾研究图论，但最终在完成学位之前就离开了，成为一名软件工程师。然而，这并没有减少他对纯数学的兴趣。他开始痴迷于 IUT，尽管工作周很忙，但他还是在业余时间研究理论。在五个月的时间里，他在一篇论文中详细介绍了几项改进和新的应用，并将其发送给了望月和 Fesenko。如果正确的话，这项工作证明了广义费马最后定理的大多数情况，使用了 IUT 的原理。

数学家们印象深刻;Fesenko 甚至提出让他飞到中国的西湖大学，他在那里工作。周接受了这个提议，目前正在Fesenko的指导下进一步证明。这项工作有无数的潜在应用，从密码学和量子计算到更好地理解时空——但前提是其他研究人员可以理解它们。

而 IUT 的某些部分仍然难以捉摸。如果有的话，可能需要几年时间才能有人完全破解它。“这些论文是基于前辈的研究;我的工作只做了一些微小的创新和探索，我希望能为相关领域做出一点贡献，“周在社交媒体帖子中说。

来源：每日科学知识