猜想，数学界悬而未决的重要猜想，它的证明过程经过8年的同行评审，终于要在期刊上发表了。
论文作者是日本的天才数学家望月新一，他33岁起就在京都大学担任数学教授。
这一次望月新一的证明，全篇超过600页，2012年就已发表，但足足经过了8年的同行评审才通过，期间开过多次研讨会——但依然有很多数学家无法理解。
据说，这篇论文全球只有十几位数学家深入研究了证明过程。
许多数学家根本无法指出证明过程是对是错，因为根本看不懂。
4月3日，日本京都大学召开了新闻发布会，宣布望月新一证明了它。包括Ntre等在内的权威科学传媒组织，也这一重要进展进行了报道。
望月新一没有出席昨天的发布会，他的另外两位同事说，当他知道自己的论文被接收，终于松了一口气。多年来他从未在公众场合露面。
但也不是没有争议，因为当初接收论文的期刊——日本的PRIMS，主编正是望月新一本人。
如果他的证明是正确的，那么将彻底改变数论。
同时也正因为如此，才有了学界长达8年的争论。
什么是猜想？
猜想，最初由法国数学家约瑟夫·奥斯特莱和大卫·马瑟，在1985年提出。
并且一经提出，猜想就成为数论领域的重要猜想之一。
只是和哥德巴赫猜想不同的是，向大众说明猜想本身，就是一个复杂的过程。
大概如下：
有三个互质正整数、b，=+b。所谓互质，即它们的最大公约数是1。
因此8+9=17、5+16=21是符合条件的一组数字，但是6+9=15不是。
接着，我们把的质因数都提取出来，比如5、16、21的质因数是5、2、3、7，这些质因数相乘的结果为210，这个数比原来的三个数大得多。
又比如5、27、32，它们的质因数是5、3、2，相乘结果为30，就比32小。
但第二种情形极为罕见。如果和b都是小于100的数，我们能找到3044个符合条件的组合，其中只有7组满足第二种情形。
而猜想要证明的，就是符合第二种情形的组合，只有有限个。
数学家们把的质因数乘积记作rd()。用严谨的数学语言来表述就是：对于任何ε>0，只存在有限个互质正整数的三元组(，b)=+b，使得>rd()1+ε
在人类短期内没法证明的猜想的情况下，科学家们想到了一个办法，就是用计算机暴力解决，从小到大依次寻找符合猜想第二种情形的组合。
由此衍生出了一个分布式计算项目ABC@He，就是通过全球各地的电脑穷举计算符合猜想条件的三元数组。到2014年5月，人们已经验证了2380万个组合。
虽然有无限个例子或反例不能解决猜想，但是数学家希望借着该计划发现的三元数组的分布模式。
↑返回顶部↑