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

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

3天内不再提示

难以证明又无法推翻的黎曼猜想被证明了吗?

DPVg_AI_era 来源:未知 作者:李倩 2018-09-25 09:47 次阅读

困扰人类 159 年的最重要数学猜想被证明了?

刚刚公布的德国海德堡获奖者论坛日程中,9 月 24 日著名数学家 Michael Atiyah 将会做一场关于 “证明黎曼猜想” 的报告。消息传出,数学物理计算机各路豪杰,纷纷炸了锅。

海德堡获奖者论坛官网的日程显示,该报告是在 9 月 24 日上午

网址:https://www.heidelberg-laureate-forum.org/event_2018/

瑞典籍澳大利亚数学家 Steve McCormick 在社交网络上发布了这一消息,引起大量关注,小编在论坛官网证实的确有这样一个日程。(论坛官网一直到今天下午才能访问,可能是全球数学爱好者听说消息纷纷赶来围观,服务器都被拖垮了)

翻译一下摘要:“黎曼猜想是 1859 年提出的著名问题,至今悬而未决。我会基于冯诺依曼(1936)、希策布鲁克(1954)和狄拉克(1928)的相关工作,给出一个使用全新方法的简洁证明。”

德国海德堡获奖者论坛(Heidelberg Laureate Forum)是一个由国际顶级奖项(图灵奖、阿贝尔奖、林奈奖、菲尔兹奖)得主与青年学者交流的研讨会,自 2013 年开始举办,顶尖学者每年齐聚一堂,相关讨论在数学届甚至整个科学界都受到广泛关注。在这样一个大场合,倒配得上公布黎曼猜想得证的消息。

黎曼猜想——最重要的数学猜想

早在 1737 年,大数学家欧拉就发现了质数分布问题与 Zeta 函数的联系,给出并证明了欧拉乘积公式,使得 Zeta 函数成为研究质数问题的经典方法。

欧拉乘积公式,其中 p 为质数,n 为自然数

黎曼猜想(Riemann Hypothesis)由大数学家黎曼在 1859 年首次提出,讨论黎曼 Zeta 函数的非平凡解问题。

黎曼猜想是众多尚未解决的最重要的数学问题之一,被克雷数学研究所列为待解决的七大千禧问题,悬赏百万美金证明或者证伪。一百年前希尔伯特就曾被问过一个问题 “假定你能死而复生,你会做什么?”,他的回答是,“我会问黎曼猜想是否已经解决”。可见黎曼猜想多么吸引人。

伯恩哈德 · 黎曼(Bernhard Riemann,1826-1866)

集智俱乐部在今年 5 月,曾经报道过研究者用晶体衍射实验研究质数分布问题的最新进展。质数分布间隔的规模至今是未解之谜,而研究者发现,如果用质数序列作为准晶体微粒的分布间隔,就可以在其光学衍射结果中发现出分形结构。这为解开质数之谜提供了新的灵感,但仍然不能直接证明黎曼猜想。

质数分布、分形几何、晶体衍射——竟然被一个小实验联系到一起

如何用 Mathematica 窥探质数分布中隐藏的分形规律

Michael Atiyah 爵士是何许人也,竟然有这样的野心?

数学最高奖获得者,Michael Atiyah 爵士

Michael Atiyah(1924-)是当代著名数学家,主要研究领是几何,他于 1966 年获得 4 年颁发一次的数学界最高奖菲尔兹奖,而且在 1990-1995 年担任英国皇家学会主席。

Michael Atiyah(1924-)

Atiyah 最重要的工作都是在上世纪六七十年代完成的。但作为一位年届九旬的科学家,他仍然活跃在学术前沿,并时常有惊人之举,2016 年他因为给出一个 “6 维球面上不存在复结构” 的证明被质疑而颇具争议。

而黎曼猜想本身的确非常难,所以在 Michael Atiyah 证明黎曼猜想的消息公开之后,社交媒体上多数人仍在观望,毕竟太多人都曾声称自己证明了黎曼猜想但之后却被推翻,连大数学家哈代也犯过这种错误。

