花式桌球-黎曼猜想证明现场:未看到有分量专家评价

昨日,一场盛况空前的宣讲引爆了数学圈,89 岁的阿蒂亚爵士对黎曼猜想的证明吸引了全球的关注。也因为关注人数过多,现场直播「车祸」不断:官方直播流崩溃,组织方不得不改用手机直播。
 
前期的手机直播质量奇差,声音和 PPT 内容都不清晰,导致一些读者(包括我们)漏掉了许多内容。
 
数小时前,Heidelberg Laureate Forum 2018 官方终于在 YouTube 上放出阿蒂亚爵士的高清演讲视频,短短数个小时已经有近 5 万次观看。
 
万众期待下,89岁的阿蒂亚爵士只花了不到十分钟的时间,用一张PPT就完成了他的证明,这场过于简洁的解说让演讲现场的提问环节陷入了迷之尴尬,尔后整个数学界都沉默了。
 
40分钟后,89岁的阿蒂亚爵士(Sir Michael Francis Atiyah)完成了他全球瞩目的黎曼猜想证明演讲,现场听众报以10多秒的掌声。
花式桌球-黎曼猜想证明现场:未看到有分量专家评价
接下来是提问环节。
 
没想到,高智商听众云集的会场里,随即陷入一片沉默。“Come on!”等待20秒仍不见人提问的阿蒂亚呼吁大家勇敢一点。
 
直到一分钟后,站在台上的阿蒂亚才听到第一个问题:
 
“黎曼猜想这算是被成功证明了吗?”
 
提问者应该是一位印度小哥,他来自数学家鄙视链的下下游,人工智能领域,一上来就抛出这个尖锐的问题。
 
阿蒂亚说,他自己觉得算是已经证明了黎曼猜想,不过如果你坚决不接受反证法的话……
 
当然,阿蒂亚也表示这个证明现在还不完整,接下来还有很多后续问题要解,今天只是万里长征的第一步,不过,第一步也应该算是问题的一个解。
 
他说:“我可以退休了。”
 
第二位提问观众关心论文什么时候发表,好检验一下这个证明。这样一个问题勾起了阿蒂亚的伤心事。
 
顺着这个提问,阿蒂亚开始吐槽了学术界的“老龄歧视”。他说:“等你到了我这个年纪,人们就不发表你的论文了,他们会说你太老了,肯定哪儿证明错了。”
 
他说他甚至被arXiv拒了稿,简直是歧视啊。
 
第三位提问的终于是个小姐姐,关心了一下阿蒂亚自己对证明黎曼猜想这件事的感受:你认为大家会相信你的证明吗?还是说你根本不在乎大家信不信?
 
大家信不信,阿蒂亚是很在乎的。他说,得不得奖不重要,有人听才重要。
 
不过,大家不信也正常,因为他发现,如果有人给旧方法找了种更聪明的用法,人们还比较容易相信,但大家不愿意相信全新的证明。
 
而他这次所讲的,就是一个全新的方法。
 
关于阿蒂亚的证明过程,简言之,就是他首先假设黎曼猜想是正确的,接着他引入了一个新的函数(Todd函数),然后将Todd函数(T(S))与zeta函数关联,并在两者的基础之上定义了新的F(s),最后透过对F(s)的简单性质研究反推出zeta函数的性质,从而证明黎曼猜想。
 
这样看下来,证明思路“简洁”的可怕。
 
用阿蒂亚的话来说,这一证明思路的灵感就来源于自己在2018年ICM上提出精细结构常数(Fine structure constant)的推演,这是一个物理学上长期存在的数学问题。
由于目前流出的材料过于简洁,几乎每一步的推演都是“证明从略”,因而引发了外界巨大的争议。
 
并且,这项证明的核心——Todd函数,它更是专属于阿蒂亚及其门徒的内部研究成果,即关于该函数的研究,阿蒂亚和他的弟子们最有发言权,其他人想插嘴也不容易。
 




文章来源:搞笑二人转笑死人高清=http://www.siiic.com/gxerz/