月之暗面Kimi发布新模型Kimina-Prover Preview
下载客户端
独家抢先看
独家抢先看
【月之暗面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.”
