http://www.ramanujanmachine.com/
https://github.com/AnonGit90210/RamanujanMachine
https://www.nature.com/articles/s41586-021-03229-4
随着深度学习的发展，AI已经能做出数学证明，甚至帮忙解决数学中尚未解决的问题-比
如产生数学公式，就像数学天才拉马努金一样。
http://www.ramanujanmachine.com/wp-content/uploads/2019/07/e-and-pi-gifs.gif
Google新发表的拉马努金机能够找出π和e等常数的连分数。连分数是逼近常数的公式，只
要连分数的分母持续延伸，计算值就越逼近该常数。历史上找出常数的连分数的人通常是
尤拉、高斯这种有长年知识积累和异于常人直觉的天才。而拉马努金机运行几毫秒就能得
出常数的数学结构，无需任何先验资讯。
拉马努金机首先用中间相遇法公式得出一个精度较低的值并存入杂凑表，然后用枚举法使
公式左右两边的值匹配。接着增加精度并重新比较，重复此过程直到匹配值达到指定精
度。最终得到新的连分数。
中间相遇法存在扩充套件性不佳的问题，为此研究员使用机器学习常用的梯度下降方法
-Descent&Repel法，通过转换为实数网格点来定义猜测的正则公式，进而优化整数分数。
此外研究员还提出计算任意精度的有理函式来减少错误的匹配值。
除了π和e，拉马努金机还分析了李维常数、辛钦常数、天文学的拉普拉斯极限等常数。
有些经验常数如混沌理论的费根鲍姆常数，研究员缺乏这种常数的已知资讯。有了拉马努
金机，研究员只输入数值资料就能得到此类常数的逼近公式，进而从公式反推常数背后的
新学问。除此之外，拉马努金机也能检验常数是否为无理数(如卡塔兰数)。
作者: oxoxx (oxoxx) 2021-02-06 21:50:00
啥
作者:
easyfish (easyfish)
2021-02-06 21:51:00先学好中文吧
作者:
yoyodiy (废文心得文大师)
2021-02-06 21:51:001+1=2 这种还需要什么高运算力的电脑
作者:
ls4860 (我是熟番)
2021-02-06 21:51:00他妈的这段中文在说什么？？？
作者:
xzcb2008 (éžå¸¸æ£®77牛)
2021-02-06 21:52:00干真的猛
作者:
brad001 (野生布莱德)
2021-02-06 21:52:00恩 跟我想的一样
恩恩 跟我洗澡时想到的一样 google蛮不错的喔
作者: 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我理组的 我看不懂在公三小
作者:
snow3804 (snow3804)
2021-02-06 21:58:00说中文好吗
作者:
Homeparty (认命,知命,然后听天可也.)
2021-02-06 21:59:00为什么都写中文，我看不懂
作者:
sky6969 (CNBLUE的LOVE好听^^OK了)
2021-02-06 22:00:00我们需要的是能来PTT发废文的AI
作者:
Su22 (装配匠)
2021-02-06 22:00:00跟我想的差不多
作者:
arrenwu (键盘的战鬼)
2021-02-06 22:01:00简单的来说就是这个东西在猜右边那种递回分式的极限可能可以写成那些已知的常数的样子而他如果猜出一个结果，数学家可能就可以直接进入证明的阶段
作者:
arrenwu (键盘的战鬼)
2021-02-06 22:03:00其实我也不知道这有什么应用就是了
作者:
lolic (lolic)
2021-02-06 22:06:00google到现在才追上印度阿三的脚步
作者:
Ed860227 (Phag125)
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
嗯嗯 嗯嗯 嗯嗯
作者:
newwu (frankwu)
2021-02-06 22:11:00要是进步到能广泛的丢数值解就估出解析解 很有用吧
作者:
derekhsu (è¯éº—的天下無雙)
2021-02-06 22:11:00要看懂这些要懂数学＋电脑...
作者:
arrenwu (键盘的战鬼)
2021-02-06 22:13:00@XDDDpupu5566 是。这机器也是在猜
作者:
pokiman (勃起男)
2021-02-06 22:14:00拉玛努金常常不做证明直接写答案
作者:
arrenwu (键盘的战鬼)
2021-02-06 22:14:00没有证明其实就不是答案了只是要数值的话其实现在随便一个大学生都算得出来数学工作困难的地方在于你要怎么证明你说的话是对的
作者:
lesterc (尾大力)
2021-02-06 22:16:00快逃阿 谷歌就是天网
像现代电脑里圆周率就是拉马努金公式衍生出来的，用泰勒展开那套的话你一个简单的物理计算都要半天了
作者: b1izzard2000 (OGC) 2021-02-06 22:18:00
看不懂
作者: loveadu (Aimer) 2021-02-06 22:23:00
差不多，还可以再精准一点
作者:
arrenwu (键盘的战鬼)
2021-02-06 22:23:00这个没有到 得出常数的公式 这么强
作者:
create8 (念数学)
2021-02-06 22:27: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
跟我想的差不多
个人理解：(看似)无理数→分式化(逼近有理数)→由分子、分母猜想背后的意义
作者:
vigle2 (威哥)
2021-02-06 22:45:00喔喔本来想把这段写在厕纸上 但被我拿去擦便便惹
作者:
oj7253 (kikilala)
2021-02-06 22:49:00会影响金融市场ㄅ
作者:
ck517 (77W的精神)
2021-02-06 22:52: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嗯嗯我大概看懂几个字
作者: gghowdaoh (初音精) 2021-02-06 23:34:00
没错 我早就呼吁过了
作者: shiwa 2021-02-06 23:38:00
感觉很厉害
作者:
abadjoke (asyourlife)
2021-02-06 23:46:00太扯了
作者: ohya23 ( ) 2021-02-06 23:59:00
好猛