中科院以内部讨论组的形式做了关于证明黎曼猜想的报告
发布日期:2021-12-11 22:54   来源:未知   阅读:

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

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

  新智元获得的最新消息是:北京大学已经退休的李忠教授,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小时的黎曼猜想全新证明。

  消息一出,便在网络引起了不小的轰动,受到了来自学术界、媒体界等各方面的关注。

  新智元当天到现场的N913室,教室本应坐满慕名前来想要见证历史性时刻的“观众”,但在下午2:40仍只有几个学生坐在那里自习。

  根据接待老师的说法,本次所谓的黎曼猜想证明报告会,并非网络中所传播的那般正式,只是李忠教授想要与几位学者坐下来共同探讨一下这个问题。而经网络宣传,却被传播成了像前几日阿蒂亚爵士那样的证明报告会。

  然而,在场的一位不愿透露姓名的教授,在表达了他失望的同时也表示非常愤怒,“不论是谁的责任,都不应该拿科学开玩笑”。

  就在群众以为又是一次乌龙事件时,剧情开始反转:李忠教授还是举办了这次证明报告会,只是更改了报告时间。

  “黎曼猜想” 是数学界迄今最重要的猜想之一,被克雷数学研究所列为 “有待解决的七大千禧问题”。而黎曼猜想为何如此难证,主要原因如下:

  90岁高龄的英国数学家阿蒂亚爵士于9月20日宣称证明出黎曼猜想,数学界为之一震。而9月24日,当阿蒂亚爵士仅用5页论文对其论证过后,外界反响并没有想象中的那般轰动。许多专家对他的证明结果选择缄默不言。而目前看来,外界普遍的观点还是不严整。

  而就在此事余温尚存之际,同样是高龄的著名数学家,并且还是国人,就必然会引起一番热潮,尽管这份期待可能会非常谨慎。而更重要的是,这张网络疯传的报告预告中赫然写着“全新证明”、“所有步骤有严格详细解释与证明”,这些描述从读者角度看来,正是比阿蒂亚爵士更胜一筹。

  真正从事学术研究的或许只是极少一部分,但对真理的好奇与探求却不只是学者的专利。

  此前,阿蒂亚爵士公布黎曼猜想的证明过程不仅仅引发了一场数学界的地震,更吸引了更多平时与数学看似毫无关系的人的注意。如今李忠教授试图证明黎曼猜想这一消息所引起的热度也印证了这一点。

  与现年90岁的阿蒂亚爵士相似,李忠也是高龄学者。在公布要挑战证明黎曼猜想时,不乏有唱衰者。

  事实上,对于学术,无论成败,探索精神都是前提。在探索真理的道路中,失败的经验并非毫无价值。若失败,也能让后来者在探索的道路上避开这些障碍。

  自1859年黎曼猜想诞生以来,无数数学巨匠为之付出了心血。但这条破解之路上,虽然没人完全取得成功,但在这一过程中数学家们也为破解这一难题提供了很多思路与方法,例如:

  1981年,荷兰三位数学家J.van de Lune、H.J.Rielete以及D.T.Winter用检验黎曼的假设,他们对最初的2亿个齐打函数的零点检验,证明黎曼的假设是对的;

  1982年,前苏联数学家马帝叶雪维奇在前苏联杂志《Kibernetika》宣布,他利用电脑检验一个与黎曼猜想有关的数学问题,可以证明该问题是正确的,从而反过来可以支持黎曼的猜想很可能是正确的;

  2018年,钮鹏程,西北工业大学应用数学系教授,讨论了Riemann zeta函数的非平凡零点的性质。

  159年间,无数国内外数学家前赴后继地前去探索而后倒下,阿蒂亚爵士和李忠教授都不会是最后一位,还会有后来人。

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

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

  usart库函数是什么? 在UASRT串口可以用printf函数发送数据吗?...

  stm32最小系统板要怎么得到感知层采集到的数据呢? STM32F103ZE最小系统板的主函数的流程是怎样的? ...

  怎样使用printf去打印串口信息呢? 怎样去配置STM32F1RC相关代码呢? ...

  今天有点空,我们移植一下LVGL~ 先看效果图:     在这之前,我们得调试好屏幕及触摸~ 我们以....

  Other Parts Discussed in Post: C2000WARE作者: Emma W....

  怎样去编写usart.c串口中断处理函数呢? timer.c定时器中断函数该如何去实现呢? ...

  如何利用stm32+AT指令去设置esp8266呢? 怎样通过按键启动初始化函数使ESP8266正常启动呢? ...

  为什么使用调试后的UART3做通讯串口会发现程序卡死在函数中呢?怎样去解决?...

  在dgus屏上输入的数据发送给STM32竟然丢失了,这是什么原因 ...

  STM8S串口初始化函数该怎样去实现呢? STM8S串口发送相关函数该怎样去实现呢? ...

  IDE的串口该如何去实现呢? DMA函数怎样去完成对串口数据的收发呢? ...

  前言  基于HarmonyOS ArkUI 3.0 框架的木棉花扫雷(上) 已经给大家分享了木棉....

  基于安卓平台的滑动拼图验证组件 SwipeCaptcha,实现了鸿蒙化迁移和重构,代码已经开源....

  Arduino 常用函数参考文档一、程序结构二、数字输入输出三、模拟输入输出四、模拟输入输出一、程序....

  认证是指用户采用某种方式来证明自己确实是自己宣称的某人,网络中的认证主要包括身份认证和消息认证。身份....

  调试大型软件程序始终是一项具有挑战性的工作;通常情况下,很难知道从哪儿入手!MSP432低功率和高性....

  Other Parts Discussed in Post: ENERGIA当你需要提升产品性能时,....

  4利用移位函数操作点亮流水灯 PROTEUS 和51单片机教程(附仿真文件+源代码)

  功能说明:利用移位函数操作点亮流水灯程序源代码如下:#include #include #defin....

  在平时资料中,我们常看到: new和delete,new[]和delete[]一定要配对使用! 也 ....

  随着软件工程的规模逐步扩大、复杂程度逐渐提升,以及敏捷开发对效率和协作有了更高的要求,项目干系人如何....

  之前在心率检测程序中用到了firpm函数,出现了一些问题。然后又看到读者的留言,确实之前关于滤波仿真....

  除了汇编语言工程和C语言工程,许多嵌入式工程既包含C语言又包含汇编语言。由于Keil MDK的默认启....

  前言     测试代码的运行时间的两种方法: 使用单片机内部定时器,在待测程序段的开始启动定时器,在....

  最近在玩AB32VG1,在做OLED显示实验时,很多关于AB32VG1驱动OLED的文章,很多都是官....

  1. 说明 在工作过程中,我发现在实际使用RTOS完成项目时,理解这些知识仅能达到会用RTOS的水平....

  摘要 :今年实验室来了三个学妹,其中一个学妹以前是物联网专业的,进了实验室老师二话没说:先把ST....

  【 导读】什么是闭包? 什么场景下会用闭包 ? 本文对 go 语言中的闭包做了详细介绍。 闭包是....

  在你的C语言代码中,不知能否看到类似下面的代码: 这好像没有什么问题,你应该还会想:“嗯⋯是啊,我们....

  Windows 应用程序入口函数 GUI(Graphical User Interface)应用,链....

  来源: pypypypy 内置函数就是Python给你提供的,拿来直接用的函数,比如print.,i....

  锁是一个常见的同步概念,我们都听说过加锁(lock)或者解锁(unlock),当然学术一点的说法是获....

  在Linux系统中,每个进程都有独立的虚拟内存空间,也就是说不同的进程访问同一段虚拟内存地址所得到的....

  Vivado 仿真器支持混合语言项目文件及混合语言仿真。这有助于您在 VHDL 设计中包含 Veri....

  摘要:通常 新手在入门STM32的时候,首先都要先选择一种要用的开发方式,不同的开发方式会导致你编程....

  内置函数就是Python给你提供的,拿来直接用的函数,比如print.,input等。 截止到p....

  Socket Linux Socket 编程(不限 Linux) Socket 中的 read()、....

  Go 语言 sync 包中的锁都在什么场景下用?怎么用?本文对 sync 包内的锁做了梳理。 今天谈....

  负反馈因其可以稳定增益、减小失真、扩展带宽、变换阻抗等功能而在电子、控制等诸多领域发挥着重大作用。小....

  什么是闭包? 什么场景下会用闭包 ? 本文对 go 语言中的闭包做了详细介绍。 闭包是由函数及其相关....

  Python 是一种脚本语言,相比 C/C++ 这样的编译语言,在效率和性能方面存在一些不足。但是,....

  1.近实时搜索 1.1 实时与近实时 实时搜索(Real-time Search)很好理解,对于一个....

  前言以前没怎么接触前端,对 JavaScript 的异步操作不了解,现在有了点了解。一查发现 Pyt....

  当用均值滤波器降低图像噪声的时候,会带来图像模糊的副作用。我们当然希望看到的是清晰图像。那么,清晰图....

  来源 痞子衡嵌入式 一、Cortex-M中断向量表对齐原则   中断向量表就是一个集中保存系统全....

  初识Python语言,觉得python满足了我上学时候对编程语言的所有要求。python语言的高效编....

  C语言中比较重要的就是指针,它可以用来链表操作,谈到链表,很多时候为此分配内存采用动态分配而不是静态....

  来自:复旦DISC 引言 本次分享我们将介绍三篇来自ACL2021的跨视觉语言模态的论文。这三篇文章....

  本期是C++基础语法分享的第七节,今天给大家来分享一下: (1)虚析构函数; (2)纯虚函数; (3....

  随着Python成为主流的编程语言,MicroPython在嵌入式系统领域也越来越热门起来,尤其是大....

  如今,编码测试在数据科学面试过程中几乎是标准的。 作为一名数据科学招聘经理,我发现一个20-30分钟....

  Python的时间处理模块在日常的使用中用的较多,但是使用的时候基本上都是要查资料,还是有些麻烦的,....

  数据压倒一切。如果选择了正确的数据结构并把一切组织的井井有条,正确的算法就不言自明。编程的核心是数据....

  ‍对,你没看错,本文就是教你怎么写出让同事无法维护的代码。一、程序命名 容易输入的变量名 。比如:F....

  1.常用门电路图 2.逻辑代数的基本定理----化简时比较好用 反演定理:对于任意一个逻辑式 Y,若....

  众所周知鸿蒙 JS 框架是非常轻量级的 MVVM 模式。通过使用和 Vue2 相似的属性劫持技术实现....

  Linux 内核热补丁可以修复正在运行的 linux 内核,是一种维持线上稳定性不可缺少的措施,现在....