選項
首頁
快訊
內容
PeterSanchez
PeterSanchez
2026-03-23

美團將 LongCat-Flash-Prover 開源,這是一個用於複雜數學證明、擁有 5670 億參數的 MoE 模型。該模型在 MiniF2F-Test 上取得 971 分的成績,並解決了 415 道 PutnamBench 題目,創下新的 SOTA 紀錄。關鍵突破包括用於消除幻覺的多階段 AST 驗證,以及用於穩定訓練的 HisPO 演算法。該模型已上傳至 GitHub 和 Hugging Face。

美團將 LongCat-Flash-Prover 開源,這是一個用於複雜數學證明、擁有 5670 億參數的 MoE 模型。該模型在 MiniF2F-Test 上取得 971 分的成績,並解決了 415 道 PutnamBench 題目,創下新的 SOTA 紀錄。關鍵突破包括用於消除幻覺的多階段 AST 驗證,以及用於穩定訓練的 HisPO 演算法。該模型已上傳至 GitHub 和 Hugging Face。
評論 (0)
0/300
OR