


【月之暗面Kimi发布新模型Kimina-Prover Preview】《科创板日报》15日讯,今日,月之暗面 Kimi 与 Numina 团队合作开发的数学定理证明模型 Kimina-Prover 推出预览版。据介绍,该模型在数学定理证明基准测试 MiniF2F上取得了 80.7% 的成绩,超过此前最佳水平 (SOTA)模型10.6%,创下新高。
“特别声明:以上作品内容(包括在内的视频、图片或音频)为凤凰网旗下自媒体平台“大风号”用户上传并发布,本平台仅提供信息存储空间服务。
Notice: The content above (including the videos, pictures and audios if any) is uploaded and posted by the user of Dafeng Hao, which is a social media platform and merely provides information storage space services.”