OpenBMB/MA-ProofBench：新工程

形成可运行的数学分析定理证明能力评测工具。（2026-06-10，新工程发布口径） 含200道Lean题、模型推理脚本及Lean验证流程。 详细信息以官方发布为准。