📌 📄 内容摘要:
𝓵𝓮𝔃𝓲𝓼𝓱𝓮𝓷 (@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
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/1792551/1
─────────────────────────────
📢 来源：LINUX DO
