黎曼猜想被证明了?“他的证明甚至不能算是个错误”!阿蒂亚爵士的证明受到同行质疑...


640?wx_fmt=png

作者:许琦敏 金婉霞

编辑:金婉霞

责任编辑:李雪林

来源:解剖者

摘要:德国柏林时间9月24日上午9点45分,菲尔兹奖与阿贝尔奖双料得主、英国皇家学会院士迈克尔·阿蒂亚爵士在德国海德堡举行的海德堡奖诺贝尔奖获得者论坛上,讲述了他对黎曼猜想的证明。


黎曼猜想要被证明了?只怕这次离真正的证明还有一段距离。




德国柏林时间9月24日上午9点45分,菲尔兹奖与阿贝尔奖双料得主、英国皇家学会院士迈克尔·阿蒂亚爵士在德国海德堡举行的海德堡奖诺贝尔奖获得者论坛上,讲述了他对黎曼猜想的证明。


640?wx_fmt=png

▲迈克尔·阿蒂亚爵士在论坛现场讲述证明过程时的直播截图




他声称,自己用了一个非常简单的反证法,就解开了天才数学家波恩哈德·黎曼于1859年提出,至今159年无人能证明的黎曼猜想。


640?wx_fmt=png

▲迈克尔·阿蒂亚爵士在论坛现场讲述证明过程时的直播截图




就在论坛开始前不久,他还将论文的预印本发布在了网上。这表明他不是仅仅以一个报告来博得眼球,而是已经有了实实在在的论文。




然而,令人意外的是,当大众欢呼雀跃于这数学王国中最难攻克的猜想得到证明时,真正的数学家们却非常淡然。而在预印本出来之后,来自同行的负面评论越来越多,有人说他的所谓证明“甚至不能算是个错误”。




究竟阿蒂亚爵士能否证明黎曼猜想?可能人们将再次接受失望。




一个摘要掀起热潮




就在几天前,阿蒂亚爵士声明自己证明了久负盛名的黎曼猜想,并将在海德堡获奖者论坛上简单讲述证明过程。




于是,这个消息立刻在大众中掀起了一股热潮:如果说,数学是人类智慧的皇冠,那么数论就是皇冠上的明珠,而黎曼猜想则是明珠上最难擦拭掉的那个斑点。


640?wx_fmt=png


“如果数学世界只剩下一个难题,那么一定是黎曼猜想。”中国科学技术大学数学系教授欧阳毅说,其实每隔几年,就会有人宣称证明了黎曼猜想,但结果都失败了。




他说,对于数学家而言,只看逻辑和推导,不看谁先声称证明了什么。所以,对于阿蒂亚的声明,同行几乎都持淡然的态度,“我们要看到论文,然后验证里面的每一个步骤和细节。如果完全正确,那就向他致以最崇高的敬意,他将是本世纪最伟大的数学家,没有之一!”




数学,就是这样一个只以成败论英雄的领域,不看权威,不论资历。以菲尔兹奖为例,其获奖者都是年轻人。比如今年的菲尔兹奖得主彼得·舒尔茨就是1987年出生的,但他将代数与几何结合的工作,已被很多人跟进,有深远的理论意义。




预印本发布引来更多吐槽




就在89岁高龄的阿蒂亚爵士走上讲坛前不久,他关于黎曼猜想的预印本已在网上公布。这说明,他是真的认为自己证明了黎曼猜想——根据数学学科发表论文的惯例,数学家在正式出版前都会提前公布预印本,先接受同行的检查,一旦放出预印本,就等于宣告这个成果的归属。


640?wx_fmt=png

▲迈克尔·阿蒂亚爵士在论坛现场展示的PPT




只有短短的五页纸!其中证明只有15行!




的确,黎曼留给后人的也只有短短的八页纸。可真的有那么简单吗?很快,就有专业人士指出,阿蒂亚在第二节定义的TODD函数就不靠谱,而这恰恰是证明的关键所在。




简单来说,阿蒂亚是用了一个TODD函数的公式,假设有与黎曼猜想矛盾的点存在,这个公式是收缩的,那么就可以把一个个点代入这个公式,如果没有一个点成立,那么他就证明了黎曼公式。然而,这个TODD函数在他上一次在海德堡论坛上发布时,就被当场指出是错误的。


