多智能体跑 3 个月,首次写全 15973 个 6 阶半群基准
KyleCranmer · x · 2026-10-03
- 数学家团队用 Codex 与 Claude Code 多个 AI 智能体连续工作约 3 个月,完成了全部 15973 个 6 阶半群的分类：其中 15969 个有限基的半群首次显式写出全部基,剩余 4 个被证明不存在有限基。
- 整个列表此前从未被完整写出——过去数学家大多只知道基存在。形式化采用 Lean,多智能体编排产出了超过 500 万行经过验证的 Lean 代码,是迄今最大的自动形式化项目之一。
- 合作者包括 JanotaMikolas、JanHula,以及半群理论资深专家 João Araújo 和 Edmond W. H. Lee,论文将描述这项工作。
「研究」频道最新
- Moonlake AI 高管:世界模型需要因果与对象,而非漂亮像素 — chrmanning · 2026-10-03
- 自动 harness 搜索对比人工调优:药物设计任务上没有万能赢家 — niloofar_mire · 2026-10-03
- 开发者 11 个月从零训练二战专题小模型 Peacebell 并开源 — wayneworkman · 2026-10-03
- 开发者自建 AtlasBench 空间推理基准，GPT-6.1 登顶 84.7% — flowersslop · 2026-10-03
- 光驱动 AI 检测深伪视频，准确率接近 98% — ai-edition · 2026-10-03
- Animation Bench 引热议：六家实验室研究员称动画能力缺口早被忽视 — himanshustwts · 2026-10-03