难以证明又无法推翻的黎曼猜想

回到黎曼猜想上。黎曼猜想是关于黎曼 Zeta 函数的零点分布的猜想。黎曼 Zeta 函数长这个样子:

黎曼 Zeta 函数有两种零点,一种是位于实数轴线上的零点,被称为平凡零点,另一种是位于其他复平面区域上的零点,被称为非平凡零点,目前数学家已经证明这些非平凡零点全部位于实部区间为 0 到 1 的复平面内,而黎曼则大胆猜想,这些非平凡零点全部位于实部为 1/2 的一条直线上。

“所有非平凡零点都位于实部为 1/2 的直线上” 是一个尚未得到严格证明的猜想,但数学家们至今找到的上万亿个非平凡零点的确都位于这条直线上,无一例外。

不止如此,黎曼猜想还跟幂律分布有关。

我们都知道幂律分布是指

其中 x 如果只能取 1,2,3,...,n 的整数,c 为归一化常数,满足:

而这里面的

就是 Zeta 函数,黎曼猜想就是关于这个函数的,但是 a 可以取复数值。

黎曼猜想真的会被证明吗?

质数分布没有简单规律,但质数出现的频率跟黎曼 Zeta 函数紧密相关。有数学家甚至认为黎曼猜想与强条件下的质数定理是等价的。目前已经验证了前 1,500,000,000 个质数对这个定理都成立,但至今没有完全证明。黎曼猜想得证,对质数研究、数论研究意义重大。

黎曼猜想对许多数学领域都意义重大,质数分布只是其中一个。有上千个数学命题都建立在黎曼猜想为真的基础上。多数数学家认为这个猜想是正确的,如果黎曼猜想被证伪,数学体系将失去重要根基。

作为菲尔兹奖和阿贝尔奖双料得主,Michael Atiyah 爵士已经功成名就,而且培养出许多优秀的年轻学者。如果真的证明了黎曼猜想,那 Michael Atiyah 就会登顶最伟大数学家的行列中。

真相如何?9 月 24 日见分晓!

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

    关注

    3

    文章

    4329

    浏览量

    62576
  • 数学
    +关注

    关注

    0

    文章

    99

    浏览量

    19235

原文标题:黎曼猜想被证明了吗?

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

