Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明

[Sinreigensou (神靈幻想)]

數學證明工作有兩種

證明跟驗證

證明比較多人愛，因為證明成功有成就

但是驗證啥都沒，根本在在做慈善

AI可以幫忙證明

但是驗證一定要人類來

不可能AI說對就對萬一有幻覺呢

但是AI證明產量太大

然後又因為沒什麼人愛驗證導致數學界吃不消

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.216.19.58 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789214959.A.F37.html
→ tank44444: 再過幾代，AI說屎能吃都會有人信了
→ gueswmi: AI 就是個搜尋機 在幾千種組合裡 找出
→ gueswmi: 一連串公式 剛好可以解決問題
→ gueswmi: 怎麼驗證AI證明
→ gueswmi: 恩 搜尋概率高又 又能解決問題的組合
→ gueswmi: 最後數學家是在證明這個AI是對的 做白工
噓 xxxzxcvb: 最近不是才有費馬大定理證明用ai幫忙驗
→ xxxzxcvb: 證了
→ xxxzxcvb: 哪裡沒辦法驗證