黎曼猜想证明现场 黎曼猜想是啥?数学家全球直播解题

发布日期:2021-10-24 18:15   来源:未知   阅读:

  在阿蒂亚爵士45分钟宣讲结束后,组织方安排了问答环节。但人气爆棚的现场到了QA环节却一度陷入尴尬:主持人强调不要害羞、大胆提问,但却无人应答,阿蒂亚爵士唯有扬手“come on”。

  冷场近一分钟,一位印度口音的的小哥(来自人工智能领域,非数学背景)提出了第一个问题:是否解决了黎曼猜想?

  阿蒂亚回应说,“这是由你的逻辑决定的。原始的黎曼猜想我是证明了,除非你是那种不接收反证法的数学家。”

  他表示,人们倾向于接受直接事实,但我们的一些定理是反证法证明的,所以我认为我可当此荣誉。但他也补充说,其证明没有解决所有问题,后续还有很多问题,自己只是走了第一步(第一步就是解决方案),现在可以退休了。

  阿蒂亚表示,其实他已经写了多篇论文,最长的一篇是关于精细结构常数。但发表不易,因为到了他这个年纪,人们(杂志)就不再发表他的论文,年纪太大了,而且肯定有错。

  但论文是可以看到的。一份是关于精细结构常数的,另一份正是昨天上午流传的“5页预印版”论文。

  阿蒂亚爵士也解开了这两份论文为什么用谷歌文档这样不正式的方式传播,“我甚至提交到了arXiv上,但它们不接收。”(尴尬)年龄歧视啊!

  第三个问题:你曾说没人相信黎曼猜想的任何证明,因为没人证明了它。你认为人们会相信你吗?或者说你不在乎?

  阿蒂亚说他确实在乎相信此证明的人,因为有人曾说过数学或者科学一般涉及两个步骤:创造与传播。如果你不宣传自己的想法,就没人知道。此外,一般人们不相信证明可能是因为它是全新的想法。

  在阿蒂亚的简短证明播出之后,学界对此评价稍显冷淡。人们纷纷表达了对于证明黎曼猜想的悲观看法,同时也表示了对阿蒂亚以往巨大贡献的尊敬。无论如何,这种复杂的感情似乎在告诉数学圈外的我们:人类距离搞清楚这一“世纪猜想”还有一段距离。

  “他在演讲中所展示的内容几乎不可能成为能够证明黎曼猜想的任何证据,”来自挪威科技大学的经济学家J?rgen Veisdal表示,他此前也曾研究过黎曼猜想。“他的证明太过模糊,也太不具体了。”Veisdal表示,他还需要更仔细地研究目前的证明,以得出更加明确的判断。

  《Science》在这位著名数学家演讲后联系到了他的几位同事。他们对于当事人给出的、基于不可靠关联而得出的结论感到担忧,并表示这次证明黎曼猜想的努力最终未能成功。但目前,因为顾及到关系,还没有同事或学生愿意公开提出批评。

  加州大学河滨分校(University of California, Riverside)的数学物理学家John Baez是少数几个愿意对阿蒂亚的主张发表批评意见的人之一。“该证明只是将一个大胆的主张叠加在另一个之上,没有任何关联的论证和真正的证据。”Baez说道。

  对于各方的批评,阿蒂亚早有预料。他在演讲之前的一封电子邮件中就表示:“演讲的观众中会有睿智的年轻学者,以及经验丰富的老科学家。我要做的是把自己抛入狮群之中,希望能够全身而退。”

  在数学论坛MathOverflow上,人们对于阿蒂亚爵士的证明也普遍持悲观态度。Todd Trimble表示:“在过去的五十多年里,阿蒂亚为数学界所做的贡献无人能出其右,但今天他的证明『甚至不能说它是错误(not even wrong)』。正是出于这个原因,鉴于他的划时代贡献,他应该获得足够的尊严。”

  也就是说,一些学者认为阿蒂亚的证明思路成功的概率很低,同时也没有经过完整的证明(至少目前还没有公开细节),从而谈不上探讨正确与错误。

  又有知乎网友称,今天早上,清华大学数学系前系主任肖杰在一节代数课上对阿蒂亚的证明给出了自己的评价:“如果他那是对的,数学就完蛋了。”

  尽管如此,人们还是表达了对于这位“二战后最强数学家”的敬仰之情:“Hes still my hero.”上海寐享家居用品有限公司