Google发布Cogentic系统解决5个数学难题
Google用Cogentic让Gemini像研究团队一样协作，解决数学难题比单次提示更高效。
Google新论文展示Gemini通过Cogentic系统发现了5个未解决数学问题的证明。该系统采用多智能体协作模式，同时尝试不同思路，每个步骤都需严格验证。整个过程中平均每个问题仅需约100次模型调用，且所有证明均经人类专家确认。
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"
- arXiv cs.AI09-30 17:55原文
