·

评审8年终获发表,数学天才望月新一证明abc猜想,全球只有十几个数学家读懂但争议未消

发布时间:2024-11-05 12:02:14阅读量:17
普通文章
转载请注明来源
写作类别

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猜想为真,那么费马大定理也可以轻松证明。

当年费马一句“空白太小写不下证明”,让这一问题从1637年一直拖到1995年才得以解决。

而通过abc猜想来证明费马大定理的方法,真的能让空白处就能写下证明过程。

所以望月新一这一次,真的做到了吗?

证明过程极具争议

望月新一发表了4篇论文来证明这一猜想,他把自己的研究成果叫做“宇宙际Teichmuller理论”。

按照望月新一的说法,该理论是用于椭圆曲线数字场的Teichmuller理论的算术版本,里面包含了像霍奇剧院(Hodge theaters)这样奇怪的名字。

望月新一的理论并未得到学界广泛认同,600多页的证明被来自德国波恩大学的两位德高望重的数学家质疑。

2018年菲尔兹奖得主、马普所数学研究所所长Peter Scholze说:“我认为abc猜想仍未解决,任何人都有机会证明这一点。”

Scholze和他的同事Jakob Stix还曾发表一篇报告,指出在望月新一第三篇论文中“推论3.12”证明过程从根本上来说是有缺陷的。

而该推论对abc猜想的证明至关重要。

和其他部分引理的证明不同,3.12的证明尤其长,总共有9页。Scholze认为这9页证明达到了根本无法遵循逻辑的地步。

Scholze在2018年到京都大学进行了为期一周的访问,与望月新一探讨了这个问题,但双方谁也说服不了谁。

Scholze说:“我认为,除非望月新一进行一些非常实质性的修改,并更好地解释这一关键步骤,否则不应该将其视为证明。”

“我真的没有看到一个使我们更接近abc猜想证明的关键思想”,Scholze还补充道。

望月新一的论文也引起了陶哲轩的关注,在当年论文发表的第一时间,陶哲轩就在个人博客中谈到的自己看法,并给出了另一种启发式证明方法。

望月新一研究领域并不是陶哲轩的擅长,所以他之后一直回避对此评论。

这篇论文被期刊接收,并不是abc猜想的终点,也无法让数学家站到望月新一这一边,新的争论还会继续下去。

关于望月新一

最后,简单介绍一下这位日本天才数学家。

望月新一,1969年出生于日本东京都,5岁随父母前往纽约,16岁就进入普林斯顿大学,3年读完本科,23岁获得博士学位,33岁成为京都大学教授。

他现在是京都大学数理解析研究所教授。研究数论,包括算术几何,霍奇理论和远阿贝尔几何。

有意思的是,还有人曾猜测,望月新一就是比特币发明人“中本聪”。

不过这种猜测的疑点很多,因为比特币用到的密码学不是望月新一的研究方向,而且他作为一个纯粹的数学家,对现实世界的问题也不太关心。

最后的最后,如果你对望月新一这一abc猜想证明有其他看法,也欢迎告诉我们。

参考资料:

本文转自微信公众号量子位

评论区

暂无评论,来发布第一条评论吧!

弦圈热门内容

怀尔斯的费马大定理证明

费马大定理的证明可以说是算术几何的一个重要里程碑,当年怀尔斯虽然很小的时候就被该问题所吸引,从而选择做一个数学家。但作为一个这么多年都无人能破解的难题,怀尔斯也是兜兜转转,他也没一开始就打算攻克这个猜想。据说,是代数几何取得突破性进展之后,他才觉得是时候攻克费马大定理了。最后他成功证明了谷山-志村猜想,从而证明了费马大定理。可以说怀尔斯能证明费马大定理,是刚好生在一个合适的时代,并站在了巨人的肩膀上,从前人手中接过火炬。怀尔斯关于费马大定理的证明,就是这篇论文Modular elliptic curves and Fermat’s Last Theorem。该论文非常晦涩难懂,没多少人能看得懂,可以说能彻底看懂费马大定理证明的人,都是圈内大佬。论文中涉及的知识面很广,包括椭圆曲线、模形式、伽罗华表示论、代数数论、类域论、群概形等等,想要理解费马大定理就得先理解前面这些理论。不过虽然我们看不懂,但该证明还是非常具有收藏价值的,看不懂也能看,也能欣赏嘛。并且对于做算术几何的人来说,可以用这篇论文来指导自己的学习和研究。Peter Scholze当年不也一上来就看费尔马大定理的证明,虽然un ...

