[爆卦] Google发表拉马努金机 能得出常数的公式
楼主: jackliao1990 (jack) 2021-02-06 21:49:42
http://www.ramanujanmachine.com/
https://github.com/AnonGit90210/RamanujanMachine
https://www.nature.com/articles/s41586-021-03229-4
随着深度学习的发展，AI已经能做出数学证明，甚至帮忙解决数学中尚未解决的问题-比
如产生数学公式，就像数学天才拉马努金一样。
![]()
Google新发表的拉马努金机能够找出π和e等常数的连分数。连分数是逼近常数的公式，只
要连分数的分母持续延伸，计算值就越逼近该常数。历史上找出常数的连分数的人通常是
尤拉、高斯这种有长年知识积累和异于常人直觉的天才。而拉马努金机运行几毫秒就能得
出常数的数学结构，无需任何先验资讯。
拉马努金机首先用中间相遇法公式得出一个精度较低的值并存入杂凑表，然后用枚举法使
公式左右两边的值匹配。接着增加精度并重新比较，重复此过程直到匹配值达到指定精
度。最终得到新的连分数。
中间相遇法存在扩充套件性不佳的问题，为此研究员使用机器学习常用的梯度下降方法
-Descent&Repel法，通过转换为实数网格点来定义猜测的正则公式，进而优化整数分数。
此外研究员还提出计算任意精度的有理函式来减少错误的匹配值。
除了π和e，拉马努金机还分析了李维常数、辛钦常数、天文学的拉普拉斯极限等常数。
有些经验常数如混沌理论的费根鲍姆常数，研究员缺乏这种常数的已知资讯。有了拉马努
金机，研究员只输入数值资料就能得到此类常数的逼近公式，进而从公式反推常数背后的
新学问。除此之外，拉马努金机也能检验常数是否为无理数(如卡塔兰数)。
https://github.com/AnonGit90210/RamanujanMachine
https://www.nature.com/articles/s41586-021-03229-4
随着深度学习的发展，AI已经能做出数学证明，甚至帮忙解决数学中尚未解决的问题-比
如产生数学公式，就像数学天才拉马努金一样。
Google新发表的拉马努金机能够找出π和e等常数的连分数。连分数是逼近常数的公式，只
要连分数的分母持续延伸，计算值就越逼近该常数。历史上找出常数的连分数的人通常是
尤拉、高斯这种有长年知识积累和异于常人直觉的天才。而拉马努金机运行几毫秒就能得
出常数的数学结构，无需任何先验资讯。
拉马努金机首先用中间相遇法公式得出一个精度较低的值并存入杂凑表，然后用枚举法使
公式左右两边的值匹配。接着增加精度并重新比较，重复此过程直到匹配值达到指定精
度。最终得到新的连分数。
中间相遇法存在扩充套件性不佳的问题，为此研究员使用机器学习常用的梯度下降方法
-Descent&Repel法，通过转换为实数网格点来定义猜测的正则公式，进而优化整数分数。
此外研究员还提出计算任意精度的有理函式来减少错误的匹配值。
除了π和e，拉马努金机还分析了李维常数、辛钦常数、天文学的拉普拉斯极限等常数。
有些经验常数如混沌理论的费根鲍姆常数，研究员缺乏这种常数的已知资讯。有了拉马努
金机，研究员只输入数值资料就能得到此类常数的逼近公式，进而从公式反推常数背后的
新学问。除此之外，拉马努金机也能检验常数是否为无理数(如卡塔兰数)。
作者: ARCHER2234 (土波) 2021-02-06 21:50:00
我也可以
作者: q2203649 (卖抠~) 2021-02-06 21:50:00
跟我上次导出来的结果差不多
作者: oxoxx (oxoxx) 2021-02-06 21:50:00
啥
作者: easyfish (easyfish) 2021-02-06 21:51:00
先学好中文吧
作者: yoyodiy (废文心得文大师) 2021-02-06 21:51:00
1+1=2 这种还需要什么高运算力的电脑
作者: ash9911911 (勇者あああああ) 2021-02-06 21:51:00
可恶 又被抢先了
作者: ls4860 (我是熟番) 2021-02-06 21:51:00
他妈的这段中文在说什么？？？
作者: xzcb2008 (éžå¸¸æ£®77牛) 2021-02-06 21:52:00
干真的猛
作者: brad001 (野生布莱德) 2021-02-06 21:52:00
恩 跟我想的一样
作者: junki8957 (王子) 2021-02-06 21:52:00
恩恩 跟我洗澡时想到的一样 google蛮不错的喔
作者: ppptttqaz 2021-02-06 21:53:00
天才中的天才 拉马努金
作者: RossiBean (咻～) 2021-02-06 21:55:00
我猜也是，这AI算法虽然有缺点但还算理想
作者: newwu (frankwu) 2021-02-06 21:56:00
干这好酷
作者: PONANZA (電王) 2021-02-06 21:56:00
太强 所以被砍帐号QQ
作者: tkc7 (至情至性) 2021-02-06 21:56:00
楼下早就想到只是懒得发表
作者: Doub1eK (万事都ok) 2021-02-06 21:56:00
我理组的 我看不懂在公三小
作者: harryron9 (两个世界) 2021-02-06 21:58:00
没想到google已经跟上我的脚步了...
作者: snow3804 (snow3804) 2021-02-06 21:58:00
说中文好吗
作者: linlaosure (蔻尼挤哇) 2021-02-06 21:58:00
好 继续努力
作者: MinaseNayuki (水濑名雪) 2021-02-06 21:59:00
我终于有知音了
作者: hhze0611 (hz) 2021-02-06 21:59:00
你说中文啊阿鬼
作者: Homeparty (认命,知命,然后听天可也.) 2021-02-06 21:59:00
为什么都写中文，我看不懂
作者: sky6969 (CNBLUE的LOVE好听^^OK了) 2021-02-06 22:00:00
我们需要的是能来PTT发废文的AI
作者: lice0225 (濑斯) 2021-02-06 22:00:00
啊 人类又失去了一个领域吗
作者: Su22 (装配匠) 2021-02-06 22:00:00
跟我想的差不多
作者: arrenwu (键盘的战鬼) 2021-02-06 22:01:00
简单的来说就是这个东西在猜右边那种递回分式的极限可能可以写成那些已知的常数的样子而他如果猜出一个结果，数学家可能就可以直接进入证明的阶段
作者: pinhanpaul (没风度到极点的病) 2021-02-06 22:02:00
小寒歌来了
作者: arrenwu (键盘的战鬼) 2021-02-06 22:03:00
其实我也不知道这有什么应用就是了
作者: leocean9816 (阿光) 2021-02-06 22:04:00
机器学习教授：同学们，今天的作业是...
作者: XDDDpupu5566 (XDpu56家族) 2021-02-06 22:06:00
金ㄦㄐㄧ
作者: lolic (lolic) 2021-02-06 22:06:00
google到现在才追上印度阿三的脚步
作者: XDDDpupu5566 (XDpu56家族) 2021-02-06 22:07:00
*金鸡好ㄘ 干为什么键盘乱送出
作者: Ed860227 (Phag125) 2021-02-06 22:07:00
可能可以拿来当作密码锁？
作者: reexamor (gtc) 2021-02-06 22:07:00
我只看到李维，他踹惹艾伦一脚
作者: arrenwu (键盘的战鬼) 2021-02-06 22:07:00
这没办法当密码用吧 Google这算法不是算出正确的表示只是猜而已
作者: LeafLu (小叶) 2021-02-06 22:07:00
有点酷
作者: movieghost 2021-02-06 22:08:00
嗯嗯 嗯嗯 嗯嗯
作者: mack860120 (大腰果™) 2021-02-06 22:09:00
讲人话
作者: XDDDpupu5566 (XDpu56家族) 2021-02-06 22:11:00
可是当初拉马努金也是灵感猜，不是都有证明吧？
作者: lucifiel1618 (Lucifiel) 2021-02-06 22:11:00
对电脑计算的精度很重要啊
作者: newwu (frankwu) 2021-02-06 22:11:00
要是进步到能广泛的丢数值解就估出解析解 很有用吧
作者: derekhsu (è¯éº—的天下無雙) 2021-02-06 22:11:00
要看懂这些要懂数学＋电脑...
作者: arrenwu (键盘的战鬼) 2021-02-06 22:13:00
@XDDDpupu5566 是。这机器也是在猜
作者: palapalanhu (宅宅史莱姆Lv.1) 2021-02-06 22:13:00
神
作者: ginsengwolf ( ) 2021-02-06 22:13:00
1+1=2 ez
作者: bolu0401 (鸽鸽缠) 2021-02-06 22:13:00
...我都写好paper了 被抢先发表了 干
作者: pokiman (勃起男) 2021-02-06 22:14:00
拉玛努金常常不做证明直接写答案
作者: arrenwu (键盘的战鬼) 2021-02-06 22:14:00
没有证明其实就不是答案了只是要数值的话其实现在随便一个大学生都算得出来数学工作困难的地方在于你要怎么证明你说的话是对的
作者: lesterc (尾大力) 2021-02-06 22:16:00
快逃阿 谷歌就是天网
作者: lucifiel1618 (Lucifiel) 2021-02-06 22:17:00
像现代电脑里圆周率就是拉马努金公式衍生出来的，用泰勒展开那套的话你一个简单的物理计算都要半天了
楼主: jackliao1990 (jack) 2021-02-06 22:17:00
能得出常数的公式再反推背后的理论意义 帮助很大了
作者: b1izzard2000 (OGC) 2021-02-06 22:18:00
看不懂
作者: allenmusic (艾伦) 2021-02-06 22:21:00
等能算出下期乐透号码才厉害
作者: loveadu (Aimer) 2021-02-06 22:23:00
差不多，还可以再精准一点
作者: arrenwu (键盘的战鬼) 2021-02-06 22:23:00
这个没有到 得出常数的公式 这么强
作者: create8 (念数学) 2021-02-06 22:27:00
看无，天才无限家
作者: www115ui8 (......) 2021-02-06 22:34:00
听说拉马努金有写证明 但擦掉了
作者: KJC1004 2021-02-06 22:34:00
数学家瑟瑟发抖
作者: potionx (YEN YUAN-YEN) 2021-02-06 22:35:00
减少猜测时间 筛选出少数可能公式再去验证 算加速进步
作者: Tsubasa1008 (我想去旅行) 2021-02-06 22:36:00
跟我想的差不多
作者: starwillow (In my life) 2021-02-06 22:37:00
嗯嗯跟我想的差不多
作者: hongtzai ( ) 2021-02-06 22:43:00
个人理解：(看似)无理数→分式化(逼近有理数)→由分子、分母猜想背后的意义
作者: vigle2 (威哥) 2021-02-06 22:45:00
喔喔本来想把这段写在厕纸上 但被我拿去擦便便惹
作者: oj7253 (kikilala) 2021-02-06 22:49:00
会影响金融市场ㄅ
作者: ck517 (77W的精神) 2021-02-06 22:52:00
酷喔
作者: libraghost (无脑热血控) 2021-02-06 23:02:00
嗯 只有我看不懂吗
作者: wanters (Reset) 2021-02-06 23:05:00
我看得懂啦 恩跟我想的一样+1
作者: kiy75 (jumpfish) 2021-02-06 23:09:00
数学家的未来发展更宽广了
作者: sooler 2021-02-06 23:11:00
嗯嗯跟我想的差不多
作者: Sylph (仙客来) 2021-02-06 23:11:00
这种工作交给电脑就好了
作者: asq52357 (asq52357) 2021-02-06 23:12:00
嗯嗯我大概看懂几个字
作者: Eclipsis (蚀) 2021-02-06 23:18:00
不要再问了 答案就是42
作者: gghowdaoh (初音精) 2021-02-06 23:34:00
没错 我早就呼吁过了
作者: shiwa 2021-02-06 23:38:00
感觉很厉害
作者: gold06181618 (金大) 2021-02-06 23:44:00
这件事还在我的待办清单 竟然被发表了
作者: abadjoke (asyourlife) 2021-02-06 23:46:00
太扯了
作者: Rhapsody (狂想曲) 2021-02-06 23:51:00
跟我想的差不多
作者: smalldata (DaTa) 2021-02-06 23:55:00
AI可以考研了
作者: ohya23 ( ) 2021-02-06 23:59:00
好猛