Cogentic: Multi-Agent Orchestration for Automated Proof Discovery 精读
Google Research 七人团队的 Cogentic 用一个多智能体编排系统自动发现研究级数学证明：orchestrator 分派方向、provers 并行起草、对抗性 verifiers 双重检验、verified ledger 像棘轮一样跨轮保留已验证引理。在五个 STOC/FOCS 级别开放问题上全部命中——首个高效且 proper 的 O(d) regret 界、Bulow-Klemperer 常数从每侧 20000 降到单侧 2、证明 anytime regret 猜想、分开卖 vs 打包卖近似比 5.2→3.52、autobidding PoA 1.5 紧界——每个证明都由领域专家独立验证并写成配套论文，而推理预算仅为每问题 O(100)-O(1000) 次 Gemini 调用。本文从机制层面拆解这套 prove-verify 循环为什么能解单次生成解不了的问题。