https://inkeast.github.io/MessageDaily/tags/%E6%95%B0%E5%AD%A6%E6%8E%A8%E7%90%86/Recent content in 数学推理 on MessageDailyHugozh-cnSun, 04 Oct 2026 00:00:00 +0000https://inkeast.github.io/MessageDaily/posts/2026-10-04-cogentic-paper-reading/Sun, 04 Oct 2026 00:00:00 +0000https://inkeast.github.io/MessageDaily/posts/2026-10-04-cogentic-paper-reading/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 循环为什么能解单次生成解不了的问题。