Agent 集群 24 天验证约 1.5 万页数学证明,还揪出十年老缺陷
cneuralnetwork · x · 2026-10-27
@axiommath 用 agent 集群形式化了数学史上最大规模的证明之一:约 15000 页的工作量,在 24 天内完成验证。agents 通过 GitHub 协调分工、互相审查,甚至发现了一个存在数十年的缺陷。评论者认为这是 agent swarm 路线最有说服力的案例,也预示软件工程的方向——产出可被机器验证的代码。
所属事件:Axiom 完成 1.5 万页有限单群分类定理 Lean 形式化(8 条相关)→
「编程与Agent」频道最新
- Box 公开 Deep Agent 架构：父子模型按请求复杂度动态派生子智能体 — LangChain · 2026-10-28
- Box 揭秘企业级 Deep Agent：父节点直答简单问题，复杂任务才分身 — LangChain · 2026-10-28
- 如何在中途给 Agent 注入指令？开发者求助阶段性摘要失效问题 — tinker_bob · 2026-10-28
- Harrison Chase 伦敦分享：让智能体自我抓错并自动写 eval 与修复 — LangChain · 2026-10-28
- Parallel 发布 Parallel Decisions API：单次调用结合决策模型与实时新闻 — schwentker · 2026-10-28
- Together 提出 MIGHT 开源 AI 技术栈：模型/推理/路由/Harness/工具五层可自由替换 — togethercompute · 2026-10-28