网易首页 > 网易号 > 正文 申请入驻

谷歌科学家发布自动猜想系统,已“猜想”出上千个数学新公式

0
分享至

  

  大数据文摘作品

  作者:Mordechai Rorvig

  来源:vice

  编译:Hippo

  一个好的猜想对数学家来说就像是一种电磁力。好的数学猜想可以以极其精确和简洁的方式陈述了极其深刻的事物、精彩地证明或反推其真理。

  但是提出一个好的猜想是异常困难的。它必须足够深刻,以引起好奇和探究,但又不能模糊不清,以至于一开始根本无从窥见其真容。

  数学上许多最著名的问题都是猜想,而不是解决方案,例如“费马大定理”(由17世纪法国数学家皮耶·德·费马提出,历经三百多年,最终在1995年由英国数学家安德鲁·怀尔斯宣布将其证明)。

  

  现在,来自以色列理工学院和谷歌特拉维夫办公室的一组研究人员提出了一个自动猜想系统,称为Ramanujan机器,以数学家Srinivasa Ramanujan的名字命名,Srinivasa Ramanujan在几乎没有经过正式培训的情况下开发了数以千计的数论创新公式。该软件系统已经“猜想”出了数学中的一些通用常数的原始和重要公式。其成果于上周在《自然》杂志上发表。

  链接:

  https://www.nature.com/articles/s41586-021-03229-4

  由这套系统创建的公式之一可以计算卡塔兰常数( Catalan’s number),它比以前任何人类发现的公式都更为有效。但是,Ramanujan机器被认为不会取代数学,而只是为现有的数学家提供一种参考。

  正如研究人员在论文中所解释的,整个数学学科可以分解为两个过程,粗略地说包括事物猜想和事物证明。有了更多的猜想,数学思维的精髓就会增加,数学家也就有了更多证明和解释的原料。

  这并不是说他们的系统是明确的。正如研究人员所说,Ramanujan机器“正在试图取代伟大数学家的数学直觉,并为进一步的数学研究提供线索。”

  研究人员的系统并不是所谓的通用数学机器。相反,它推测如何计算称为通用常数的值的公式。最著名的例子是pi,它给出了圆的周长与直径之间的比率。Pi之所以可以称为通用的,是因为它贯穿整个数学,而之所以恒定,是因为无论圆大小如何,它的值都相同。

  特别是,研究人员的系统对通用常数(如pi)的值进行推测,这些推测用称为连分数(continued fractions)的优雅公式来表示。连分数本质上是分数,但看上去让人眼花缭乱。连分数中的分母包括两项之和,其中第二项本身也是分数,其分母本身包含又一个分数,依此类推,直至无穷大。

  连分数很早就以其的独特的组合推动数学家前进,分数的总值通常等于重要常数,朴素而又深刻。正如罗格斯大学的Robert Doughtery-Bliss和Doron Zeilberger在2020年的预印本中所写的那样,除了在美学上“内在地迷人”之外,它们还有助于确定常数的基本属性。

  链接:

  https://arxiv.org/abs/2004.00090

  Ramanujan机器是基于两种主要算法构建的。这些连续的分数具有很高的置信度,能够等于通用常数。这种高置信度是很重要的,否则,这些猜想将很容易被抛弃并且几乎没有价值。

  每个猜想都采用方程式的形式。思路是等号左边的量(一个包含通用常数的公式)应等于右边的连分数的值。

  为了得出这些猜想,该算法在式左侧选用任意通用常数,右侧选用任意连分数,然后以一定的精度分别计算。如果两侧相等,则以更高的精度再次计算以确保它们的相等不是巧合。至关重要的是,以任意精度计算pi等通用常数的值的公式是已有的,因此验证匹配的唯一障碍是计算时间。

  在这种算法被提出之前,数学家需要利用现有的数学知识和定理做出猜想,但借助自动猜想算法,数学家也许可以使用它们来逆向推理工程上隐藏的定理,或是得出更加优雅的成果,就像Doughtery-Bliss和Zeilberger所展示的那样。

  但是到目前为止,研究人员最大的发现不是隐藏的知识,而是一个令人惊讶的重要新猜想。也就是卡塔兰常数,这是一个专门的通用常数,应用在许多数学问题中。

  新发现的连分数表达式可以对卡塔兰常数进行迄今为止最快的计算,超过了以前的公式在计算机上的计算效率。这标志着的一个新的进步,或许可以比拟计算机第一次击败国际象棋大师,不过这一次是在“猜谜”游戏中。

  素材来源:

  https://www.vice.com/en/article/xgzkek/machines-are-inventing-new-math-weve-never-seen

  志愿者介绍

  

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐

