此前,Atiyah 爵士在海德堡论坛上宣称的证明方法,则更多只是提出一个大致思路,缺乏细节。Atiyah 爵士证明灵感主要来源于其在 2018 年国际数学家大会上提出的精细结构常数的推演,同时应用了其导师一手开创的 Todd 函数参与计算。虽然 Atiyah 爵士对自己证明过程十分有把握,其论文也已向相关期刊投稿,但是从会前到会后,学者一直对此次证明过程存疑。
而在李忠教授的证明过程中,Reich 度量是证明中最重要的部分。Reich 度量不仅仅是李忠教授最近研究的新内容,同时也是证明黎曼猜想的重要工具。但在会上,李忠教授并未对 Reich 度量及相关理论做过多声明。或许还需要等待李忠老师未来公开论文后才能一窥究竟。。但在会上,李忠教授并未对 Reich 度量及相关理论做过多声明。或许还需要等待李忠老师未来公开论文后才能一窥究竟。
图 | 与黎曼猜想等价的猜想(来源:DT君)
李忠老师的证明过程也十分简洁,他的论文只有 2 页纸,而核心证明步骤只有一行。但这需要先对 Reich 度量进行了解,才能通过 Reich 度量对黎曼猜想进行证明。
图 | 李忠老师对黎曼猜想证明的关键步骤(来源:DT君)
在谈到 Atiyah 爵士的证明时,李忠教授指出,在 9 月 24 日的海德堡获奖者论坛中,Atiyah 对黎曼猜想的证明是物理学中精细结构常数 α 的副产品,这建立在冯·诺依曼和弗里德里希·希策布鲁赫工作的基础之上。
其中一个非常关键的问题就在于,这里的有界性没有得到证明。Atiyah 爵士证明中使用了物理意义下的有界量,而此次证明黎曼猜想本身就涉及到证明黎曼 zeta 函数是有界的,因此其证明过程并不完整。但使用 Reich 度量后,则可以明确证明黎曼 zeta 函数的有界性。同时,李忠教授认为,他的证明和自己的证明是可以相互印证的:Atiyah 爵士的思路并没有错,但仍需要更改度量。如果将度量改成 Reich 度量,Atiyah 爵士也是可以证明黎曼猜想的。
图丨 Reich 度量(来源:DT君)
讨论会上,在谈到自己的证明和 Atiyah 爵士的证明有什么联系的时候,李忠老师十分谦虚的说,自己的工作是对 Atiyah 爵士工作的补充。李忠教授还在会上透露,其实在海德堡论坛前,李忠老师曾在清华大学进行过 Reich 度量的相关讨论。虽然当时李忠老师并未点透其与黎曼猜想证明的关系,但在场一些学者却已发现,这与黎曼猜想证明有着千丝万缕的联系。。虽然当时李忠老师并未点透其与黎曼猜想证明的关系,但在场一些学者却已发现,这与黎曼猜想证明有着千丝万缕的联系。
目前来看报告已经得到了多位数学界的大咖的认可。
数学家、北京大学数学科学学院教授郑忠国表示黎曼猜想已被证明。郑教授写道:李忠利用Riech度量严格证明了黎曼假设。他的证明与数学家Atiyah(阿蒂亚老爵爷,此前曾做过黎曼猜想证明的报告)证明的关系可以简述如下:两人的思路相同,但Atiyah用一个量不合适,严格意义上证明是不完全的。。他的证明与数学家Atiyah(阿蒂亚老爵爷,此前曾做过黎曼猜想证明的报告)证明的关系可以简述如下:两人的思路相同,但Atiyah用一个量不合适,严格意义上证明是不完全的。。
数学家,北京大学数学科学学院原副院长,原中国数学会秘书长彭立中老师评评价说(此评论后由李忠教授转发给北大离退休老师群):
定义Riech度量(李-度量),证明Atiyah常数在该度量下是有限的数学常数,从而完成了RH之证明。。。
按照惯例,报告之后不久,行业内会对李忠教授报告的手稿和论文进行评估,不久之后结果也会对外界公布,期待被载入数学史的一刻早点到来。
82岁李忠教授“老将出山”,怕被炒作更换报告时间
李忠教授出生于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年间,无数国内外数学家前赴后继地前去探索而后倒下,阿蒂亚爵士和李忠教授都不会是最后一位,还会有后来人。
编辑:顾军
责任编辑:樊丽萍
来源:DeepTech深科技、新智元