公众号：龙猫LongCat（美团）37导出 MarkdownLongCat-Flash-Prover：AI 攻克数学定理证明，不仅要"算得对"，更要"证得严"2026-04-02 19:58·91天前·美团技术团队公众号正文需在微信内阅读，站内仅提供摘要。在微信中打开原文mp.weixin.qq.com推理模型发布