字節(jié)推出形式化數(shù)學推理專用模型Seed Prover 1.5，AI人工智能ETF(512930)紅盤向上

　　截至2025年12月24日 13:01，中證人工智能主題指數(shù)(930713)上漲0.03%，成分股北京君正(300223)上漲11.33%，深桑達A(000032)上漲6.38%，德賽西威(002920)上漲2.84%，浪潮信息(000977)上漲2.45%，中科星圖(688568)上漲2.31%。AI人工智能ETF(512930)上漲0.09%， 沖擊4連漲。最新價報2.16元。

　　消息面上，字節(jié)跳動Seed團隊宣布推出形式化數(shù)學推理專用模型Seed Prover 1.5。據(jù)介紹，相比上一代模型，Seed Prover 1.5在16.5小時內(nèi)，針對IMO 2025的前5道題目生成了完整可編譯驗證的Lean證明代碼，換算成績?yōu)?5/42，達到此前IMO評分標準的金牌分數(shù)線。Seed Prover 1.5的技術(shù)報告已對外公開，后續(xù)將開放API，邀請感興趣的數(shù)學和AI研究者體驗該模型。

　　AI大模型商業(yè)化進程持續(xù)推進，降本成為關鍵路徑。長江證券認為，谷歌發(fā)布Gemini 3.0 Flash版本，旨在以更低的成本提供前沿智能水平，反映出當前AI行業(yè)已從技術(shù)驗證轉(zhuǎn)向商業(yè)化落地階段，而成本控制成為影響用戶采納的核心因素。Flash版本基于強大基模進行蒸餾優(yōu)化，體現(xiàn)了系統(tǒng)性降本的技術(shù)趨勢。與此同時，AI變現(xiàn)仍依賴現(xiàn)有互聯(lián)網(wǎng)商業(yè)模式，頭部平臺憑借生態(tài)優(yōu)勢和用戶基礎，在馬太效應下更具競爭力。展望后續(xù)，市場需關注AI產(chǎn)品發(fā)布是否超預期以及AI Agent的實際落地進展。國內(nèi)AI生態(tài)同樣活躍，火山引擎在Force原動力大會上發(fā)布豆包大模型1.8及音視頻創(chuàng)作模型Seedance 1.5 pro，推動多模態(tài)內(nèi)容生成技術(shù)發(fā)展，進一步豐富應用場景。

　　AI人工智能ETF緊密跟蹤中證人工智能主題指數(shù)，中證人工智能主題指數(shù)選取50只業(yè)務涉及為人工智能提供基礎資源、技術(shù)以及應用支持的上市公司證券作為指數(shù)樣本，以反映人工智能主題上市公司證券的整體表現(xiàn)。

　　數(shù)據(jù)顯示，截至2025年11月28日，中證人工智能主題指數(shù)(930713)前十大權(quán)重股分別為中際旭創(chuàng)(300308)、新易盛(300502)、寒武紀(688256)、中科曙光(603019)、瀾起科技(688008)、科大訊飛(002230)、?？低?/a>(002415)、豪威集團(603501)、金山辦公(688111)、浪潮信息(000977)，前十大權(quán)重股合計占比63.92%。

　　AI人工智能ETF(512930)，場外聯(lián)接(平安中證人工智能主題ETF發(fā)起式聯(lián)接A：023384；平安中證人工智能主題ETF發(fā)起式聯(lián)接C：023385；平安中證人工智能主題ETF發(fā)起式聯(lián)接E：024610)。

（文章來源：界面新聞）

(原標題：字節(jié)推出形式化數(shù)學推理專用模型Seed Prover 1.5，AI人工智能ETF(512930)紅盤向上)

(責任編輯：6)