登录

当前标签：数学定理证明

美团又开源！专攻数学定理证明，能模拟人类解题，刷新多项开源SOTA

美团又开源！专攻数学定理证明，能模拟人类解题，刷新多项开源SOTA

美团开源5677亿参数大模型LongCat-Flash-Prover，在数学定理证明领域刷新多项开源SOTA。
美团龙猫开源LongCat-Flash-Prover

美团龙猫开源LongCat-Flash-Prover

美团开源数学定理证明模型 LongCat-Flash-Prover，在 MiniF2F 基准上刷新 SOTA 记录。