640?wx_fmt=png

▲迈克尔·阿蒂亚爵士在论坛现场展示的PPT




所以,尽管演讲还在继续,同行就已经基本上断定,这次阿蒂亚爵士并未能带来真正的惊喜。有同行在网上表示,为了尊重这位曾经做出过非常杰出而漂亮工作的伟大数学家,就不要再讨论了,因为他的证明是“not even wrong”。


640?wx_fmt=png

▲“not even wrong"的英文释义




在科学界,这个英语短语描述了一个声称是科学的论点或解释,但是基于无效的推理或推测前提。因此,它指的是不能严格地、科学地讨论的论述。




“这不是一次严肃的尝试,甚至连错误都算不上。在论述中没有使用到zeta函数的任何性质,而这在黎曼猜想中很关键。”欧阳毅说,很多伟大的数学家经常在晚年宣称证明了某个命题,却最终未能成功。这也是一种常态,不用对这位前辈过于苛责。




证明黎曼猜想究竟会带来改变吗?




数学证明,是个不断反复质疑、验证的过程。中国科学院院士、复旦大学数学系教授李大潜说,当年英国数学家安德鲁·怀尔斯做报告证明了费尔马大定理,也被同行指出其中的问题,他又花费了很大力气,才最终得到了结论。即使阿蒂亚这次失败,也没什么,毕竟这是数学上一个公认的难题。美国的克莱数学研究所公布的七大千禧年数学难题,每个悬赏一百万美金,黎曼猜想名列第一。




除了难度高,黎曼猜想的证明在现实世界中会改变什么吗?李大潜介绍,作为核心数学中的一个重要猜想,不少数论的研究成果都是建立在黎曼猜想成立的基础上进一步研究的,如果该猜想成立,它们就有了依据,不然就全无价值。




然而,在实际应用中,大家并不用为黎曼猜想是否被证明担心。欧阳毅说,因为数学是在理论上追求完美,但在现实应用中,很多理论极限上的情况并不会发生。




数论在密码上的应用,包括信息安全和网络空间安全,乃至量子计算,出现的情况都是有限情形(目前使用的素数不超过150位数)。黎曼猜想可能的反例出现的范围已经远远超出实际应用中数的范围。




“除非阿蒂亚证明黎曼猜想不成立,或者提出质数的新规律,否则不会对现实应用产生太大的冲击。”欧阳毅说,现在看来,我们只好等待下一位勇士,再向黎曼猜想发起挑战。




>>>相关链接




黎曼猜想




在自然数序列中,质数(也称为素数)是那些只能被1和自身整除的整数,比如2,3,5,7,11等等。由于每个自然数都可以唯一地分解成有限个质数的乘积,因此在某种程度上,质数构成了自然数体系的基石。




1859年,德国数学家波恩哈德·黎曼(Bernhard Riemann)发表了一篇名为《论小于给定数值的素数个数》的论文,提出黎曼猜想。黎曼猜想是关于黎曼Zeta函数的零点的猜想。


640?wx_fmt=png


黎曼Zeta函数在任何复数s ≠ 1上有定义,与许多其它函数一样,黎曼Zeta函数在某些点上的取值为零,那些点被称为黎曼Zeta函数的零点。比如它在所有负偶数上有零点(例如,当s = ?2, ?4, ?6, ...),这些零点被称作“平凡零点”。黎曼猜想认为这个函数的所有非平凡的零点都分布在复平面上一条平行于虚轴且实部为二分之一的直线上,但并未给出证明。




这一猜想中的非平凡零点与质数的分布密切相关,而质数在自然数中的分布问题在纯数学和应用数学上都极其重要。




一百多年,无数人曾试图证明黎曼猜想,但至今未有人能够攀顶。1900年,德国著名数学家希尔伯特在巴黎国际数学家大会上提出了20世纪数学家应当努力解决的23个数学问题,也就是著名的“希尔伯特23问题”,被认为是20世纪数学的制高点,其中便包括黎曼猜想。




迈克尔·阿蒂亚(Michael Francis Atiyah)爵士

640?wx_fmt=png

