回看板
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 的最新發文:
+5
[問卦] 歐美原本預期烏克蘭打到什麼程度 - Gossiping 板
作者:
abcd991276
123.194.189.75
(台灣)
2024-11-17 00:09:50
54F 7推 2噓
+8
[閒聊] 醫療忍術到底需不需要碰到 - C_Chat 板
作者:
abcd991276
123.194.189.75
(台灣)
2024-11-16 13:23:25
15F 8推
+14
[閒聊] 武俠世界484沒人閉關研究輕功 - C_Chat 板
作者:
abcd991276
27.52.197.94
(台灣)
2024-11-09 04:07:31
22F 15推 1噓
+3
[問卦] 面試的幹問題都誰想的 - Gossiping 板
作者:
abcd991276
123.194.189.75
(台灣)
2024-11-04 00:02:22
19F 3推
+9
[問卦] 歐洲古代有多臭 - Gossiping 板
作者:
abcd991276
125.227.26.239
(台灣)
2024-10-26 08:19:34
46F 11推 2噓
點此顯示更多發文記錄