月之暗面Kimi與Numina團(tuán)隊(duì)合作開發(fā)的數(shù)學(xué)定理證明模型Kimina-Prover推出預(yù)覽版。據(jù)介紹，該模型在數(shù)學(xué)定理證明基準(zhǔn)測試 MiniF2F上取得80.7%的成績，超過此前最佳水平 (SOTA)模型10.6%，創(chuàng)下新高。（財(cái)聯(lián)社） (投資界) 下載投資界APP