谷歌「AI聯合數學家」來了！刷新最難數學AI基準SOTA
突破群論領域數十年無解難題
群論領域幾十年無解的第21.10號問題，被牛津數學家Marc Lackenby用谷歌一個新系統破解。
AI證明過程的自我修正機制
過程也很有意思：AI第一次給出的證明是錯的，被系統裡的審查Agent檢測到，並自動修正錯誤，最終產生正確證明。
多Agent系統設計特色
- 專為數學研究設計的多Agent系統，結合人工智慧與數學邏輯。
- 系統內建審查機制，能檢測並修正AI生成證明的錯誤。
- 透過協同運作，模擬人類數學家的思考與驗證流程。