Rohan Paul

新的 Google 论文揭示了 Gemini 如何找到 5 个未解决的数学问题的新证明。 像一个研究团队一样组织人工智能，有严格的检查和共享笔记： 对于困难的研究问题来说，单个提示通常是不够的。他们需要多次尝试、严格审查以及对已经奏效的方法的记忆。 谷歌的 Cogentic 系统为 Gemini 提供了这种结构。几个代理同时尝试不同的想法，检查员假设每一步都是错误的，直到被证明，并且被证明的部分被保存到下一轮。 大多数问题只需要大约 100 次模型调用，人类专家就证实了每一个证据。 如果您的代理要处理长期而艰巨的任务，请给他们严格的检查员和经过验证的工作的连续记录，而不仅仅是更好的提示。 – arxiv。 org/abs/2609.40324 标题：“Cogentic：用于自动证明发现的多代理编排”