美团开源 LongCat-Flash-Prover 大模型：5600 亿参数，刷新两项 SOTA 水平

[lezishen (𝓵𝓮𝔃𝓲𝓼𝓱𝓮𝓷)]

开源地址如下：

• GitHub：GitHub - meituan-longcat/LongCat-Flash-Prover: A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 through agentic tool-integrated reasoning. · GitHub
• Hugging Face：meituan-longcat/LongCat-Flash-Prover · Hugging Face

[zamasu]

用起来就是一个二愣子

[blacksein]

他们能不能把名字取得好记一点…
模型 版本 衍生
或者干脆就模型 版本

这种都不知道是第几代。。。为什么flash后面还有个prover

[woshimahuateng (太阳之子)]

朕的新的翻译专属大模型来了

[WslzGmzs (+1)]

Claude Code 配置 | API 文档

API站还没上,试了一下调用不通

[koushuiwa (wwb)]

不要水贴，今天看到你好几个帖了

[F-droid (𝓕-𝓓𝓻𝓸𝓲𝓭)]

跑分没输过，实测没赢过

[ingram66 (ingram)]

这是数学模型，不适合日常使用