将反向传递看成函子:强化学习的一个复合视角

这篇文章是数学家与计算机科学家合作写的,将范畴论应用于人工智能的强化学习。本文表示,强化学习算法与强化学习算法的复合,还是一个强化学习算法,因而所有强化学习算法构成一个范畴$\textrm{Learn}$。然后在$\textrm{Learn}$里考虑神经网络,并证明在一般情况下,梯度下降也是复合的。如果对纯数学理论,在计算机或者AI有什么应用感兴趣的人,可以看看。我当时下这篇文章,也是好奇代数领域在AI方面有啥应用,其实当时已经知道有个叫热带几何(Tropical Geometry)的领域,就是代数几何在计算机的应用。因为当时AI就很火,但AI可解释性需要很多数学来解决,他们解决不了,所以我留着这篇文章也是打算之后写篇类似的AI应用的文章。

Grothendieck经典著作:代数几何原理EGA 1(1971第二版)法语+英译

在前面几贴中,我已经分别分享了Grothendieck的代数几何三部曲EGA、SGA、FGA,链接如下:代数几何教皇Grothendieck经典著作:代数几何原理EGA法语原版全系列(1)代数几何教皇Grothendieck经典著作:代数几何讨论班SGA法语原版全系列代数几何教皇Grothendieck经典著作:代数几何基础FGA法语原版+英文译版但其实EGA 1还有1971年的第二版,Grothendieck在EGA 1第二版中更新了一些内容,因此一些概念定义会与第一版中有出入。原本我也是不太知道EGA竟然还会有第二版,直到后来有次看文献时,发现作者引用了EGA 1(1971)才知道有这一版本。对比EGA 1第一版跟第二版,感觉第二版要比第一版更好读一些,似乎思路行文更清晰,也更好理解。并且值得开心的是,EGA 1第二版有完整英译,现在我全都分享出来。

一个关于定义域光滑不变量的问题

我的提问:定理 22.3(定义域的光滑不变量)令$U \subset\mathbb{R}^n$为一个开子集,$S \subset\mathbb{R}^n$为一个任意子集,并且$f : U \rightarrow S$是一个微分同胚。那么$S$在$\mathbb{R}^n$中是开集。我无法理解为何集合$S$在$\mathbb{R}^n$中并不是自动开的。映射$f$是一个微分同胚,这意味着它在两个方向都是连续的,所以$S$是开的。回答:首先你所知道的是$U$中的开集$V$满足:$f(V)$在$S$中开,不是$f(V)$在$\mathbb{R}^n$中开。所以$f(U)=S$是在$S$中开。那个推断是说接着$f(U)=S$自动在$\mathbb R^n$中开,这是不一样的并且不是自动的。它需要证明。PS:这里说的是拓扑学中关于开集的一个重要盲点,即开集是相对的。尤其是考虑某个拓扑空间中的子集,要弄清楚究竟是在子集内开,还是在全空间内开。

弦圈11月10日上下更新计划:小金库、打赏等功能

这几天忙于写代码完善网站功能,不太有空更新文章和内容。因为弦圈没有借助任何建站工具和博客框架,是我自己前后端一起从零开始写的,因此开发得会比较慢,请谅解。。。目前计划上线功能首先就包括,前面弦圈更新日志:关于智力值和金币提到的小金库。获取金币的机制是:智力值存入银行(叫时空银行time bank?),然后根据日利率每天产生相应的金币。下图为测试画面其次为了让网站能够更好的运作下去,从而给大家提供更好的服务,我计划引入盈利功能。所谓盈利功能即是用户通过弦圈来获得收益的相关功能,包括打赏功能、接广告功能、接悬赏功能。这些功能主要是为了鼓励大家为社区做贡献,并且让需要得到帮助的人更容易获得帮助(毕竟大佬们忙得很,不会轻易帮助你解决问题)。具体规则暂定如下:想要让弦圈的用户能赚钱,那弦圈必须自己先能赚到钱,目前我计划引入弦圈广告和用户交易中心。至于弦圈广告,我打算采用信息流广告、侧边栏广告、文章内嵌广告,拒绝弹窗之类遮蔽视线的广告,因此不会影响用户体验。最后我还得把之前留的坑——创作中心给填上,就是一个给创作者的方便管理内容、查看数据的模块。测试画面如下:尽情期待😇