Cursor联合创始人Michael Truell：多智能体系统已能自主攻克高水平数学难题

开发工具公司Cursor联合创始人Michael Truell表示，其多智能体系统在“First Proof”数学挑战中对第六题给出了一种新解法，证明结果比官方人类解答更强，且全程在与此前“从零写浏览器”相同的编排框架下，连续自主运行四天无人干预。

First Proof由多名斯坦福、MIT、伯克利等学者设计，专门用未发表的研究级引理测试AI，数学家Daniel Litt在长文中提到，他看到Cursor团队Shengtong Zhang与Wilson Lin提交的第六题解更像真正“自主”产物，相比OpenAI部分带引导提示的方案，更符合严格意义上的机器原创证明。

Truell强调，这次与此前依靠数百个GPT-5.2代理一周内写出三百万行代码、构建自制渲染引擎与JS虚拟机的实验共用一套“规划+执行+评审”协调框架，最新结果暗示这种多代理协同放大技术不只适用于代码工程，也可以拓展到纯数学研究等更抽象的知识工作形态。

来源：公开信息