AI合作數學家：用智慧體加速數學研究

研究人員推出了一款名為“AI合作數學家”的工作臺，允許數學家在開放研究中互動地利用AI智慧體。該系統支援構思、文獻搜尋、計算探索、定理證明和理論構建，透過非同步、有狀態的工作空間管理不確定性、細化使用者意圖、跟蹤失敗假設並輸出原生數學工件。早期測試中，它幫助解決了開放問題、識別了新的研究方向並發現了被忽略的文獻。此外，該系統在FrontierMath Tier 4上取得了48%的得分，創下新高。