数学基准测试

AI co-mathematician：通过智能体AI辅助数学研究的交互式工作台

一篇来自First-Principle平台的帖子介绍了一款名为“AI co-mathematician”的AI系统，该系统作为交互式工作台，旨在通过智能体AI帮助数学家进行开放式研究。帖子称，该系统支持构思、文献搜索、计算探索、定理证明和理论构建等工作环节，早期测试在难题解决基准测试中取得了最新领先成绩。