請輸入關鍵字：

熱門搜尋：

博泰車聯國家能源局航天電器一圖解碼北方銅業芯成科技

字節推出新一代形式化數學推理專用模型Seed Prover 1.5

日期： 2025年12月24日下午2:15

【財華社訊】12月24日，據"字節跳動Seed"公眾號消息，字節跳動Seed團隊近日推出新一代形式化數學推理專用模型Seed Prover1.5，通過大規模的Agentic RL訓練，其推理能力和推理效率取得顯著進步。相比上一代模型，Seed Prover 1.5在16.5小時內，針對IMO 2025的前5道題目生成了完整可編譯驗證的Lean證明代碼，換算成績為35/42，達到此前IMO評分標準的金牌分數線。

字節跳動形式化數學推理專用模型

財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可，禁止進行轉載、摘編、複製及建立鏡像等任何使用。

如有意願轉載，請發郵件至 content@finet.com.hk，獲得書面確認及授權後，方可轉載。

下載APP 下載財華財經APP，把握投資先機

更多精彩内容，請點擊：財華網(https://www.finet.hk/) 財華智庫網(https://www.finet.com.cn) 現代電視FINTV(http://www.fintv.hk)

上一篇新聞

國家能源局：1-11月全社會用電量同比增長5.2%

下一篇新聞

廣東：做精做細新能源期貨板塊積極推進氫氧化鋰等期貨品種研發上市

相關文章

12月24日: 國家能源局：1-11月全社會用電量同比增長5.2%
12月24日: 國家能源局：11月份全社會用電量同比增長6.2%
12月23日: 抖音黑板報：持續治理「野景點」類違規內容對296個違規賬號處罰
12月23日: 兩部門：探索構建以光熱發電為基礎電源的源網荷儲一體化系統
12月23日: 兩部門：建設一批以光熱發電為主的支撐調節型新能源電站
12月23日: 兩部門：到2030年光熱發電總裝機規模力爭達1500萬千瓦左右度電成本與煤電基本相當
12月22日: 葛蘭素史克：新可來在中國獲批用於治療成人慢性阻塞性肺疾病
12月22日: 華為：搭載鴻蒙5及鴻蒙6的終端設備數突破3200萬
12月22日: 翰宇藥業戰略參股碳雲智肽
12月22日: 京東提示：謹防不法分子冒名郵寄虛假活動卡誘導掃碼詐騙

視頻

【今日IPO】广和通 A+H 股价大跌业绩承压成主因

2026年4月27日下午3:31

【今日IPO】港股 IPO 全线火热多只新股首日翻倍暴涨

2026年4月20日下午3:17

【今日IPO】圆心科技第六次递表港交所聚焦处方药服务

2026年4月24日下午1:48

【今日IPO】香港证监会联手全球打击违法金融网红

2026年4月27日下午3:33

【今日IPO】T3 出行母公司递表港股已扭亏为盈

2026年4月24日下午1:50

快訊

更多

17:36: 交通銀行(03328.HK)一季度歸母淨利潤261.62億元同比增長3.11%
17:29: 工商銀行(01398.HK)一季度歸母淨利潤869.41億元同比增長3.31
17:23: 農業銀行(01288.HK)一季度歸母淨利潤751.85億元同比增長4.52%
17:19: 央行：一季度末個人住房貸款餘額36.72萬億元同比下降3.1%
17:13: 外匯局：3月中國國際收支貨物和服務貿易出口3829億美元進口3395億美元
17:03: 香港證監會對中國汽車及其附屬公司的前高層人員展開法律程序
16:57: 中廣核電力(01816.HK)蒼南1號機組具備商業運營條件
16:52: 中银香港(02388.HK)第一季度除稅後溢利124.93億港元按年上升7%
16:40: 新奧能源(02688.HK)一季度天然氣零售銷售量72.94億立方米同比增長0.5%
16:24: 捷佳偉創：公司布局了TOPCon、XBC等多條技術路線