alphaproof-nexus-results

该项目是Google DeepMind发布的AlphaProof Nexus系统生成的数学定理形式化证明与对应自然语言证明的公开集合。核心包含两类成果：一是用Lean 4语言机械验证的严格形式化证明，覆盖加性组合、代数几何、图论、优化理论和量子光学等数学分支；二是与之结构对齐的人工撰写的自然语言证明，便于数学家理解。所有内容均来自已成功求解的开放数学问题（如Erdős问题、OEIS序列问题），适用于数学研究辅助、形式化方法教学及AI-数学协作验证场景。