科技速遞：2025云廠商大模型中標(biāo)成績(jī)出爐，字節(jié)推出Seed Prover 1.5

2025年12月25日消息，昨夜今晨，科技圈都發(fā)生了哪些大事？行業(yè)大咖拋出了哪些新的觀點(diǎn)？?《科技速遞》即刻為您梳理關(guān)鍵資訊：

2025云廠商大模型中標(biāo)成績(jī)出爐，百度智能云中標(biāo)項(xiàng)目數(shù)和中標(biāo)金額最多

12月23日，根據(jù)公開(kāi)招標(biāo)信息整理統(tǒng)計(jì)，2025年1-11月，中國(guó)主流云廠商大模型相關(guān)中標(biāo)項(xiàng)目累計(jì)達(dá)291個(gè)，中標(biāo)金額突破21億元。其中，百度智能云以95個(gè)中標(biāo)項(xiàng)目和7.1億元中標(biāo)金額，成為中標(biāo)項(xiàng)目數(shù)和中標(biāo)金額最多的云廠商。(36氪)

北京市機(jī)器人產(chǎn)業(yè)協(xié)會(huì)將于12月26日成立

北京市機(jī)器人產(chǎn)業(yè)協(xié)會(huì)將于12月26日成立。協(xié)會(huì)由中國(guó)電子信息產(chǎn)業(yè)發(fā)展研究院(賽迪研究院)、北京人形機(jī)器人創(chuàng)新中心有限公司等多家單位聯(lián)合發(fā)起成立。(上證報(bào))

三星、SK海力士上調(diào)明年HBM3E價(jià)格，漲幅近20%

據(jù)韓媒報(bào)道，三星電子、SK海力士等存儲(chǔ)供應(yīng)商已上調(diào)明年HBM3E價(jià)格，漲幅接近20%。一般而言，在新一代HBM產(chǎn)品面世之前，供應(yīng)商往往會(huì)下調(diào)前一代產(chǎn)品價(jià)格，因此本次漲價(jià)在業(yè)內(nèi)較為罕見(jiàn)。(財(cái)聯(lián)社)

字節(jié)推出形式化數(shù)學(xué)推理專(zhuān)用模型Seed?Prover?1.5

字節(jié)跳動(dòng)Seed團(tuán)隊(duì)宣布推出形式化數(shù)學(xué)推理專(zhuān)用模型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ì)外公開(kāi)，后續(xù)將開(kāi)放API，邀請(qǐng)感興趣的數(shù)學(xué)和AI研究者體驗(yàn)該模型。(36氪)

當(dāng)前模型已展現(xiàn)出強(qiáng)大的競(jìng)賽級(jí)解題能力，但距離輔助前沿?cái)?shù)學(xué)研究，仍需突破文獻(xiàn)理解、跨領(lǐng)域推理等核心難題。不過(guò)其技術(shù)路徑已驗(yàn)證，通過(guò)強(qiáng)化學(xué)習(xí)與形式化環(huán)境的結(jié)合，AI有望成為人類(lèi)探索數(shù)學(xué)真理的重要協(xié)作伙伴。

猿輔導(dǎo)素養(yǎng)課發(fā)布新一代“AI課堂2.0”

12月24日，猿輔導(dǎo)素養(yǎng)課正式發(fā)布新一代“AI課堂2.0”。猿輔導(dǎo)素養(yǎng)課負(fù)責(zé)人孫小炎表示，經(jīng)AI賦能，學(xué)生學(xué)習(xí)效率提升20%，留存率提升10%，滿意度提升37%。(36氪)

英偉達(dá)稱(chēng)并未收購(gòu)人工智能芯片初創(chuàng)公司Groq

英偉達(dá)稱(chēng)并未收購(gòu)人工智能芯片初創(chuàng)公司Groq，僅為技術(shù)許可安排。此前據(jù)媒體報(bào)道，英偉達(dá)擬以約200億美元收購(gòu)Groq。(財(cái)聯(lián)社)

阿里升級(jí)新一代語(yǔ)音模型Qwen3-TTS，可參考文字、聲音生成擬人音色

12月24日，阿里升級(jí)語(yǔ)音模型家族Qwen3-TTS，發(fā)布音色創(chuàng)造Qwen3-TTS-VD(VoiceDesign)和音色克隆Qwen3-TTS-VC(VoiceClone)兩款全新模型。Qwen3-TTS新模型可實(shí)現(xiàn)DIY聲音設(shè)計(jì)和像素級(jí)音色模仿，甚至讓動(dòng)物“原生”開(kāi)口說(shuō)人話，音色自然、效果穩(wěn)定、生成高效，可加速語(yǔ)音大模型在有聲小說(shuō)、AI漫劇、影視配音等多專(zhuān)業(yè)領(lǐng)域落地。(36氪)

技術(shù)突破的同時(shí)，也需要關(guān)注音色克隆可能帶來(lái)的身份冒用、版權(quán)糾紛等問(wèn)題，未來(lái)需建立完善的技術(shù)規(guī)范和監(jiān)管機(jī)制。但整體而言，這兩款模型的發(fā)布，不僅展現(xiàn)了阿里在AI語(yǔ)音領(lǐng)域的技術(shù)實(shí)力，更推動(dòng)語(yǔ)音合成從工具屬性向創(chuàng)作賦能升級(jí)。

科大訊飛在山東成立新公司，含AI及集成電路業(yè)務(wù)

愛(ài)企查App顯示，近日，山東沂訊信息科技有限公司成立，法定代表人為柳升華，注冊(cè)資本5000萬(wàn)元人民幣，經(jīng)營(yíng)范圍包括人工智能公共服務(wù)平臺(tái)技術(shù)咨詢(xún)服務(wù)、集成電路設(shè)計(jì)、人工智能基礎(chǔ)軟件開(kāi)發(fā)等。股東信息顯示，該公司由科大訊飛股份有限公司全資持股。(36氪)

聚合標(biāo)簽：

網(wǎng)友評(píng)論

發(fā)布