月之暗面Kimi发布新模型Kimina-Prover Preview

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