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合作。未來，團隊計劃擴充套件系統能力，包括更強大的推理引擎和更廣泛的數學工具整合。