AI「生肉證明」堆爆GitHub，陶哲軒重磅發聲：只會解題沒用了
陶哲軒提出數學進入「證明過剩」時代
數學家陶哲軒近期綜合多項公開論述指出，數學領域正由「證明稀缺」時代邁入「證明過剩」階段。人工智能大幅加速了證明生成過程，配合形式化工具的普及，導致數學論證產出量劇增。
數學家最值錢的工作轉變
陶哲軒認為，數學家最值錢的工作已不再只是「做出證明」，而是「驗證它、消化它」，並將人工智能產生的「生肉證明」轉化為人類真正能理解與應用的知識。
AI產生的證明需人類驗證與消化
- AI能快速生成大量數學證明，但這些證明往往缺乏邏輯完整性與可讀性。
- 數學家的角色從「創造證明」轉為「審查與解釋」，確保證明的正確性與可理解性。
- 未來數學發展將更依賴人類與AI的協作，人類負責理解與應用，AI負責產出與驗證。