AI合作数学家：用智能体加速数学研究

研究人员推出了一款名为“AI合作数学家”的工作台，允许数学家在开放研究中交互地利用AI智能体。该系统支持构思、文献搜索、计算探索、定理证明和理论构建，通过异步、有状态的工作空间管理不确定性、细化用户意图、跟踪失败假设并输出原生数学工件。早期测试中，它帮助解决了开放问题、识别了新的研究方向并发现了被忽略的文献。此外，该系统在FrontierMath Tier 4上取得了48%的得分，创下新高。