英国数学家,被誉为当代最伟大的数学家之一。他在1966年荣获菲尔兹奖,在1988年荣获科普利獎章,在2004年与辛格共同获得阿贝尔奖。他曾任英国皇家学会主席(1990-1995),剑桥大学三一学院院长(1990-1997),爱丁堡皇家学会主席(2005-2008),并被选为多国科学院的外籍院士。




他早期工作主要集中在代数几何领域,与伊萨多·辛格合作证明的阿蒂亚-辛格指标定理,公认为20世纪最重要的数学成果之一。70年代后他的兴趣转向规范场论,近30年来,低维拓扑学和无穷维流形几何学的研究受到量子场论和弦理论的极大启发,他是这个新兴领域的主要倡导者之一。



未来智能实验室是人工智能学家与科学院相关机构联合成立的人工智能,互联网和脑科学交叉研究机构。


未来智能实验室的主要工作包括:建立AI智能系统智商评测体系,开展世界人工智能智商评测;开展互联网(城市)云脑研究计划,构建互联网(城市)云脑技术和企业图谱,为提升企业,行业与城市的智能水平服务。

  如果您对实验室的研究感兴趣,欢迎加入未来智能实验室线上平台。扫描以下二维码或点击本文左下角“阅读原文”

640?wx_fmt=jpeg

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/494155.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Android自定义View

1.View是什么? View是屏幕上的一块矩形区域,它负责用来显示一个区域,并且响应这个区域内的事件。可以说,手机屏幕上的任意一部分看的见得地方都是View,它很常见,比如 TextView 、ImageView 、Button以及Li…

【IT笔试面试题整理】判断链表是否存在环路,并找出回路起点

【试题描述】定义一个函数,输入一个链表,判断链表是否存在环路,并找出回路起点 Circular linked list: A (corrupt) linked list in which a node’s next pointer points to an earlier node, so as to make a loop in the linked listEXAMP…

腾讯机器人实验室首曝光 攻坚“通用人工智能”

来源:新浪科技摘要:与当初的“互联网”一样,“AI”正成为各行各业的标配。在近日召开的2018 世界人工智能大会上,腾讯董事会主席兼首席执行官马化腾提出,人工智能技术是一场跨国、跨学科的科学探索工程,对于…

Android之canvas详解

