PTT推薦

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

sattvasoka 發表於 2024/5/31 上午6:53:38
看板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分
同系列文章
[問卦] 訓練AI數學證明能取代數學家嗎
其他人也閱讀了
PTT 熱門相關
Gossiping最新熱門推薦
🔥🔥🔥