arxiv · arXiv · 2026-10-01 01:55 · 评分 77
论文提出Cogentic，一个面向开放研究问题的多智能体自动证明发现系统。通过编排器驱动的迭代证明-验证循环，探索多个竞争猜想、克服技术障碍并保留长期进展，解决单次生成不足以解决开放数学问题的问题。
原文：arXiv ｜ 返回 AI 资讯列表