ProofCouncil采用“作者—批评者”架构，让多个LLM代理协作处理开放数学问题，并参与FirstProof第二批挑战。其10道题中有6道被裁判判定正确或仅需小幅修改；在30个研究者收集的问题中，21份解答获得人工反馈，其中5份完全正确、2份有望完成验证、8份包含有用的部分进展。作者同时开源了智能体构建库。
最近 24 小时暂无可用热度快照。