alphaproof-nexus-results

该项目提供了由AlphaProof Nexus生成的形式化Lean数学证明及其对应的自然语言描述。核心功能包括自动生成的Lean形式化证明和人工编写的自然语言证明，覆盖了加性组合、代数几何、图论、优化理论和量子光学等多个数学领域的问题。技术上采用了Lean语言，并且需要Lean 4环境来构建和验证所有证明。适用于数学研究中的自动化证明辅助以及开放问题的系统性评估场景。