北京
12月24日，字節跳動Seed團隊宣布推出新一代形式化數學推理專用模型Seed Prover1.5，通過大規模的Agentic RL訓練，其推理能力和推理效率宣稱取得顯著進步。據悉，Seed Prover1.5的技術報告已對外公開，后續將開放API。（字節跳動seed）
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
