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