𝓵𝓮𝔃𝓲𝓼𝓱𝓮𝓷 (@lezishen) 在 美团开源 LongCat-Flash-Prover 大模型：5600 亿参数，刷新两项 SOTA 水平 中发帖

[image] 
开源地址如下： 

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
 
 
Back to Top