搜索
美团LongCat开源数学定理证明大模型，AI严谨推理迈入新阶段
4 小时前
2026年3月24日，美团龙猫开源数学形式化与定理证明模型LongCat-Flash-Prover。该模型采用混合专家迭代框架，在MiniF2F-Test中72次推理通过率达97.1%，刷新开源模型纪录。
