LongCat-Flash-Prover：AI 攻克数学定理证明，不仅要 “算得对”，更要 “证得严”
来自：my.oschina.net 收录时间：2026-04-08
LongCat-Flash-Prover 在解决定理证明和形式化任务时，将形式化推理拆解为自动形式化（Auto-Formalization）、草稿生成（Sketching）和证明生成（Proving）三大原子能力。在结合工具集成推理（Tool-Integrated Reasoning，TIR）策略下，仅用 72 次推理预算，MiniF2F-Test 通过率就达到 97.1% ，在已知开源 Prover 模型中...
阅读更多