0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

中科院以内部讨论组的形式做了关于证明黎曼猜想的报告

DPVg_AI_era 来源:未知 作者:李倩 2018-10-18 10:33 次阅读

黎曼猜想被国人证明了?10月13日,82岁北京大学退休数学教授李忠,在中科院以内部讨论组的形式做了关于证明黎曼猜想的报告。此次报告长达2小时,得到了北京大学数学学院院长、副院长等专家十分中肯的评价,称“黎曼猜想已被证明”。最终的论文评估结果,相信将在不久也会对外公布。

黎曼猜想被中国人证明了?!

上周六,名为“数学文化”(微博认证为:数学文化主编、南方科技大学数学教授汤涛院士)的微博发布消息:据说李钟教授已经在中科院数学所南楼做了用Reich定理证明黎曼猜想的报告,希望结果正确!

事实上,“数学文化”说的时间不对,其实是周六13号

新智元获得的最新消息是:北京大学已经退休的李忠教授,10月13日14:30-16:30,在中科院以内部讨论组的形式做了关于证明黎曼猜想的报告。

目前来看报告已经得到了多位数学界的大咖的认可。

数学家、北京大学数学科学学院教授郑忠国表示黎曼猜想已被证明。郑教授写道:

李忠利用Riech度量严格证明了黎曼假设。他的证明与数学家Atiyah(阿蒂亚老爵爷,此前曾做过黎曼猜想证明的报告)证明的关系可以简述如下:两人的思路相同,但Atiyah用一个量不合适,严格意义上证明是不完全的。李忠利用Riech度量以后证明就严格了。

数学家,北京大学数学科学学院原副院长,原中国数学会秘书长彭立中老师评评价说(此评论后由李忠教授转发给北大离退休老师群):

定义Riech度量(李-度量),证明Atiyah常数在该度量下是有限的数学常数,从而完成了RH之证明。李早于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年间,无数国内外数学家前赴后继地前去探索而后倒下,阿蒂亚爵士和李忠教授都不会是最后一位,还会有后来人。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 函数
    +关注

    关注

    3

    文章

    4304

    浏览量

    62426
  • 数学
    +关注

    关注

    0

    文章

    99

    浏览量

    19222

原文标题:黎曼猜想被中国人证明?!82岁北大退休教授李忠做报告,但先别定论

