AI證明首個費爾茲獎成果，兩週狂飆20萬行代碼，數學圈集體沸騰
AI完成費爾茲獎級數學成果的形式化證明
AI系統「Gauss」在數學界引發震動，僅用5天時間完成人類耗時15個月未完成的工作，將Maryna Viazovska在2022年獲頒費爾茲獎的成果——關於8維與24維空間中優化球體堆疊的定理，轉化為約20萬行Lean代碼，效率提升達90倍。
發現人類論文邏輯瑕疵
該AI不僅完成證明，更在過程中指出部分頂尖學者論文中的邏輯瑕疵，引發數學界廣泛討論，甚至有學者認為這將改變傳統科研範式。
數學史重大進展
此項成果由Math, Inc.公司所開發的AI「Gauss」完成，被視為數學史上首個由AI獨立完成的費爾茲獎級成果形式化驗證，被視為自動形式化證明的重大突破。
相關技術與發展
- AI系統Gauss在2026年3月完成該證明，並公開了完整的20萬行代碼。
- 該成果在數學社群中引發熱議，相關討論在x平臺迅速擴散。
- 此事件被視為AI在數學領域應用的里程碑，顯示AI可獨立完成高階數學證明。