IXThinker·2025-07-12 17:30

Kimi數學模型反超DeepSeek 小參數立大功

Kimi新模型在數學上反超DeepSeek：在定理證明任務中，僅72B參數的新模型超越了DeepSeek-Prover-V2的671B版本，實現SOTA。這款模型由Numina組織與Kimi團隊聯合打造。

小模型勝大模型

在定理證明基準上，這款72B參數的模型即便體積遠小於對手，仍超越DeepSeek-Prover-V2的671B版本，展現出專項訓練與架構優化的價值，也刷新了該領域的SOTA紀錄。