Google Research 发布多智能体证明发现论文，Cogentic 在五个开放问题上取得新结果

RT by @omarsar0: Banger paper from Google Research on multi-agent proof discovery. (bookmark it) It's really interesting to see this emerging multi-agent pattern: not enforcing too much execution structure and pairing it with dedicated agents for advising and verification. I think it is generally applicable as well. Great read. Here is how it works: Cogentic runs on Gemini and works on open problems in theoretical computer science, starting from the problem statement with no expert hints. The system works in rounds, and the orchestrator decides how many provers to run in each round. Every prover gets one direction to work on, such as a specific bound or a counterexample search, plus a short briefing that a summarizer agent writes from earlier attempts and verifier feedback. Each summarizer writes its briefing independently, so provers in the same round read different summaries of the same history. Each draft goes through two adversarial verifiers. One checks the draft on its own, and t

来源：X：Elvis Saravia (@omarsar0, DAIR.AI) · x.lingyaoai.com