→ sagarain: 有本事叫AI來猜想啊 114.45.158.18 08/12 08:51
→ ocwandu: 怕 要是Ai公司有噁甲那不就完了 42.79.178.157 08/12 08:55
現在ai證明的過程 或者 公布發現過程的很裝逼
喝杯咖啡 晨跑的時候 無聊的時候 叫ai證明一個沒人聽過的猜想
然後ai公司的員工不是數學專業 然後證明出來
中間過程錯 還能"看懂"有錯
然後不斷叫ai相信自己
然後繼續證明
最後找到某種證明後
這個不懂數學的人可以說服公司的數學家花時間幫他看這個證明
然後ai公司的數學家幫他驗證 這個證明
--
如果故事改成ai公司五六十個數學家合作叫ai驗證某條思路
那故事就會變得更實際 但更好笑
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.140.170.133 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1786495767.A.68D.html