《科创板日报》15日讯，今日，月之暗面 Kimi 与 Numina 团队合作开发的数学定理证明模型 Kimina-Prover 推出预览版。据介绍，该模型在数学定理证明基准测试 MiniF2F上取得了80.7%的成绩，超过此前最佳水平 (SOTA)模型10.6%，创下新高。