三亚成宰客胜地!海胆蒸蛋光有蛋,威胁退伍军人“老板势力很大”

财经正解局
2021-04-11 18:57:14

中国首部“全裸出镜”的电影,被拍了出来,是为了隐喻什么?

云纳君
2021-04-10 21:53:39

姑娘,下次睡觉前先把东西放好吧,看得我都替你尴尬了!

路晓娱乐社
2021-04-10 11:47:34

无序:又要抵制?这就是为什么2008年那么难,我们还要办奥运的原因

观察者网
2021-04-12 07:54:24

惨烈,没有气囊宏光MINIEV直接被撞烂,母女身亡,孩子才1岁

财富管理专员
2021-04-12 00:44:07

男朋友今年25岁,同房8分钟不到就「缴械」,是早泄吗?

弘大中医晟哥
2021-04-11 21:32:06

海胆蒸蛋没海胆:3月刚去三亚玩,总结三个字——贵、狠、坑

夏主编旅游攻略
2021-04-12 01:18:24

48岁暗香沙宝亮,娶苏麻喇姑,今活成人生赢家

娱乐每日扒
2021-04-10 11:17:11

姚明沉默16天!易建联宣布新决定,中国男篮一哥又让球迷伤心了

大咖唠体育
2021-04-11 18:59:09

30万黑人离开了广州?他们没有回国,反而涌入了我国这个城市

金牌办事员
2021-04-11 19:37:32

爸爸错发消息到家长群,内容叫人浮想联翩,妈妈:没脸接孩子了

糖心教育
2021-04-10 13:33:34

满门忠烈!国米多名主力球员因想留队与经纪人解约,巴萨无辜躺枪

一米侃球
2021-04-11 23:04:23

疑点重重!美国军医硬闯德特里克堡被击毙,病毒基地要藏不住了?

钟铭聊科学
2021-04-09 11:45:00

史上最搞笑新闻:居然全是真人真事!绝了!无奇不有~

老北京城
2021-04-11 12:01:31

鹅厂又封杀一大盘

你怎么这么好笑
2021-04-11 20:09:57

恭喜!官宣生子!怒甩渣男后下嫁富豪老公:原来有些人,真是用来错过的

八姐论八卦
2021-04-11 16:41:07

还记得那个狂傲的许可馨吗?爸妈被她拉下水,如今过得咋样?

板凳哥
2021-04-12 00:41:25

中国这次干得漂亮,直接“退还”千亿大单,国人:就不能惯着他们

记录之路
2021-04-12 03:25:05

刚刚:邵阳多名省管干部任前公示公告发布

邵阳一时间
2021-04-11 19:21:50

到女儿家小住了一个月,我赶紧逃离,丧天良的女婿断了我的养老梦

三哥情感屋
2021-04-11 16:38:36
2021-04-12 10:01:08
大数据文摘
大数据文摘
专注大数据,每日有分享!
4208文章数 85662关注度
往期回顾 全部

科技要闻

苹果春季发布会推迟发布,只因"芯太乱"?

头条要闻

美国警察遭白人司机持枪射杀 凶手临走还爆头补枪

头条要闻

美国警察遭白人司机持枪射杀 凶手临走还爆头补枪

体育要闻

提气!曼联连轰3球逆转热刺 卡瓦尼鱼跃

娱乐要闻

张雨绮窗边拍照 抹胸裙配白纱太撩人

财经要闻

汽车要闻

奥迪电动旗舰亮相 e-tron GT综合续航488公里

态度原创

教育
亲子
家居
游戏
公开课

教育要闻

上交硕士张迪,29岁生命戛然而止,最后一个决定叫人哽咽

亲子要闻

5岁孩子看完就去马桶舀水喝!《小猪佩奇》等21部动画片被查出问题

家居要闻

港男月入过万只能带妻儿住7平蜗居 在洗衣机上做饭

《仙剑奇侠传》上架Steam 15日正式发售

公开课

冯唐:混得再差别碰这2件事,会越来越没前途