当前标签：数学定理证明
32B超越671B，M-A-P全开源数学定理证明模型OProver，五项评测三项第一
M-A-P研究社区开源的OProver-32B模型在数学定理证明上以32B参数量超越671B的DeepSeek-Prover-V2，五项评测拿下三项第一。
美团又开源！专攻数学定理证明，能模拟人类解题，刷新多项开源SOTA
美团开源5677亿参数大模型LongCat-Flash-Prover，在数学定理证明领域刷新多项开源SOTA。
美团龙猫开源LongCat-Flash-Prover
美团开源数学定理证明模型 LongCat-Flash-Prover，在 MiniF2F 基准上刷新 SOTA 记录。