文章出处:【微信号:AI_era,微信公众号:新智元】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    开启全新AI时代 智能嵌入式系统快速发展——“第六届国产嵌入式操作系统技术与产业发展论坛”圆满结束

    计算机学院牛建伟教授主持。 中科院软件所副所长、总工程师,武延军研究员做了“AI大模型时代下的操作系统发展思考”主题演讲。 武延军介绍了操作系统的发展历程,指出应用的高速发展给操作系统带来的算力和数
    发表于 08-30 17:24

    【龙芯2K0300蜂鸟板试用】1 龙芯中科必知3件事

    CPU始于中科院计算所内部的“Godson CPU设计与验证系统”科研项目,2000年11月龙芯设计工作正式启动,2001年5月龙芯课题正式组建成立。2002年8月10日,中国首款通用CPU龙芯1号
    发表于 08-12 21:21

    中科院重庆研究在势垒可光调谐新型肖特基红外探测器研究获进展

    传统肖特基探测器和势垒可光调谐的肖特基红外探测器的对比 近日,中科院重庆绿色智能技术研究微纳制造与系统集成研究中心在《创新》(The Innovation)上发表了题为Schottky
    的头像 发表于 06-25 06:27 265次阅读
    <b class='flag-5'>中科院</b>重庆研究<b class='flag-5'>院</b>在势垒可光调谐新型肖特基红外探测器研究获进展

    中科院半导体所在高性能电泵浦拓扑激光器研发方面获进展

    优点成为研究热点,但基于电注入的拓扑激光器仍处于研究起步阶段。因此,发展出提高电泵浦拓扑激光器输出功率的设计思路和技术方案至关重要。 近期,中科院半导体研究所研究员刘峰奇团队在高性能电泵浦拓扑激光器研发方面取得进展。该研究创新性
    的头像 发表于 06-18 06:33 328次阅读
    <b class='flag-5'>中科院</b>半导体所在高性能电泵浦拓扑激光器研发方面获进展

    事关固态电池,中科院大消息!解决行业瓶颈,突破最后一道难关

    行业芯事行业资讯
    北京中科同志科技股份有限公司
    发布于 :2024年04月12日 09:03:24

    中科加禾完成天使轮数千万元融资,专注编译技术,推动国产算力和大数据发展

    创办于2023年的中科加禾,依托中科院计算所的雄厚科技实力,倾心于编译技术,旨在填补国产芯片生态系统的空缺,助力国产算力和大模型应用推广,推动我国人工智能产业的快速发展。其主营业务涵盖大模型训练推理加速及算子自动生成工具两大板块。
    的头像 发表于 03-19 16:49 1049次阅读

    定积分-黎曼和的极限解析

    定积分如果存在就是一个具体的数值,这个精确的定义是黎曼给出的,所以也叫黎曼积分。
    的头像 发表于 03-04 09:47 4919次阅读
    定积分-<b class='flag-5'>黎曼</b>和的极限解析

    湖南大学校长、王耀南院士一行赴中科亿海微调研指导

    、企业文化及发展概况,双方就半导体芯片领域国家战略需求、未来产业合作等方面开展深入座谈交流。中科亿海微主要从事可编程芯片及可重构系统产品研发及产业化,核心团队来自中科院
    的头像 发表于 02-19 12:17 795次阅读
    湖南大学校长、王耀南院士一行赴<b class='flag-5'>中科</b>亿海微调研指导

    国产FPGA:湖南大学段献忠校长、王耀南院士一行赴中科亿海微调研指导

    、企业文化及发展概况,双方就半导体芯片领域国家战略需求、未来产业合作等方面开展深入座谈交流。中科亿海微主要从事国产FPGA芯片及可重构系统产品研发及产业化,核心团队来自于中科院空天,公司多名高管及技术骨干均是
    的头像 发表于 02-04 10:10 902次阅读

    龙芯中科中科信息签订合作框架协议

    1月24日,龙芯中科技术股份有限公司与中科院成都信息技术股份有限公司(以下简称“中科信息”)合作框架签约仪式在成都兴隆湖畔科学城园区举行。
    的头像 发表于 01-26 11:44 790次阅读

    产学研三界顶级大咖分享:RISC-V场景Show暨开源生态高级别论坛定档12/19

    12月19日,RISC-V场景Show暨开源生态高级别论坛即将开幕。本次论坛将邀请来自中科院计算技术研究所副所长包云岗、嘉楠科技AI软件总监张晓晶、阿里巴巴达摩生态总监陈炜、清华大学长聘副教授陈渝
    发表于 12-15 18:36

    恭喜昊芯,上榜2023中国科学院科创企业先锋榜单

    新闻来源:中科院科技创新投资产业联盟在12月8日举办的中科院科技创新投资产业联盟2023年会上,中科院科技创新投资产业联盟发布中国科学院科创企业先锋榜单,30强科创先锋企业出炉。榜单由中国科学院控股
    的头像 发表于 12-15 08:03 1474次阅读
    恭喜昊芯,上榜2023中国科学院科创企业先锋榜单

    中科亿海微荣登中国科学院优秀科创企业榜

    近日中科院科技创新投资产业联盟2023年会上,中科院科技创新投资产业联盟发布中国科学院科创企业先锋榜单,中科亿海微电子科技(苏州)有限公司(简称中科亿海微)位列“优秀科创企业”TOP1
    的头像 发表于 12-14 08:11 677次阅读
    <b class='flag-5'>中科</b>亿海微荣登中国科学院优秀科创企业榜

    陶哲轩用 AI 形式化的证明究竟是什么?一文看懂 PFR 猜想的前世今生

    宣布:对多项式 Freiman-Ruzsa 猜想(PFR)的证明进行形式化的 Lean4 项目成功完成,并且耗时仅三周时间,其依赖图的全部节点都带上了「可爱的绿色阴影」。 Lean 编译器也
    的头像 发表于 12-10 21:45 754次阅读
    陶哲轩用 AI <b class='flag-5'>形式</b>化的<b class='flag-5'>证明</b>究竟是什么?一文看懂 PFR <b class='flag-5'>猜想</b>的前世今生

    中科昊芯完成Pre-B轮融资,用于DSP产品研发等

    作为中科院科技成果的转换企业,中科昊芯以开源指令集risc-v为基础,制造了多系列数字信号处理器产品,构建了完善的处理器产品生态系统。产品广泛应用于工业控制及电机驱动、数字电源、光伏、储能、新能源汽车、消费电子、白色家电等领域。
    的头像 发表于 12-06 14:39 1270次阅读