RecodeX 重构消息，研究人员提出ProofCouncil，一种基于大型语言模型的智能体，用于解决开放性数学问题。