ARTICLE / OSCHINA

LongCat-Flash-Prover：AI 攻克数学定理证明，不仅要 “算得对”，更要 “证得严”

2026年04月08日 09:51 · 来自 OSCHINA

阅读原文 → 收藏

LongCat-Flash-Prover 在解决定理证明和形式化任务时，将形式化推理拆解为自动形式化（Auto-Formalization）、草稿生成（Sketching）和证明生成（Proving）三大原子能力。在结合工具集成推理（Tool-Integrated Reasoning，TIR）策略下，仅用 72 次推理预算，MiniF2F-Test 通过率就达到 97.1% ，在已知开源 Prover 模型中...