tradingkey.logo
搜尋

字節跳動推出形式化數學推理專用模型Seed Prover 1.5

金吾財訊2025年12月24日 10:53
facebooktwitterlinkedin

金吾財訊 | 字節跳動Seed團隊宣佈,推出形式化數學推理專用模型Seed Prover 1.5。據介紹,相較於上一代模型,Seed Prover 1.5在16.5小時內,針對IMO 2025的前5道題目生成完整可編譯驗證的Lean證明代碼,換算成績爲35/42,達此前IMO評分標準的金牌分數線。 Seed Prover 1.5的技術報告已對外公開,後續將開放API,邀請有興趣的數學和AI研究者體驗該模型。

免責聲明:本網站提供的資訊僅供教育和參考之用,不應視為財務或投資建議。

推薦文章

tradingkey.logo
風險提示:我們的網站和行動應用程式僅提供關於某些投資產品的一般資訊。Finsights 不提供財務建議或對任何投資產品的推薦,且提供此類資訊不應被解釋為 Finsights 提供財務建議或推薦。
投資產品存在重大投資風險,包括可能損失投資的本金,且可能並不適合所有人。投資產品的過去表現並不代表其未來表現。
Finsights 可能允許第三方廣告商或關聯公司在我們的網站或行動應用程式的任何部分放置或投放廣告,並可能根據您與廣告的互動情況獲得報酬。
© 版權所有: FINSIGHTS MEDIA PTE. LTD. 版權所有