回看板
Disp BBS
作者
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 的最新發文:
+2
[問卦] 烏克蘭在幹嘛 - Gossiping 板
作者:
abcd991276
27.242.134.103
(台灣)
2024-09-28 10:44:50
9F 2推
+16
[問卦] 八戒跟悟淨的用途是什麼 - Gossiping 板
作者:
abcd991276
123.194.189.75
(台灣)
2024-09-23 00:56:17
55F 19推 3噓
+4
[問卦] 防毒軟體有存在的必要嗎 - Gossiping 板
作者:
abcd991276
123.194.189.75
(台灣)
2024-09-22 21:56:09
10F 5推 1噓
+2
[問卦] 收賄為什麼要記帳 - Gossiping 板
作者:
abcd991276
123.194.189.75
(台灣)
2024-09-08 15:02:44
34F 6推 4噓
+5
[問卦] 不留棺材本會怎樣嗎 - Gossiping 板
作者:
abcd991276
123.194.189.75
(台灣)
2024-09-07 19:43:27
15F 5推
點此顯示更多發文記錄