美团龙猫发布开源数学定理证明模型 LongCat-Flash-Prover

美团龙猫团队开源数学形式化与定理证明模型LongCat-Flash-Prover，通过自动形式化、草稿生成和证明生成三大能力，实现从概率预测到严谨逻辑证明的范式转变，在MiniF2F等基准测试中刷新SOTA，依托TIR框架与Lean4Server校验提升逻辑可靠性，推动AI成为基础科学研究的底座设施。