字節跳動Seed團隊發布SeedProver1.5，16.5小時内生成IMO2025前5題完整Lean證明，得分35/42，達金牌分數線，技術報告已公開並将開放API。
觀點網訊：12月24日，字節跳動Seed團隊宣布推出形式化數學推理專用模型SeedProver1.5，面向國際數學奧林匹克（IMO）賽事場景。該模型在16.5小時内針對IMO2025前5道題目自動生成可編譯驗證的Lean證明代碼，繫統評分35/42，按既往IMO標準已達金牌分數線。
團隊同步發布技術報告，披露模型架構、訓練數據與驗證流程，並計劃近期開放API接口，邀請全球數學與人工智能研究者測試體驗。
免責聲明：本文内容與數據由觀點根據公開信息整理，不構成投資建議，使用前請核實。
審校：
版權聲明：觀點網絡信息科技有限公司及廣州觀點信息資訊服務有限公司擁有及保留其主辦暨承辦網站、論壇及活動的所有資料（包括但不限於文字、圖片、音頻、視頻資料及頁面設計、編排、軟件等）的所有權、版權等其他相關知識產權。除經授權合法使用上述資料外，未征得我司書面許可並付費，任何單位和個人不得以任何理由及方式使用上述資料（包括但不限於轉載、轉讓、授權他人使用等），否則我司將依法追究其法律責任以及賠償責任。
承印人：觀點網絡信息科技有限公司 (Guandian Network Information Technology Co.,Ltd.)
地址：香港灣仔菲林明道8號大同大廈15樓1505室（Room 5,15th Floor,Tai Tung Building,8 Fleming Road,Wan chai,HongKong Island,HongKong. ）
電郵：info@guandian.hk
移動端下載