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