PTT評價

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

看板Gossiping標題Re: [問卦] 訓練AI數學證明能取代數學家嗎作者
sattvasoka
(天橋上的魔術師)
時間推噓 5 推:5 噓:0 →:14

不可能,絕對不可能!

這個用大一線性代數第一章的向量空間就可以

解釋了。現在這一派的 AI 是走統計這路,也

就是把人類所有心智表現全部加起來。


Span( 凡夫俗子 ) = 已知的世界。


再怎麼展開都是已探索的知識,這也是為什麼

動畫《PSYCHO-PASS 心靈判官》要一直抓免罪

體質者來補充基底,這樣才可以展出新的空間。


所以 AI 浪潮襲來,大家更要做自己,追求獨

特,忌千人一面,隨波逐流。

直到下一個用第一因驅動的 AI 到來 ... ...。



※ 引述《abcd991276 (QQ)》之銘言:
: 如題
: AI 能打敗世界棋王
: 也能幫大學生寫報告與論文
: 那訓練AI寫數學證明
: 能打敗得過菲爾茲獎的數學家嗎
: 證明數學家證不出來的猜想乾五科寧
: 乾五八卦
: ----
: Sent from BePTT on my iPhone 13 mini

--

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

L1ON 05/31 06:55呃 免費ai突破你所知障壁的時間應該不用多久

L1ON 05/31 06:55,至於付費版呢...

cat5672 05/31 07:22不用想得那麼神祕 從還取代不了音樂家

cat5672 05/31 07:22就知道這東西還是有他的局限性 不是靠

cat5672 05/31 07:23某些朦朧的期待和金融攻勢砸錢就行的

miacp 05/31 07:25現在ai生成一首歌應該不難,搭配演算法推播

miacp 05/31 07:26糞歌也有機會變神曲

cat5672 05/31 07:38問題來了 你做得到嗎 你要是自己做不到

cat5672 05/31 07:38抽象的去想像某種存在做得到 你也無法

cat5672 05/31 07:38完全不去學習就去使用那個工具 那麼所謂

cat5672 05/31 07:39的ai倒底是什麼東西呢

cat5672 05/31 07:40這類問題說到底就是期待某種自己搞不清

cat5672 05/31 07:41X楚的東西 跟信神沒什麼差別

basketkdash 05/31 08:06現在大語言模型這派AI是連接學派的

basketkdash 05/31 08:07是走跟大腦神經元連結類似的算法

houseguy 05/31 13:59不要小看語言的威力,有創造性加上邏輯

houseguy 05/31 13:59驗證,ai可以自己隨機生成跟試誤..只差

houseguy 05/31 13:59在它沒有人類的情緒,也沒必要給它這部

houseguy 05/31 14:00