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

    文章

    3892

    浏览量

    61310
  • 数学
    +关注

    关注

    0

    文章

    99

    浏览量

    19037

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

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

收藏 人收藏

    评论

    相关推荐

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

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

    探秘我国集成电路科技工作者早期创业足迹

    所),并选派11所半导体研究室的科技人员宋秉治、常振华、邓先灿、谢国璋、顾泰等同志,与中科院物理所及全国多家院校的半导体学者、专家、有关科研人员组成协作,在北京华北无线电元件研究所联合开展锗提纯、锗
    发表于 03-30 17:22

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

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

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

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

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

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

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

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

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

    宣布:对多项式 Freiman-Ruzsa 猜想(PFR)的证明进行形式化的 Lean4 项目成功完成,并且耗时仅三周时间,其依赖图的全部节点都带上了「可爱的绿色阴影」。 Lean 编译器也
    的头像 发表于 12-10 21:45 421次阅读
    陶哲轩用 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 600次阅读

    Formal Verify形式验证的流程概述

    Formal Verify,即形式验证,主要思想是通过使用数学证明的方式来验证一个修改后的设计和它原始的设计,在功能上是否等价。
    的头像 发表于 09-15 10:45 503次阅读
    Formal Verify<b class='flag-5'>形式</b>验证的流程概述

    Landau-Siegel零点猜想是什么?

    Landau-Siegel 零点猜想是数论领域中的一个重要未解问题,与黎曼猜想和类似的问题密切相关。
    的头像 发表于 09-05 11:19 370次阅读
    Landau-Siegel零点<b class='flag-5'>猜想</b>是什么?

    联发科天玑9300引发业界讨论

    最新报告显示,联发科再次成为全球智能手机芯片市场的领导者,占据了32%的市场份额。他们的旗舰芯片天玑9300的崛起引发了业界的讨论
    的头像 发表于 08-09 16:14 909次阅读

    三句话生成CPU!中科院ChipGPT攻克AI芯片设计?

    杜克大学陈怡然老师在微博上表达了对芯片自动生成领域的关注,认为这个话题令人振奋,而中科院计算所 ChipGPT 也同样引人瞩目,但是想要真正做到自动化芯片生成还有很长的路要走。
    的头像 发表于 07-16 15:41 536次阅读
    三句话生成CPU!<b class='flag-5'>中科院</b>ChipGPT攻克AI芯片设计?

    OpenHarmony社区运营报告(2023年5月)

    年5月27日,代码共建协同华为、深开鸿、润和软件、软通动力、开鸿智谷、九联科技、君正、汇思博、诚迈科技、中科院软件所、中软国际等共建单位锁定2023年共建目标,其中,TOP 10为: ● 深开鸿
    发表于 06-19 15:52

    中科院纳米能源所:研发手术中用于体内血压监测的组织黏合压电软传感器

    传感新品 【中科院纳米能源所:研发手术中用于体内血压监测的组织黏合压电软传感器】 手术期间患者生命体征对医生了解病人状态十分重要。特别是血压监测在手术中起着关键作用,可以帮助医生及时调整治疗方案
    的头像 发表于 05-30 08:37 453次阅读
    <b class='flag-5'>中科院</b>纳米能源所:研发手术中用于体内血压监测的组织黏合压电软传感器

    中科院发布“香山”与“傲来”两项开源处理器芯片

    中科院计算技术研究所副所长包云岗介绍了目前全球性能最高的开源高性能RISC-V处理器核项目“香山”。他指出,计算技术研究所对标ARM Cortex-A72,已于2021年成功研制出第一代“香山
    发表于 05-28 08:43