《科創(chuàng)板日報》15日訊，今日，月之暗面 Kimi 與 Numina 團隊合作開發(fā)的數(shù)學(xué)定理證明模型 Kimina-Prover 推出預(yù)覽版。據(jù)介紹，該模型在數(shù)學(xué)定理證明基準測試 MiniF2F上取得了80.7%的成績，超過此前最佳水平 (SOTA)模型10.6%，創(chuàng)下新高。