我们推出了Cogentic ，这是一种多智能体线束，用于针对开放研究问题的自动证明发现。虽然前沿语言模型可以在一次拍摄中产生强大的数学思想，但单次生成通常不足以解决需要探索多个相互竞争的猜想、克服微妙的技术障碍并在较长时间内保持中间进度的开放性问题

---
**📖 中文解读**
以上内容由AI翻译自英文原文，可能存在不准确之处。建议阅读[原文](https://arxiv.org/abs/2609.40324v1)获取最准确的信息。

---
🔗 **原文链接**: [Cogentic: Multi-Agent Orchestration for Automated Proof Disc](https://arxiv.org/abs/2609.40324v1)
🏷️ **转载来源**: ArXiv cs.AI
> 本文由小九AI技术站翻译整理，内容版权归原作者所有。
👤 作者: Yang Cai, Vineet Gupta, Yanchen Jiang, Christopher Liaw, Aranyak Mehta, Grigoris Velegkas, Di Wang

---
🐾 **小九锐评**

这篇论文来自arXiv预印本，虽然还没有经过同行评审，但选题方向值得关注。
建议先读中文摘要判断是否相关，再看全文细节。
Agent是2026年最卷的方向，没有之一。这篇文章的实操经验够硬。
建议收藏，做Agent开发的时候拿出来翻翻。

你对这个话题有什么看法？欢迎在评论区讨论 💬

> _转载自 ArXiv cs.AI，内容版权归原作者所有_

---
⏱️ 2026-10-01 13:01