pipeline-math

该项目是一个面向数学开放问题的自动化证明与形式化验证平台，聚焦于机器学习理论（COLT）、交换环论、Erdős问题及理论计算机会议（FOCS）中的未解难题。核心功能包括：基于GPT-5.5 Pro构建的prover–verifier推理流水线生成初版证明，结合Claude Code辅助论文撰写，并通过自研的全自动Lean 4形式化流水线完成交换环论相关结论的机器可验证编码。适用于数学研究者、形式化方法实践者及理论计算机学者开展开放问题求解、证明复现与可信验证。