陶哲軒論文漏洞被AI 發現，他曾預言2026 年AI 將成為數學論文合著者

根據新智元報道，近日熱衷於用GPT-4、Copilot 做研究的數學大神陶哲軒，在AI 的幫助下發現了自己論文中的一處隱藏bug。一些數學愛好者粉絲在此帖中驚呼：這太驚人了，很高興看到AI 證明助手的傳播，為數學研究的未來奠定了更堅實的基礎。陶哲軒對此表示，「這是完全有可能的事。或許在不久的將來，我們就可以在Lean 之上構建一個AI 層。只要把證明中的各步描述給AI，AI 就可以利用Lean 來執行證明了，過程中還能各種調用計算機代數軟體包。」今年6 月，陶哲軒就曾在GPT-4 試用體驗的博客中預言：2026 年，AI 將與搜索和符號數學工具相結合，成為數學研究中值得信賴的合著者。這段期間，不斷有人證明著這一點，例如加州理工、英偉達、MIT 等機構的學者，就建構出一個基於開源LLM 的定理證明器。