首先说一下canvas类: Class Overview The Canvas class holds the "draw" calls. To draw something, you need 4 basic components: A Bitmap to hold the pixels, a Canvas to host the draw calls (writing into the bitmap), a drawing primitive (e…

下一代动力电池深度报告,三大技术路线谁能笑到最后?【附下载】| 智东西内参...

来源:智东西编辑:智东西内参摘要:随着全球电动车浪潮席卷,关于固态电池的新闻越来越多。从 Fisker 宣称开发充电 1 分钟行驶 500 公里的固态电池,到宝马已与 SolidPower 进行合作开发下一代电动车用固态电池&#xff0…

Android之shape属性详解

有时候 ,为了满足一些需求,我们要用到 shape 去定义 一些背景,shape 的用法 跟图片一样 ,可以给View设置 Android:background”drawable/shape”, 定义的shape 文件,放在 res/shape 目录下 通常我们可以用shape 做 bu…

S3C6410移植u-boot-2010.3(2)基本的启动信息修改

1、启动模块修改 进入/cpu/arm1176/目录,修改start.S文件 首先找到需要修改的CONFIG_NAND_SPL汇编原码,修改如下: #ifndef CONFIG_NAND_SPL /** flush v4 I/D caches*/ mov r0, #0 mcr p15, 0, r0, c7, c7, 0 /* flush v3/v4 cache */ mcr p1…

[修订版]”大脑“爆发背后是50年互联网架构重大变革

前言:面对即将到来的2019年,互联网诞生50年将是诸多纪念活动中重要的一个,经过50年的发展,互联网究竟发生什么重要的变化,通过这篇文章试图进行一次总结,也提前向互联网50年致敬。作者:刘锋 互…

智慧城市建设:科技创业的下一个浪潮

来源:资本实验室随着全球城市化进程的加速,越来越多的人涌进城市,这为城市建设带来了一系列的挑战:一方面,城市需要面对大量的越来越老化的基础设施;另一方面,需要为新涌入的城市居民提供新的&a…

Android之ViewDragHelper

在自定义ViewGroup中,很多效果都包含用户手指去拖动其内部的某个View(eg:侧滑菜单等),针对具体的需要去写好onInterceptTouchEvent和onTouchEvent这两个方法是一件很不容易的事,需要自己去处理:多手指的处理、加速度检测等等。 好…

DARPA人工智能技术研究情况一览

来源:一体化指挥调度国家工程实验室、高端装备发展研究中心摘要:20世纪60年代初,DARPA(当时为ARPA)开始介入自主技术研究,并很快成为该领域的主要研究机构。DARPA意识到,人工智能可以满足大量的…

深入“肠-脑”神经高速通道,揭开“第六感觉”面纱

来源:中国生物技术网直觉是什么?通常被描述为超感官的第六感觉,它在英文里直译就是肠道感觉。肠道作为“第二大脑”的事实已经家喻户晓了。如果你曾在重要的演讲前感到心慌恶心,或者在一顿大餐后感到头昏眼花,那就是肠…

Andoird自定义ViewGroup实现竖向引导界面

一般进入APP都有欢迎界面&#xff0c;基本都是水平滚动的&#xff0c;今天和大家分享一个垂直滚动的例子。 先来看看效果把&#xff1a; 首先是布局文件&#xff1a; <com.example.verticallinearlayout.VerticalLinearLayout xmlns:android"http://schemas.android.…

科技|全球首款飞行汽车开始量产!下月开始预售,2023年后或可实现一键打“飞车”...

来源&#xff1a; 世界科技创新论坛飞机与汽车结合的产物真的要来了。在2018全球未来出行大会上&#xff0c;吉利副总裁杨学良透露&#xff0c;由吉利控股的全资子公司、全球首家飞行汽车公司美国太力飞行汽车公司推出的“全球首款量产飞行汽车”——Transition&#xff0c;将于…

Android手势锁实现

最终效果如下 整体思路 a、自定义了一个RelativeLayout(GestureLockViewGroup)在里面会根据传入的每行的个数&#xff0c;生成多个GestureLockView&#xff08;就是上面一个个小圈圈&#xff09;&#xff0c;然后会自动进行布局&#xff0c;里面的宽度&#xff0c;间距&#x…

智能连接:5G与人工智能、物联网等技术的超级融合

来源&#xff1a;资本实验室随着新技术的成熟&#xff0c;新型的、先进的应用将来自5G、人工智能&#xff08;AI&#xff09;和物联网&#xff08;IoT&#xff09;的融合。这种融合将创造出一个智能连接的世界&#xff0c;对所有个人、行业、社会和经济产生积极影响。从现在到2…

一个绚丽的loading动效分析与实现!

最终效果如下 从效果上看&#xff0c;我们需要考虑以下几个问题&#xff1a; 1.叶子的随机产生&#xff1b; 2.叶子随着一条正余弦曲线移动&#xff1b; 3.叶子在移动的时候旋转&#xff0c;旋转方向随机&#xff0c;正时针或逆时针&#xff1b; 4.叶子遇到进度条&#xff…

20岁的谷歌,和它“最成功”的大败笔

来源&#xff1a;大数据文摘编译&#xff1a;张驰、JIN、涂世文、钱天培谷歌20岁了&#xff01;20年中&#xff0c;谷歌打造了无数或成功或流产的产品&#xff0c;其中&#xff0c;这一名为“谷歌光纤”计划的失败或许是它最“成功”的“大败笔”。2010年&#xff0c;谷歌宣布了…

自定义viewgroup实现ArcMenu

最终效果如下 实现思路 通过效果图&#xff0c;会有几个问题&#xff1a; a、动画效果如何实现 可以看出动画是从顶点外外发射的&#xff0c;可能有人说&#xff0c;那还不简单&#xff0c;默认元素都在定点位置&#xff0c;然后TraslateAnimation就好了&#xff1b;这样忽略…

也谈谈Atiyah关于黎曼猜想的证明

来源&#xff1a;潇轩社作者&#xff1a;叶扬波 著名数学家&#xff0c;美国爱荷华大学教授。作为数论学家&#xff0c;他在中国大陆出版有《迹公式与模形式》等专著。以下是他谈Atiyah关于黎曼猜想的证明的文章&#xff0c;观点专业而且独到&#xff0c;转载此文&#xff0c;…