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