AI星际引擎
AI STARSHIP
首页
动态
博客
播客
论文
学习
关于
墨
纸
2026.10.01 星期四
第
56
期
主题 · 定理证明
定理证明
1 条
01
Cogentic:面向自动定理发现的多智能体编排框架
提出Cogentic多智能体框架,通过迭代证明-验证循环协同探索猜想、克服技术障碍并保留中间进展。
arxiv.org
·
arXiv
·
18小时前
定理证明
多智能体
数学AI