multiagent v2 指南要求 64 个 agent 并行搜证
danshipper · x · 2026-07-21
这张图是一份关于 multiagent v2 的搜索与协作规范，面向定理证明/反例搜索。
- 建议最多同时跑 64 个 agent，不要给某个策略固定分配“N 个 agent”。
- 早期要保留真正多样化的探索路线，覆盖代数几何、交换代数、拓扑、模型论、计算检查等多个方向。
- 强调前几轮保持独立性、显式记录不同方法族、以及在过多 agent 收敛到同一路线时及时分流。
- 还要求引入对抗式检查：每个候选证明或反例都要核查隐藏假设、反演、坐标变换、非双射论证是否完整等问题。
- 最终要返回的是具体的引理、构造、方程、次数估计、映射或反例，而不是空泛的乐观判断。
「编程与Agent」频道最新
- 受 OpenAI 万机群启发，开发者开源 agent 众包解题平台 — Benjaminsen · 2026-09-11
- 开源 Mac 应用 Lucid：只在跑 AI 时阻止笔记本休眠 — Pitiful_Hedgehog_600 · 2026-09-11
- 20kb 函数匹配达成,banteg 召集 AI 逆向 Snail Mail 剩余 20 个挑战 — banteg · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11