推 taikouhncheu: 冷門的數學猜想問題，沒人想要花時 118.165.21.85 09/13 07:55
→ taikouhncheu: 間找反例破解論點，那就讓AI來找嘛 118.165.21.85 09/13 07:55
→ taikouhncheu: ，嘻嘻。 118.165.21.85 09/13 07:55
※ 引述《callTM (TMD)》之銘言：
: 評論的可以先看看terrace Tao 到底在說啥。 ai 破解的方法都是倒過來的。 也就是
暴?
: 所以AI 要進步的方向是不是錯了？ 應該是還是要用正向導的方法來破解而不是黑盒子
。
所以現在的狀況是AI解了一大堆數學的世界難題
但是AI的解法到底是對的還是錯的
還需要真正的數學家幫忙驗證
一般人使用Ai產出了以後,並沒有能力去證偽
好比幾年前維基百科被人虛構了一整個國家和歷史,後來的人用到錯誤的維基百科當證據,
那還是一整個錯誤
而現在卡在真正的數學家數量不夠
應付大量的數學猜想,AI花三個小時證明出來的東西,數學家要花好幾天,甚至好幾個月,去
思考正不正確,如果是靠暴力解解出來的東西,數學的邏輯和概念和人類的不相通,連讀懂
都有問題
所以我們現在需要幾種思路
第一種是訓練AI
專門用來驗證AI創造出來的解法是不是正確的
第二種是讓可以證明這些解法是正確的數學家也掛名
第三種是證明出來的以後,如果是靠AI產出來的東西,要另外註明AI產品,而這個證明導出
來的真偽是存疑的
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 42.71.80.213 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789256199.A.4E3.html