收藏 人收藏

    评论

    相关推荐

    TSW14J56EVM无法HSDC Pro软件识别是哪里出了问题?

    测试,也证明只有那一块板子无法软件识别,下图是该块板子通电,与电脑USB口连接并打开软件后的反应,从图中可以看出,软件并没有识别出任何型号,请问是不是板子的接口出了问题
    发表于 12-13 08:21

    Perplexity洽谈第四轮融资,目标估值80亿美元

    人工智能搜索引擎Perplexity,以其挑战谷歌的雄心和创新能力,正在积极洽谈今年的第四轮融资。据悉,该公司希望以之前两倍多的估值筹集多达10亿美元,这一举动再次证明了投资者对人工智能初创企业的持续狂热。
    的头像 发表于 10-23 17:11 397次阅读

    鸿蒙开发:Universal Keystore Kit密钥管理服务 密钥证明介绍及算法规格

    HUKS为密钥提供合法性证明能力,主要应用于非对称密钥的公钥的证明
    的头像 发表于 07-15 18:28 678次阅读

    什么是碳化硅半导体?半导体生产面临哪些挑战?

    毋庸置疑,从社会发展的角度,我们必须转向采用可持续的替代方案。日益加剧的气候异常和极地冰盖的不断缩小,清楚地证明了气候变化影响的日益加剧。但有一个不幸的事实是,摆脱化石燃料正被证明极其困难,向绿色
    的头像 发表于 07-12 09:52 632次阅读

    安建半导体出席第36届功率半导体器件和集成电路国际研讨会

    在前不久结束的ISPSD2024 征稿评比中,安建半导体以工作单位独立参加碳化硅领域投稿,在口头报告录取率仅只有12.4%的激烈角逐下,成功入围口头报告,再次证明了安建半导体的威廉希尔官方网站 和创新能力。
    的头像 发表于 06-12 10:29 588次阅读

    苹果明年春季将在日本推出身份证明功能

     据报道,自明年春季起,日本居民可在苹果钱包内使用个人番号卡(与我国身份证相似)。通过该服务,iPhone用户可便捷地将个人番号卡插入苹果钱包,实现公共证明处理以及网上行政服务访问等操作。
    的头像 发表于 05-30 15:02 472次阅读

    Vishay发布两款采用超小型MiniLED封装的新型LED产品

    Vishay公司近日发布了两款采用超小型MiniLED封装的新型LED产品,分别是VLMB2332T1U2-08蓝色LED和VLMTG2332ABCA-08纯绿色LED。这两款LED的推出,再次证明了Vishay在LED威廉希尔官方网站 领域的领先地位。
    的头像 发表于 05-14 15:31 677次阅读

    CVPR'24 Highlight!跟踪3D空间中的一切!

    为了使用三维运动先验正则化估计的三维轨迹,模型另外预测了每条轨迹的刚性嵌入,这使能够软地分组表现出相同刚性体运动的像素,并为每个刚性集群强制执行ARAP正则化。作者证明了刚性嵌入可以通过自监督学习,并产生不同刚性部分的合理分割。
    的头像 发表于 04-13 12:12 1235次阅读
    CVPR'24 Highlight!跟踪3D空间中的一切!

    揭秘第96届奥斯卡最佳视觉效果奖提名影片背后的“魔法”

    第 96 届奥斯卡最佳视觉效果奖提名影片证明了威廉希尔官方网站 的惊人进步正在不断打破电影发展的桎梏。
    的头像 发表于 04-10 10:16 399次阅读

    Know Labs无创连续血糖监测仪在临床研究中显示高准确性

    Know Labs首次进行有糖尿病患者参与,将其静脉血作为参照的无创连续血糖监测仪临床研究,证明了其专有传感器的高准确性和医学应用潜力。
    的头像 发表于 03-14 10:45 2167次阅读
    Know Labs无创连续血糖监测仪在临床研究中显示高准确性

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

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

    SolidVue为激光雷达传感器设计SoC,可评估周围物体的形状和距离

    据麦姆斯咨询报道,韩国目前唯一一家专门从事CMOS激光雷达(LiDAR)传感器芯片开发的厂商SolidVue近期宣布其两篇激光雷达相关论文“2024年国际固态电路会议(ISSCC)”接收,这再次证明了SolidVue全球领先的威廉希尔官方网站 实力。
    的头像 发表于 02-28 09:56 805次阅读

    场强是电势的梯度如何证明

    强度,(V)是电势,(nabla)是梯度运算符。 为了证明场强是电势的梯度,需要详细解释电场定律的推导过程以及场强和电势之间的关系。下面将分为四个部分进行阐述。 第一部分:电场定律的推导 电场定律可以从库仑定律出发推导得到。根据库仑定律,两个电荷之间的相互作用力与它们
    的头像 发表于 02-26 16:10 1344次阅读

    马斯克550亿美元薪酬方案推翻 马斯克4000亿薪酬被判无效

    马斯克550亿美元薪酬方案推翻 马斯克4000亿薪酬被判无效 就在市场强烈关注马斯克的首例人类脑机接口手术之际,马斯克爆出他那超级高的薪酬方案
    的头像 发表于 01-31 11:18 1856次阅读

    全球Chiplet市场规模已达到31亿美元

    AMD也在其Ryzen9 5900X处理器中采用了小芯片构架,并已证明了其性能。这种威廉希尔官方网站 的应用预计将进一步推动半导体产业生态链的重构。
    的头像 发表于 01-25 17:18 1358次阅读