Kimi 技术团队近日发布了 Kimina-Prover 预览版的技术报告，并开源了1.5B 和7B 参数的模型蒸馏版本、用于数据生成的 Kimina-Autoformalizer-7

 Kimi 技術團隊近日發佈了 Kimina-Prover 預覽版的技術報告，並開源了1.5B 和7B 參數的模型蒸餾版本、用於數據生成的 Kimina-Autoformalizer-7

The Kimi technical team recently released a technical report on the preview version of Kimina-Prov

Kimi技術チームは先日、Kimina-Proverプレビュー版の技術レポートを発表し、1.5Bと7Bパラメーターのモデル蒸留版、データ生成用のKimina-Autoformalizer-7Bモデ

Kunlun Tech officially released and open-sourced its latest reasoning large model Skywork MindLink

昆仑万维正式发布并开源了其最新推理大模型Skywork MindLink，同时公布了72B模型权重、技术报告及代码仓库链接，引发行业广泛关注。 该模型通过创新性推理框架实现动态路径选择，可根据任

崑崙萬維正式發佈並開源了其最新推理大模型Skywork MindLink，同時公佈了72B模型權重、技術報告及代碼倉庫鏈接，引發行業廣泛關注。 該模型通過創新性推理框架實現動態路徑選擇，可根據任

昆仑万維は最新の推論大規模モデル「Skywork MindLink」を正式にリリースし、オープンソース化しました。同時に72Bモデルの重み、技術報告書およびコードリポジトリのリンクも公開し、業界か