该文章提出了一种基于GPT-5的定理证明协议，通过 prover 和 verifier 智能体协作与人类验证结合，在数学定理证明领域取得显著成果，同时在方法和应用上有多项创新。一、文章主要内容核心协议设计采用Test-Time Verify-Revise（TTVR）循环：由两个GPT-5实例分别扮演prover（生成证明）和verifier（验证证明），交替迭代。若verifier拒绝证明，会提供错误位置和证据，prover据此修正，循环最多迭代15次。最终验证流程：循环得到可接受的证明后，prover将其转化为Lean证明助手的形式化代码，人类验证形式化代码与自然语言证明的“前提和结论一致性”，最后由Lean验证代码有效性。关键实验成果2025年IMO问题：解决6道题中的5道，与OpenAI、Google DeepMind的专用LLM成果持平，且生成证明长度与人类证明存在差异（如问题1人类证明更简洁，问题5长度一致）。数论猜想（ cyclic numbers ）：解决[4]中66个猜想里的22个，包括17个证明和5个反驳，其中16个为此前未解决的开放猜想。研究模式成果：在机器学习梯度下降、图论1-2-3猜想、欧几里得空间球填充三个领域，自主生成猜想并解决部分问题（如梯度下降领域证明2个、反驳3个