新智元报道
黎曼猜想被中国人证明了?!
上周六,名为“数学文化”(微博认证为:数学文化主编、南方科技大学数学教授汤涛院士)的微博发布消息:据说李钟教授已经在中科院数学所南楼做了用Reich定理证明黎曼猜想的报告,希望结果正确!
事实上,“数学文化”说的时间不对,其实是周六13号
新智元获得的最新消息是:北京大学已经退休的李忠教授,10月13日14:30-16:30,在中科院以内部讨论组的形式做了关于证明黎曼猜想的报告。
目前来看报告已经得到了多位数学界的大咖的认可。
数学家、北京大学数学科学学院教授郑忠国表示黎曼猜想已被证明。郑教授写道:
李忠利用Riech度量严格证明了黎曼假设。他的证明与数学家Atiyah(阿蒂亚老爵爷,此前曾做过黎曼猜想证明的报告)证明的关系可以简述如下:两人的思路相同,但Atiyah用一个量不合适,严格意义上证明是不完全的。李忠利用Riech度量以后证明就严格了。
数学家,北京大学数学科学学院原副院长,原中国数学会秘书长彭立中老师评评价说(此评论后由李忠教授转发给北大离退休老师群):
定义Riech度量(李-度量),证明Atiyah常数在该度量下是有限的数学常数,从而完成了RH之证明。李早于Atiyah证明了黎曼函数在李-度量下有界,从而RH成立。
按照惯例,报告之后不久,行业内会对李忠教授报告的手稿和论文进行评估,不久之后结果也会对外界公布,期待被载入数学史的一刻早点到来。
李忠教授出生于1936年8月,现年82岁,系北京大学数学科学学院教授、博士生导师。他在1960年毕业于北京大学数学力学系,之后一直在北京大学任教,1987年-1991年担任北京大学数学系主任,曾任中国数学会常务理事兼秘书长及北京数学会理事长。他曾获国家教委科技进步奖一等奖,两次获得国家自然科学奖三等奖。被评为有突出贡献的中青年专家、国家优秀教师。他的主要研究领域为基础数学复分析,对拟共形映射与黎曼曲面的模空间理论有系统的研究,曾著有《复分析导引》、《拟共形映射及其在黎曼曲面论中的应用》等书。
然而,李忠教授举行此次黎曼猜想证明报告会并非一帆风顺。
上周二(10月9日)上午,“数学文化”也发布一则信息称,李忠教授将于10月11日下午2点半在中科院数学院南楼N913室,进行为期2小时的黎曼猜想全新证明。
微博大V“数学文化”发布李忠教授黎曼猜想证明报告会消息
消息一出,便在网络引起了不小的轰动,受到了来自学术界、媒体界等各方面的关注。
然而,事与愿违,10月11日,李忠教授取消了这场讨论会。
中科院数学院南楼一楼大厅通告
N913室门口公告:讨论班取消
新智元当天到现场的N913室,教室本应坐满慕名前来想要见证历史性时刻的“观众”,但在下午2:40仍只有几个学生坐在那里自习。
根据接待老师的说法,本次所谓的黎曼猜想证明报告会,并非网络中所传播的那般正式,只是李忠教授想要与几位学者坐下来共同探讨一下这个问题。而经网络宣传,却被传播成了像前几日阿蒂亚爵士那样的证明报告会。
然而,在场的一位不愿透露姓名的教授,在表达了他失望的同时也表示非常愤怒,“不论是谁的责任,都不应该拿科学开玩笑”。
就在群众以为又是一次乌龙事件时,剧情开始反转:李忠教授还是举办了这次证明报告会,只是更改了报告时间。
而李忠教授本人表示:“不愿意炒作,才更改了报告的时间”。
李忠教授要“证明”黎曼猜想,为何引起如此波澜?
“黎曼猜想” 是数学界迄今最重要的猜想之一,被克雷数学研究所列为 “有待解决的七大千禧问题”。而黎曼猜想为何如此难证,主要原因如下:
难点一:如果黎曼猜想(RH)被证否,并不会有特别严重的后果。
难点二:关于zeta函数,目前的结论集中在function equation,即modularity,即Langlands层面。但RH是一个更高层面的结论。
难点三:很难说出RH在模形式那边的对应物。
难点四:我们会证某些RH的类似物,但不知道怎么把结果转化到数域上。
90岁高龄的英国数学家阿蒂亚爵士于9月20日宣称证明出黎曼猜想,数学界为之一震。而9月24日,当阿蒂亚爵士仅用5页论文对其论证过后,外界反响并没有想象中的那般轰动。许多专家对他的证明结果选择缄默不言。而目前看来,外界普遍的观点还是不严整。
而就在此事余温尚存之际,同样是高龄的著名数学家,并且还是国人,就必然会引起一番热潮,尽管这份期待可能会非常谨慎。而更重要的是,这张网络疯传的报告预告中赫然写着“全新证明”、“所有步骤有严格详细解释与证明”,这些描述从读者角度看来,正是比阿蒂亚爵士更胜一筹。
无论哪一方面,都会引起人们莫大的兴趣。
真正从事学术研究的或许只是极少一部分,但对真理的好奇与探求却不只是学者的专利。
此前,阿蒂亚爵士公布黎曼猜想的证明过程不仅仅引发了一场数学界的地震,更吸引了更多平时与数学看似毫无关系的人的注意。如今李忠教授试图证明黎曼猜想这一消息所引起的热度也印证了这一点。
与现年90岁的阿蒂亚爵士相似,李忠也是高龄学者。在公布要挑战证明黎曼猜想时,不乏有唱衰者。
事实上,对于学术,无论成败,探索精神都是前提。在探索真理的道路中,失败的经验并非毫无价值。若失败,也能让后来者在探索的道路上避开这些障碍。
自1859年黎曼猜想诞生以来,无数数学巨匠为之付出了心血。但这条破解之路上,虽然没人完全取得成功,但在这一过程中数学家们也为破解这一难题提供了很多思路与方法,例如:
1981年,荷兰三位数学家J.van de Lune、H.J.Riele te以及D.T.Winter用电子计算机来检验黎曼的假设,他们对最初的2亿个齐打函数的零点检验,证明黎曼的假设是对的;
1982年,前苏联数学家马帝叶雪维奇在前苏联杂志《Kibernetika》宣布,他利用电脑检验一个与黎曼猜想有关的数学问题,可以证明该问题是正确的,从而反过来可以支持黎曼的猜想很可能是正确的;
……
2018年,钮鹏程,西北工业大学应用数学系教授,讨论了Riemann zeta函数的非平凡零点的性质。
159年间,无数国内外数学家前赴后继地前去探索而后倒下,阿蒂亚爵士和李忠教授都不会是最后一位,还会有后来人。
文章部分内容经授权转自中学数学研讨部落(ID:math40)
新智元AI WORLD 2018
世界人工智能峰会全程回顾
新智元于9月20日在北京国家会议中心举办AI WORLD 2018世界人工智能峰会,邀请机器学习教父、CMU教授 Tom Mitchell,迈克思·泰格马克,周志华,陶大程,陈怡然等AI领袖一起关注机器智能与人类命运。
全程回顾新智元 AI World 2018 世界人工智能峰会盛况:
爱奇艺
上午:https://www.iqiyi.com/v_19rr54cusk.html
下午:https://www.iqiyi.com/v_19rr54hels.html
新浪:http://video.sina.com.cn/l/p/1724373.html