作者 abcd991276 (QQ)
標題 [問卦] 訓練AI數學證明能取代數學家嗎
時間 Fri May 31 02:44:56 2024


如題

AI 能打敗世界棋王

也能幫大學生寫報告與論文

那訓練AI寫數學證明

能打敗得過菲爾茲獎的數學家嗎

證明數學家證不出來的猜想乾五科寧

乾五八卦
----
Sent from BePTT on my iPhone 13 mini

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.9.129.68 (臺灣)
※ 作者: abcd991276 2024-05-31 02:44:56
※ 文章代碼(AID): #1cMCagEN (Gossiping)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1717094698.A.397.html
abc12812: AI連1+1多少都會算錯了1F 184.191.81.15 美國 05/31 02:48
su4vu6: 不能阿
你人類無法證明AI是對的 那AI怎會是對的2F 118.232.106.187 台灣 05/31 02:50
jojoStar: AI的數學還在幼稚園程度4F 122.100.114.105 台灣 05/31 02:51
karta018: 未來有可能吧,訓練學習能不斷累積,不像人類有老化跟壽命問題5F 1.170.162.41 台灣 05/31 02:59
u5b890402: 二樓,你寫不出證明題的答案,難道你連看答案都看不懂?你看不懂別人可是看得懂7F 73.11.248.137 美國 05/31 03:38
MorikonHase: 不完備定理10F 123.192.154.224 台灣 05/31 03:44
Ricestone: 有專門證明用的數學AI啦  注重的是邏輯推理部份  其實「證明」這件事情跟語言有非常大的關係11F 219.91.36.60 台灣 05/31 04:02
su4vu6: 你要知道答案是對的你就要先證明他對阿
不然就是所謂的 神秘力量 而已14F 118.232.106.187 台灣 05/31 04:13
Ricestone: AI會把推理過程寫出來啦16F 219.91.36.60 台灣 05/31 04:14
su4vu6: 我不知道為什麼 但程式就會動所以別動他17F 118.232.106.187 台灣 05/31 04:14
Ricestone: 沒有推理過程就不是證明了  放心啦
像那望月的宇宙線啥理論的是人寫的也沒有被普遍性的接受為可行性的理論18F 219.91.36.60 台灣 05/31 04:15

--
作者 abcd991276 的最新發文:
點此顯示更多發文記錄