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

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