全球科技每日监测

数据源：本地 Harness 库 · 搜索「编排」共 1 条

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

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

  Cogentic: Multi-Agent Orchestration for Automated Proof Discovery

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

  原文链接

  站内快照外网原文