月之暗面Kimi開源數學定理證明模型Kimina-Prover

　　Kimi技術團隊發布了Kimina-Prover的預覽版，開源了多個模型和數據集，展現出在形式化定理證明領域的出色性能。

　　Kimina-Prover通過結合大規模強化學習與形式化推理，顯著提升了模型的推理能力和樣本效率，達到了80.7%的通過率，超越了以往最佳結果。

　　Kimina-Prover在miniF2F基準測試中達到了80.7%的通過率，超越了之前的最佳結果。

　　該模型結合了大規模強化學習與形式化推理，顯著提升了推理能力和樣本效率。

　　Kimina-Prover的可解釋性強，用戶可以查看推導過程，為理解模型行為提供便利。