AGI Hunt· KyleCranmer·· 1 小时前精选AI 评分69
数学家团队用 Codex 与 Claude Code 多智能体完成 15973 个 6 阶半群分类
多智能体跑 3 个月,首次写全 15973 个 6 阶半群基准
AI 导读
数学家团队用 Codex 与 Claude Code 调度多个 AI 智能体连续工作约 3 个月，完成了全部 15973 个 6 阶半群的分类。其中 15969 个有限基半群的基被显式写出，剩余 4 个被证明不存在有限基，整个列表此前从未被完整写出。
推荐理由
材料给出多智能体连续数月形式化数学分类的具体规模与边界，可据此判断这类协作在长期证明任务上的分工方式。
来源：AGI Hunt · agihunt.info