站内快照 · 国内可打开。外网原文可能无法访问。

• 论文公开站arXiv2026年10月1日 22:14

  Cogentic：面向自动证明发现的多智能体编排

  Cogentic: Multi-Agent Orchestration for Automated Proof Discovery

  提出 Cogentic，一个用于开放研究问题自动证明发现的多智能体框架。前沿语言模型虽能单次生成优质数学想法，但面对需多路径探索的开放问题，单次生成往往不足。

  原文链接