admin 2026-03-24 96浏览

美团龙猫团队开源 LongCat-Flash-Prover：让AI真正“懂”数学证明 2026年3月24日，美团旗下研究团队“龙猫”正式开源了一款专为数学形式化证明设计的AI模型——LongCat-Flash-Prover。这不是又...

admin 2026-03-23 159浏览

美团开源超大规模数学证明模型 LongCat-Flash-Prover 3月21日，美团正式对外开源了一款名为 LongCat-Flash-Prover 的数学证明模型，参数规模达5677亿，是目前全球公开的规模最大、专为形式化证...