※ 引述《kinjk01 (小白)》之銘言：
: 聽說現在世界上的數學難題
: 很多數學家花了大半輩子投入都解不出來的
: 丟給AI都可以解出來
: 我就問有AI後還需要數學家嗎？
還是需要因為AI可能有幻覺
AI證明出來之後仍需要人類去驗證
然後最近澳洲數學家陶哲軒
就出來講AI證明的東西太多數學界難以消化
一個問題證明動輒幾萬行
https://www.youtube.com/watch?v=WvZLmF5WqIU
所以其實數學家工作更多了XD