研究可以是問AI 合適的問題。

來源: trivial 於 2024-07-25 11:04:46 [] [舊帖] [給我悄悄話] 閱讀數 : (359 bytes)

現在為解決那些問題數學家發明了很多新理論新工具，就像elliptic curve，恐怕不是Fermat 能看懂的。如果整個證明從頭到尾都是AI完成的，它未必會按這個線路發展。要麽我們試著去理解它，要麽我們把方向規劃出來，技術難點由AI來解決，（if AI can do any of these. ) 

請您先登陸，再發跟帖！