[爆卦] Google發表拉馬努金機 能得出常數公式
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,拉馬努金機還分析了李維常數、辛欽常數、天文學的拉普拉斯極限等常數。
有些經驗常數如混沌理論的費根鮑姆常數,研究員缺乏這種常數的已知資訊。有了拉馬努
金機,研究員只輸入數值資料就能得到此類常數的逼近公式,進而從公式反推常數背後的
新學問。除此之外,拉馬努金機也能檢驗常數是否為無理數(如卡塔蘭數)。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.192.157.241 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1612619387.A.ABD.html
推
02/06 21:50,
3年前
, 1F
02/06 21:50, 1F
→
02/06 21:50,
3年前
, 2F
02/06 21:50, 2F
推
02/06 21:50,
3年前
, 3F
02/06 21:50, 3F
噓
02/06 21:51,
3年前
, 4F
02/06 21:51, 4F
推
02/06 21:51,
3年前
, 5F
02/06 21:51, 5F
→
02/06 21:51,
3年前
, 6F
02/06 21:51, 6F
推
02/06 21:51,
3年前
, 7F
02/06 21:51, 7F
推
02/06 21:52,
3年前
, 8F
02/06 21:52, 8F
推
02/06 21:52,
3年前
, 9F
02/06 21:52, 9F
推
02/06 21:52,
3年前
, 10F
02/06 21:52, 10F
→
02/06 21:53,
3年前
, 11F
02/06 21:53, 11F
推
02/06 21:55,
3年前
, 12F
02/06 21:55, 12F
推
02/06 21:56,
3年前
, 13F
02/06 21:56, 13F
推
02/06 21:56,
3年前
, 14F
02/06 21:56, 14F
推
02/06 21:56,
3年前
, 15F
02/06 21:56, 15F
→
02/06 21:56,
3年前
, 16F
02/06 21:56, 16F
→
02/06 21:58,
3年前
, 17F
02/06 21:58, 17F
→
02/06 21:58,
3年前
, 18F
02/06 21:58, 18F
推
02/06 21:58,
3年前
, 19F
02/06 21:58, 19F
推
02/06 21:59,
3年前
, 20F
02/06 21:59, 20F
推
02/06 21:59,
3年前
, 21F
02/06 21:59, 21F
→
02/06 21:59,
3年前
, 22F
02/06 21:59, 22F
推
02/06 22:00,
3年前
, 23F
02/06 22:00, 23F
推
02/06 22:00,
3年前
, 24F
02/06 22:00, 24F
推
02/06 22:00,
3年前
, 25F
02/06 22:00, 25F
→
02/06 22:01,
3年前
, 26F
02/06 22:01, 26F
→
02/06 22:01,
3年前
, 27F
02/06 22:01, 27F
→
02/06 22:02,
3年前
, 28F
02/06 22:02, 28F
→
02/06 22:02,
3年前
, 29F
02/06 22:02, 29F
推
02/06 22:02,
3年前
, 30F
02/06 22:02, 30F
→
02/06 22:03,
3年前
, 31F
02/06 22:03, 31F
推
02/06 22:04,
3年前
, 32F
02/06 22:04, 32F
推
02/06 22:06,
3年前
, 33F
02/06 22:06, 33F
推
02/06 22:06,
3年前
, 34F
02/06 22:06, 34F
→
02/06 22:07,
3年前
, 35F
02/06 22:07, 35F
推
02/06 22:07,
3年前
, 36F
02/06 22:07, 36F
推
02/06 22:07,
3年前
, 37F
02/06 22:07, 37F
推
02/06 22:07,
3年前
, 38F
02/06 22:07, 38F
→
02/06 22:07,
3年前
, 39F
02/06 22:07, 39F
還有 44 則推文
推
02/06 23:44,
3年前
, 84F
02/06 23:44, 84F
推
02/06 23:46,
3年前
, 85F
02/06 23:46, 85F
推
02/06 23:51,
3年前
, 86F
02/06 23:51, 86F
推
02/06 23:55,
3年前
, 87F
02/06 23:55, 87F
推
02/06 23:59,
3年前
, 88F
02/06 23:59, 88F
→
02/07 00:19,
3年前
, 89F
02/07 00:19, 89F
推
02/07 00:25,
3年前
, 90F
02/07 00:25, 90F
→
02/07 00:30,
3年前
, 91F
02/07 00:30, 91F
推
02/07 00:32,
3年前
, 92F
02/07 00:32, 92F
推
02/07 00:54,
3年前
, 93F
02/07 00:54, 93F
推
02/07 00:54,
3年前
, 94F
02/07 00:54, 94F
推
02/07 00:55,
3年前
, 95F
02/07 00:55, 95F
推
02/07 01:29,
3年前
, 96F
02/07 01:29, 96F
推
02/07 01:33,
3年前
, 97F
02/07 01:33, 97F
推
02/07 01:55,
3年前
, 98F
02/07 01:55, 98F
→
02/07 02:11,
3年前
, 99F
02/07 02:11, 99F
推
02/07 02:45,
3年前
, 100F
02/07 02:45, 100F
推
02/07 02:50,
3年前
, 101F
02/07 02:50, 101F
推
02/07 03:25,
3年前
, 102F
02/07 03:25, 102F
推
02/07 04:11,
3年前
, 103F
02/07 04:11, 103F
推
02/07 06:14,
3年前
, 104F
02/07 06:14, 104F
推
02/07 06:36,
3年前
, 105F
02/07 06:36, 105F
推
02/07 07:40,
3年前
, 106F
02/07 07:40, 106F
→
02/07 07:41,
3年前
, 107F
02/07 07:41, 107F
推
02/07 08:54,
3年前
, 108F
02/07 08:54, 108F
→
02/07 08:54,
3年前
, 109F
02/07 08:54, 109F
推
02/07 09:05,
3年前
, 110F
02/07 09:05, 110F
推
02/07 09:28,
3年前
, 111F
02/07 09:28, 111F
推
02/07 09:37,
3年前
, 112F
02/07 09:37, 112F
推
02/07 09:47,
3年前
, 113F
02/07 09:47, 113F
推
02/07 09:49,
3年前
, 114F
02/07 09:49, 114F
推
02/07 11:06,
3年前
, 115F
02/07 11:06, 115F
→
02/07 11:06,
3年前
, 116F
02/07 11:06, 116F
推
02/07 11:27,
3年前
, 117F
02/07 11:27, 117F
噓
02/07 12:04,
3年前
, 118F
02/07 12:04, 118F
推
02/07 12:08,
3年前
, 119F
02/07 12:08, 119F
噓
02/07 12:17,
3年前
, 120F
02/07 12:17, 120F
※ 編輯: jackliao1990 (123.192.157.241 臺灣), 02/07/2021 14:22:50
推
02/07 15:09,
3年前
, 121F
02/07 15:09, 121F
→
02/07 17:19,
3年前
, 122F
02/07 17:19, 122F