美团开源 5677 亿参数 LongCat-Flash-Prover：专攻数学证明，MiniF2F 通过率高达 97.1%在 AI 大模型普遍存在“逻辑幻觉”的今天，如何讓 AI 像数学家一样严谨地思考？ 美团正式开源 LongCat-Flash-Prover，这是一款拥有 5677 亿参数 的混合专家模型（MoE）。它...大语言模型# LongCat-Flash-Prover# 美团1周前0130
