ProofCouncil：一个用于解决开放数学问题的 LLM 智能体

大型语言模型在解决开放数学问题上展现出潜力，但通过定制化的智能体工作流可进一步提升性能。为此，本文介绍了 ProofCouncil，这是一种采用“作者 - 批评家”架构的数学智能体，旨在自主攻克开放性问题。在 FirstProof 挑战赛中，该智能体在 10 个真实世界问题中有 6 个被判定为基本正确，表现居首。此外，在 30 个额外开放问题的评估中，多个解法被确认为完全正确或具有部分进展。本文阐述了 ProofCouncil 的开发过程及其开源构建库。