社区用 Claude 智能体形式化 2012 篇运筹学论文，进度达 64%

在用 Claude 智能体完成费马大定理的完整 Lean 4 形式化后，Prove2Me 社区把同一方法扩展到整个研究领域，首选运筹学。过去一个月里，他们为 2012 篇运筹学论文与教材建立形式化任务，拆分为 4288 个 mission，涉及约 4.4 万条定理与定义，目前整体进度已完成 64%。

2026-10-30 ~ 2026-10-30 · 2 条相关