PTT推薦

[問卦] 訓練AI數學證明能取代數學家嗎

看板Gossiping標題[問卦] 訓練AI數學證明能取代數學家嗎作者
abcd991276
(QQ)
時間推噓13 推:13 噓:0 →:52

如題

AI 能打敗世界棋王

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

那訓練AI寫數學證明

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

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

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

--

※ PTT 留言評論
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.9.129.68 (臺灣)
PTT 網址

abc12812 05/31 02:48AI連1+1多少都會算錯了

su4vu6 05/31 02:50不能阿

su4vu6 05/31 02:51你人類無法證明AI是對的 那AI怎會是對的

jojoStar 05/31 02:51AI的數學還在幼稚園程度

karta018 05/31 02:59未來有可能吧,訓練學習能不斷累積,不

karta018 05/31 03:00像人類有老化跟壽命問題

u5b890402 05/31 03:38二樓,你寫不出證明題的答案,難道你

u5b890402 05/31 03:38連看答案都看不懂?你看不懂別人可是

u5b890402 05/31 03:38看得懂

MorikonHase 05/31 03:44不完備定理

Ricestone 05/31 04:02有專門證明用的數學AI啦 注重的是邏輯

Ricestone 05/31 04:03推理部份 其實「證明」這件事情跟語言

Ricestone 05/31 04:03有非常大的關係

su4vu6 05/31 04:13你要知道答案是對的你就要先證明他對阿

su4vu6 05/31 04:14不然就是所謂的 神秘力量 而已

Ricestone 05/31 04:14AI會把推理過程寫出來啦

su4vu6 05/31 04:14我不知道為什麼 但程式就會動所以別動他

Ricestone 05/31 04:15沒有推理過程就不是證明了 放心啦

Ricestone 05/31 04:15像那望月的宇宙線啥理論的是人寫的也沒

Ricestone 05/31 04:16有被普遍性的接受為可行性的理論

su4vu6 05/31 04:17對阿 所謂的理論都被歸類是神秘力量

Ricestone 05/31 04:17用電腦跑證明的原理就有點類似上面講的

su4vu6 05/31 04:17直到後來被證明

Ricestone 05/31 04:17不完備定理的證明方式

Ricestone 05/31 04:19電腦跑的優勢是在人類未必有想到要那樣

Ricestone 05/31 04:19走,但電腦可以毫無感情的走,甚至窮舉

Ricestone 05/31 04:20但每一步人類其實是看得懂且合法的

Ricestone 05/31 04:20就像AlphaGo之後圍棋多了一堆定石那樣

Ricestone 05/31 04:23但目前問題就是電腦會往哪裡跑或者終點

Ricestone 05/31 04:23在哪裡有沒有辦法控制這樣

chungkai 05/31 04:44AI專長是胡說八道 你確定你看得懂?

Ricestone 05/31 04:48胡說八道有很大原因是在自然語言處理

Ricestone 05/31 04:48證明用的語言不是自然語言啦

shengyeh 05/31 06:25窮舉法暴力解 有解答後 再反推過程

shengyeh 05/31 06:26也就是最後需要人來決定ai的答案合理性

shengyeh 05/31 06:27有ai還是需要人 那個人產出會大增

shengyeh 05/31 06:28最後還是會造成人力過剩

cat5672 05/31 07:11這問題怎麼說呢 基於某種樸素的期待吧

cat5672 05/31 07:13現在這類問題中 對於所謂的AI 的認知通常

cat5672 05/31 07:13都不是一個具體的做法 而是一種更廣泛的

cat5672 05/31 07:14模糊的概念 大致上是對於某種自動化的

cat5672 05/31 07:14機制有種自己也表達不清楚的期待在裡面

cat5672 05/31 07:16阿發狗那套算法或者gpt都做不到 你就會

cat5672 05/31 07:17想像某種可以不斷擴充的概念 然後得到

cat5672 05/31 07:17可以 這個答案

greenblue 05/31 08:02先解決電力問題吧

greenblue 05/31 08:03全世界都AI 保證缺電的

mantour 05/31 08:24你以為你第一個想到,人家早就已經在做

mantour 05/31 08:24了,還是頂尖數學家帶的團隊在做

mantour 05/31 08:27你會用AI,數學家也會,結果AI只會拉大

mantour 05/31 08:27你們之間的差距

mantour 05/31 08:28不用幻想有了AI我跟天才就平起平坐了

aju0921 05/31 08:44AI厲害的地方是他算錯1萬次只要1秒 然後

aju0921 05/31 08:44從錯誤的地方不斷修正學習

aju0921 05/31 08:45樓上說不能平起平坐 當然 是一日千里的超

aju0921 05/31 08:45

selvester 05/31 09:42證明跟語言關係不大… 證明跟運算子關

selvester 05/31 09:42係較大

limitlesscit 05/31 09:59目前不行,如果可以那人類真的就廢

rq654 05/31 10:57不知道但目前AI解數學超爛

aimlin 05/31 11:33算力夠 整個宇宙都能解

Arkzeon 05/31 12:08只是計算正確而已就只是計算機。數學家

Arkzeon 05/31 12:08厲害的一直都不是計算。可是Ai如果可以

Arkzeon 05/31 12:08到那個程度的思考。大概天網或球母也成

Arkzeon 05/31 12:08形了