ABC 猜想真的终于被验证了吗？
这或将是一部制作历时五年的数学巨著。在 2012 年时，日本京都大学的望月伸一（Shinichi Mochizuki）提出了对一个长期存在于数学中的猜想——“ABC 猜想”的证明。但当时并没有多少人能读懂他在干什么。
目前，该证明很快将被一份数学期刊接受并发表，按理来说，“ABC 猜想”问题应该就此画上了句号，但事实并非如此。因为这份期刊不仅是作者自己的大学（日本京都大学）出版的，而且还是作者自己（望月伸一）当主编，这其中存在着明显的利益冲突。
ABC 猜想最初于 20 世纪 80 年代被提出，它基于简单方程 a + b = c，涉及数字的基本性质。数学家们长久以来一直认为该猜想是正确的，但却从没有人能够证明这一点。
为了证明该猜想，望月开发了一种全新的数学形式，称为宇宙间 Teichmüller 理论（IUT，inter-universal Teichmüller theory）。他的证明过程长达 500 页，读过的人无一不感到困惑。
为了理解其中的数学，数学家们专门举办了一个研讨会，并编写了一份简短的论文，（长度仅为 400 页）。虽然其中有些过程已被转换为 IUT，但仍有很多人对此证明并不信服。
哥伦比亚大学的 Peter Woit 在一篇博客文章中写道：“少数接近望月的人声称理解望月的证明过程，但他们却并不能向别人解释清楚。”
到底证明了没？
虽然目前还未有杂志明确表示将接受并发表望月的证明过程，但据日本“朝日新闻”报道，该证明或将在明年 1 月份发表。
新西兰坎特伯雷大学的 Felipe Voloch 说：“一直有谣言说望月的论文经提交给一家日本的期刊。而我们目前担心的是，这家日本期刊是否能对该论文进行严谨的审查。”
虽然这本期刊是一本很好的着名数学期刊，但该期刊隶属于日本京都大学，主编是论文作者本人的事实表明这里无疑存在着问题。Voloch 说：“对我来说，望月的论文被一家期刊接受这件事并不意味着什么。重点在于这份论文的证明过程是否能让人信服。”
英国诺丁汉大学的 Ivan Fesenko 赞同 Voloch 的观点，认为“三重努力（triple efforts）”将用于确保在论文发表前受到严谨的审查。而该期刊也可以通过相关领域的顶尖日本数学家来解释。Fesenko 说：“如果证明过程确实有效，这将是数学界中少见的一个成就。甚至可以说是过去 50 年来数论发展中最大的进展之一。”
目前，该证明的有效性在数学界仍悬而未决。少数几个自称理解证明过程的数学家将继续支持该证明，而大多数数学家仍对该证明是否有效持怀疑态度。
Peter Woit 写道：“直到有数学家既能理解证明，又能向其他人解释清楚，或是有一个更简易的书面证明出现之前，我认为该证明不会被数学界所接受。”
- End-
编辑：Peter 校审：黄珊
参考：
https://www.newscientist.com/article/2156623-mathematician-set-to-publish-abc-proof-almost-no-one-understands/
返回搜狐，查看更多
责任编辑：
