[数学]数学天才望月新一证明abc猜想，只有十几个数学家能懂 |数论|日本|京都

晓查发自凹非寺
量子位报道 | 公众号 QbitAI
abc猜想，数学界悬而未决的重要猜想，它的证明过程经过8年的同行评审，终于要在期刊上发表了。
论文作者是日本的天才数学家望月新一，他33岁起就在京都大学担任数学教授。

本文插图

这一次望月新一的证明，全篇超过600页， 2012年就已发表，但足足经过了8年的同行评审才通过，期间开过多次研讨会——但依然有很多数学家无法理解。
据说，这篇论文全球只有十几位数学家深入研究了证明过程。
许多数学家根本无法指出证明过程是对是错，因为根本看不懂。

本文插图

4月3日，日本京都大学召开了新闻发布会，宣布望月新一证明了它。包括Nature等在内的权威科学传媒组织，也这一重要进展进行了报道。

本文插图

望月新一没有出席昨天的发布会，他的另外两位同事说，当他知道自己的论文被接收，终于松了一口气。多年来他从未在公众场合露面。
但也不是没有争议，因为当初接收论文的期刊——日本的PRIMS ，主编正是望月新一本人。
如果他的证明是正确的，那么将彻底改变数论。
同时也正因为如此，才有了学界长达8年的争论。
什么是abc猜想？
abc猜想，最初由法国数学家约瑟夫·奥斯特莱和大卫·马瑟，在1985年提出。
并且一经提出， abc猜想就成为数论领域的重要猜想之一。
只是和哥德巴赫猜想不同的是，向大众说明abc猜想本身，就是一个复杂的过程。
大概如下：
有三个互质正整数a、b、c ，且c=a+b 。所谓互质，即它们的最大公约数是1 。
因此8 + 9 = 17、5 + 16 = 21是符合条件的一组数字，但是6 + 9 = 15不是。
接着，我们把abc的质因数都提取出来，比如5、16、21的质因数是5、2、3、7 ，这些质因数相乘的结果为210 ，这个数比原来的三个数大得多。
又比如5、27、32 ，它们的质因数是5、3、2 ，相乘结果为30 ，就比32小。
但第二种情形极为罕见。如果a和b都是小于100的数，我们能找到3044个符合条件的abc组合，其中只有7组满足第二种情形。
而abc猜想要证明的，就是符合第二种情形的abc组合，只有有限个。
数学家们把abc的质因数乘积记作rad(abc) 。用严谨的数学语言来表述就是：
对于任何ε>0 ，只存在有限个互质正整数的三元组(a, b, c) ， c = a + b ，使得：
c > rad(abc)1+ε
费马大定理迎刃而解
在人类短期内没法证明的abc猜想的情况下，科学家们想到了一个办法，就是用计算机暴力解决，从小到大依次寻找符合abc猜想第二种情形的组合。
由此衍生出了一个分布式计算项目ABC@Home ，就是通过全球各地的电脑穷举计算符合abc猜想条件的三元数组。到2014年5月，人们已经验证了2380万个组合。

本文插图

虽然有无限个例子或反例不能解决abc猜想，但是数学家希望借着该计划发现的三元数组的分布模式。
之所以花费大量计算资源去验证，是因为abc猜想在数学界有着重要意义。
和黎曼猜想一样，很多数学领域后续的一些假设都依赖于前者。如果前者得到证明，后者就能轻易得出。
abc猜想的形式是a+b=c ，著名的费马大定理形式是xn+yn=zn ，二者非常相似，实际上二者也是强关联。

[数学]数学天才望月新一证明abc猜想，只有十几个数学家能懂

推荐阅读

南京雨花茶是什么茶？

梅花自健康|不是山药，平时可劲吃，健脾胃，排湿气，补脾王被发现

什么鱼可以做生鱼片(日本生鱼片种类)

西方无神论者的婚礼怎样进行

黑暗之魂|PS5《黑暗之魂》数字豪华版特典公开，11月重回帕雷塔尼亚

『西安』成渝、南京、西安、福州被点名？你可能想简单了

为什么长江叫“江”，黄河叫“河”？江和河究竟有什么区别？

娱乐小羊宝|妹子，这回你不能饶了他，否则下次他还会搞笑的，搞笑GIF:

手机中毒者联想现在无手机可卖，怪不得这个618消失了呢？

基层最高检：基本实现行政非诉执行违法情形监督全覆盖

美国|轮到中方行动了！蓬佩奥没料到，对华疯狂出手后，美反遭三重打击

2021年八月出生的鼠宝宝取名-2021年八月出生宝宝取名禁忌

说自己是钮祜禄是什么梗？钮祜禄是什么梗钮祜禄梗的意思？

旅游|长白山突然发生山体滑坡：游客飞奔避险逃命

明星八卦|演禁片成名，艳压群芳拿影后，这个「双面」尤物，才是真正的女神

问董秘|贵公司是否有措施...，投资者提问：贵公司近期是否有增持或扩股计划？在证监处罚后

『新发现杂志』大数据时代可怕的能耗

无人机创客教育进入课堂，“创客火”编程无人机助推落地

「中新网」法国东南部遭暴雨侵袭引发洪灾已致6人遇难

十月一烧纸能提前吗七月十五可以提前几天烧纸