AI合作數學家：用智能體加速數學研究
研究人員推出了一款名為“AI合作數學家”的工作台，允許數學家在開放研究中交互地利用AI智能體。該系統支持構思、文獻搜索、計算探索、定理證明和理論構建，通過異步、有狀態的工作空間管理不確定性、細化用户意圖、跟蹤失敗假設並輸出原生數學工件。早期測試中，它幫助解決了開放問題、識別了新的研究方向並發現了被忽略的文獻。此外，該系統在FrontierMath Tier 4上取得了48%的得分，創下新高。
一篇新的研究論文介紹了一款名為“AI合作數學家”的系統，該工作台旨在讓數學家在開放研究中交互式地利用AI智能體。該系統由Daniel Zheng等18位作者共同開發，於2026年5月7日提交至arXiv，並於5月13日更新。
AI合作數學家針對數學研究工作流的探索性和迭代性進行了優化，提供全面的支持。它涵蓋構思、文獻搜索、計算探索、定理證明和理論構建等多個環節。系統採用異步、有狀態的工作空間，能夠管理不確定性、細化用户意圖、跟蹤失敗假設並輸出原生的數學工件，從而模擬人類協作工作流。
早期測試表明，該工具幫助研究人員解決了開放問題，識別了新的研究方向，並發現了被忽略的文獻引用。除了展示一種高度交互的AI輔助數學發現範式外，AI合作數學家還在困難問題求解基準上取得了最優結果。例如，它在FrontierMath Tier 4上獲得了48%的準確率，這是所有被評估AI系統中的最高分。
這項研究代表了人工智能在數學研究領域應用的重要進展，通過智能體驅動的交互，有望加速數學發現過程。系統設計特別注重與數學家現有工作流程的融合，提供自然語言交互界面，讓研究人員能夠以對話方式與AI合作。未來，團隊計劃擴展系統能力，包括更強大的推理引擎和更廣泛的數學工具集成。