研究人员推出了ProofCouncil，这是一个专为使用作者-批评者架构解决开放数学问题而设计的LLM智能体。该系统作为提交作品参与了FirstProof的第二批挑战，该挑战涉及10个必须由智能体自主解决的现实世界数学问题。
- ProofCouncil对10个FirstProof问题中的6个的提交被判定为正确（最多仅需微小修订），在参赛队伍中取得了最佳表现。
- 在对研究人员提出的30个开放问题的评估中，5个解决方案被判定为完全正确，2个有前景的方案待最终验证。
- 另外8个解决方案包含了有用的部分进展，智能体构建库已作为开源发布。
作者认为这具有重要意义，因为它表明针对现实世界数学实践定制的基于智能体的工作流程可以提高LLM在复杂任务上的表现。