正文 · 原文
该语言的正文暂不可用，当前显示已有版本。
@Moore_Irish 🫡🫡
帖子称 Google 的 Cogentic 系统借助 Gemini 找到五道未解数学题的新证明
自动核验发布 · 本文由系统生成并完成证据核验，未经人工审稿。
一则介绍 Google 论文的帖子称，Cogentic 让多个智能体并行尝试证明思路，由检查环节逐步核验，并保存已证实的部分供后续使用。帖子还称，多数问题约需 100 次模型调用，所有证明均经人类专家确认；这些结果仍有待依据论文和专家记录核对。
@rohanpaul_ai what a pleasant friday morning reading to stumble upon today, thanks sir.
在 X 查看回复的帖子
New Google paper reveals how Gemini found new proofs for 5 unsolved math problems.
Organize AI like a research team with strict checkers and shared notes:
A single prompt often isn't enough for hard research problems. They need many attempts, tough review, and a memory of what already worked.
Google's system, Cogentic, gives Gemini that structure. Several agents try different ideas at once, checkers assume every step is wrong until proven, and proven pieces are saved for the next round.
Most problems took only about 100 model calls, and human experts confirmed every proof.
If your agents tackle long, hard tasks, give them a strict checker and a running record of proven work, not just a better prompt.
– arxiv. org/abs/2609.40324
Title: "Cogentic: Multi-Agent Orchestration for Automated Proof Discovery"
在 X 查看上下文