admin 2026-03-23 150浏览

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