字節(jié)推出形式化數(shù)學(xué)推理專用模型Seed Prover 1.5！科創(chuàng)人工智能ETF華夏(589010) 午后拉升漲超1.2%，星環(huán)科技領(lǐng)漲逾7%

　　截至14點(diǎn)08分，科創(chuàng)人工智能ETF（589010）在午后延續(xù)強(qiáng)勁走勢(shì)，上漲1.28%，價(jià)格直逼日內(nèi)高點(diǎn)，目前正處于均線支撐上方運(yùn)行。持倉股方面多點(diǎn)開花，超八成個(gè)股飄紅，其中星環(huán)科技-U與恒玄科技雙雙大漲超7%，帶動(dòng)板塊情緒顯著回暖。流動(dòng)性方面，成交額突破4100萬元，市場(chǎng)交投活躍，資金承接有力，顯示出投資者對(duì)科創(chuàng)AI賽道修復(fù)行情的信心正在增強(qiáng)，建議關(guān)注后續(xù)量能配合情況。

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

　　銀河證券表示，中國人工智能產(chǎn)業(yè)已初步構(gòu)建覆蓋基礎(chǔ)層、技術(shù)層與應(yīng)用層的完整體系，國產(chǎn)產(chǎn)品在硬件、軟件、機(jī)床、機(jī)器人以及通信領(lǐng)域逐步實(shí)現(xiàn)技術(shù)自主可控。市場(chǎng)普遍對(duì)替代前景持樂觀態(tài)度，中國人工智能市場(chǎng)規(guī)模2022年超過400億美元，預(yù)計(jì)2030年突破1500億美元。

　　科創(chuàng)人工智能ETF華夏（589010）緊密跟蹤上證科創(chuàng)板人工智能指數(shù)，覆蓋全產(chǎn)業(yè)鏈優(yōu)質(zhì)企業(yè)，兼具高研發(fā)投入與政策紅利支持，20%漲跌幅與中小盤彈性助力捕捉AI產(chǎn)業(yè)“奇點(diǎn)時(shí)刻”。

（文章來源：每日經(jīng)濟(jì)新聞）

(原標(biāo)題：字節(jié)推出形式化數(shù)學(xué)推理專用模型Seed Prover 1.5！科創(chuàng)人工智能ETF華夏(589010) 午后拉升漲超1.2%，星環(huán)科技領(lǐng)漲逾7%)

(責(zé)任編輯：6)