DeepSeek 發(fā)布 Prover-V2 模型，參數(shù)量達(dá) 6710 億

4 月 30 日消息，DeepSeek 于 AI 開源社區(qū) Hugging Face 上發(fā)布了一個(gè)名為 DeepSeek-Prover-V2-671B 的新模型。

據(jù)悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持多種計(jì)算精度，方便模型更快、更省資源地訓(xùn)練和部署，參數(shù)達(dá) 6710 億，或?yàn)槿ツ臧l(fā)布的 Prover-V1.5 數(shù)學(xué)模型升級(jí)版本。在模型架構(gòu)上，該模型使用了 DeepSeek-V3 架構(gòu)，采用 MoE（混合專家）模式，具有 61 層 Transformer 層，7168 維隱藏層。同時(shí)支持超長(zhǎng)上下文，最大位置嵌入達(dá) 16.38 萬(wàn)，使其能處理復(fù)雜的數(shù)學(xué)證明，并且采用了 FP8 量化，可通過量化技術(shù)減小模型大小，提高推理效率。（來源：新浪科技）

小米開源「Xiaomi MiMo」大模型：為推理而生，以 7B 參數(shù)超越 OpenAI o1-mini

4 月 30 日消息，小米大模型團(tuán)隊(duì)通過「Xiaomi MiMo」公眾號(hào)宣布，小米開源首個(gè)「為推理而生」的大模型 Xiaomi MiMo，聯(lián)動(dòng)預(yù)訓(xùn)練到后訓(xùn)練，全面提升推理能力。據(jù)介紹，MiMo 是來自全新成立不久的「小米大模型 Core 團(tuán)隊(duì)」的初步嘗試。

在數(shù)學(xué)推理（AIME 24-25）和代碼競(jìng)賽（LiveCodeBench v5）公開測(cè)評(píng)集上，MiMo 僅用?7B 的參數(shù)規(guī)模，超越了 OpenAI 的閉源推理模型?o1-mini?和阿里 Qwen 更大規(guī)模的開源推理模型?QwQ-32B-Preview。

官方表示，MiMo 推理能力的提升，由預(yù)訓(xùn)練和后訓(xùn)練階段中數(shù)據(jù)和算法等多層面的創(chuàng)新聯(lián)合驅(qū)動(dòng)，包括：

• 預(yù)訓(xùn)練：核心是讓模型見過更多推理模式

• 數(shù)據(jù)：著重挖掘富推理語(yǔ)料，并合成約 200B tokens 推理數(shù)據(jù)。

• 訓(xùn)練：進(jìn)行了三階段訓(xùn)練，逐步提升訓(xùn)練難度，總訓(xùn)練 25T tokens。

• 后訓(xùn)練：核心是高效穩(wěn)定的強(qiáng)化學(xué)習(xí)算法和框架

• 算法：提出 Test Difficulty Driven Reward 來緩解困難算法問題中的獎(jiǎng)勵(lì)稀疏問題，并引入 Easy Data Re-Sampling 策略，以穩(wěn)定?RL?訓(xùn)練。

• 框架：設(shè)計(jì)了 Seamless Rollout 系統(tǒng)，使得 RL 訓(xùn)練加速 2.29 倍，驗(yàn)證加速 1.96 倍。（來源：IT 之家）

?

可生成 AI 播客：谷歌 NotebookLM 音頻概覽功能新增 76 種語(yǔ)言支持，包含中文

4 月 30 日消息，谷歌宣布其基于人工智能的筆記和研究助手工具 NotebookLM 的「音頻概覽（Audio Overviews）」功能新增 76 種語(yǔ)言支持。該功能于去年推出，旨在通過人工智能虛擬主持人根據(jù)用戶上傳到 NotebookLM 的文檔（如課程閱讀材料或法律摘要）生成播客，幫助用戶以另一種方式理解和消化文檔中的信息。

谷歌表示，此前「音頻概覽」功能僅支持用戶賬戶所設(shè)置的首選語(yǔ)言。如今，公司新增了「輸出語(yǔ)言」選項(xiàng)，用戶可以自由選擇生成「音頻概覽」的語(yǔ)言。谷歌強(qiáng)調(diào)，用戶可以隨時(shí)更改語(yǔ)言設(shè)置，這樣就能根據(jù)需要輕松創(chuàng)建多語(yǔ)言內(nèi)容或?qū)W習(xí)材料。

谷歌在一篇博客文章中舉例說明了這一功能的實(shí)用性：「例如，一位準(zhǔn)備關(guān)于亞馬遜雨林課程的教師可以與學(xué)生共享多種語(yǔ)言的資源，比如葡萄牙語(yǔ)紀(jì)錄片、西班牙語(yǔ)研究報(bào)告和英語(yǔ)學(xué)習(xí)報(bào)告。學(xué)生們可以將這些資料上傳到 NotebookLM，并在他們偏好的語(yǔ)言中生成關(guān)鍵要點(diǎn)的音頻概覽。」（來源：IT 之家）

?

Meta 公布 2025 財(cái)年第 1 財(cái)季財(cái)報(bào)：營(yíng)收 423.14 美元，同比增長(zhǎng) 16%

5 月 1 日消息，Meta 公司4 月 30 日發(fā)布博文，公布了 2025 財(cái)年第 1 財(cái)季（截至 3 月 31 日）的財(cái)報(bào)業(yè)績(jī)，營(yíng)收達(dá)到 423.14 億美元，同比增長(zhǎng) 16%；凈利潤(rùn) 166.44 億美元，同比增長(zhǎng) 35%。

Meta 在 2025 財(cái)年第 1 財(cái)季交出了一份亮眼的成績(jī)單?？偁I(yíng)收達(dá)到 423.14 億美元（IT 之家注：現(xiàn)匯率約合 3078.03 億元人民幣），較去年同期的 364.55 億美元增長(zhǎng) 16%，若按固定匯率計(jì)算，增長(zhǎng)率更是高達(dá) 19%。

凈利潤(rùn)從去年的 123.69 億美元躍升至 166.44 億美元（現(xiàn)匯率約合 1210.73 億元人民幣），增幅達(dá) 35%；每股攤薄收益（EPS）從 4.71 美元提升至 6.43 美元，增長(zhǎng) 37%；運(yùn)營(yíng)利潤(rùn)為 175.55 億美元，同比增長(zhǎng) 27%，運(yùn)營(yíng)利潤(rùn)率從 38% 提升至 41%。

Meta 旗下應(yīng)用家族（Family of Apps）的日活躍用戶（DAP）平均達(dá) 34.3 億，同比增長(zhǎng) 6%；廣告曝光量（Ad Impressions）同比增長(zhǎng) 5%，每條廣告平均價(jià)格上漲 10%，推動(dòng)廣告收入達(dá)到 413.92 億美元，占總營(yíng)收的絕大部分。

Meta AI 的月活躍用戶接近 10 億，顯示其在人工智能領(lǐng)域的快速布局。此外，公司現(xiàn)金流表現(xiàn)強(qiáng)勁，經(jīng)營(yíng)活動(dòng)現(xiàn)金流為 240.26 億美元，自由現(xiàn)金流為 103.34 億美元，現(xiàn)金及有價(jià)證券總額達(dá) 702.3 億美元。（來源：IT 之家）

?

微軟第三季度營(yíng)收 700.7 億美元，高于市場(chǎng)預(yù)期

微軟第三季度營(yíng)收 700.7 億美元，預(yù)估 684.8 億美元；第三季度每股收益 3.46 美元；第三季度智能云業(yè)務(wù)營(yíng)收 268 億美元，預(yù)估 259.9 億美元；第三財(cái)季云營(yíng)收 424 億美元，分析師預(yù)期 422.2 億美元；第三財(cái)季 Azure 增長(zhǎng)對(duì)人工智能（AI）業(yè)務(wù)貢獻(xiàn) 16 個(gè)百分點(diǎn)，分析師預(yù)期公司 15.6 個(gè)百分點(diǎn)。美股盤后漲超 6%。（來源：新浪科技）

蘋果加速印度布局，塔塔 / 富士康新工廠被曝組裝生產(chǎn) iPhone 16e 等機(jī)型

4 月 30 日消息，路透社 4 月 29 日發(fā)布博文，報(bào)道稱蘋果公司在印度南部的兩家新工廠已啟動(dòng)生產(chǎn)。其中一家由塔塔電子（Tata Electronics）運(yùn)營(yíng)的工廠已開始生產(chǎn)老款 iPhone，而另一家由富士康（Foxconn）建設(shè)的工廠將在 5 月啟動(dòng)發(fā)貨。

IT 之家援引博文介紹，位于印度南部泰米爾納德邦霍蘇爾（Hosur）的塔塔電子新工廠已于近日投產(chǎn)，首批生產(chǎn)線專注于生產(chǎn)老款 iPhone 型號(hào)。

而富士康在卡納塔克邦班加羅爾投資 26 億美元建設(shè)的新工廠，也將在數(shù)日內(nèi)啟動(dòng)首條生產(chǎn)線。

據(jù)悉，該工廠每小時(shí)可生產(chǎn) 300 至 500 臺(tái) iPhone，首批產(chǎn)品包括 iPhone 16 和 16e 型號(hào)。消息人士透露，該富士康工廠預(yù)計(jì)在 2027 年 12 月全面建成，屆時(shí)將創(chuàng)造約 5 萬(wàn)個(gè)就業(yè)機(jī)會(huì)。（來源：IT 之家）

?

消息稱寧德時(shí)代擬下月在港上市，或成四年來最大規(guī)模新股發(fā)行

4 月 30 日消息，據(jù)路透社援引兩位知情人士消息稱，電池制造巨頭寧德時(shí)代計(jì)劃于下月啟動(dòng)在香港的上市程序，預(yù)計(jì)將成為該市四年來規(guī)模最大的股票發(fā)行。

消息人士稱，此次交易的建簿過程——即邀請(qǐng)投資者對(duì)股權(quán)發(fā)行進(jìn)行投標(biāo)的過程，預(yù)計(jì)將于?5 月 12 日起始的一周開始。此前另有知情人士透露，此次發(fā)行可能籌集至少 50 億美元（IT 之家注：現(xiàn)匯率約合 363.71 億元人民幣）。

寧德時(shí)代未立即回應(yīng)置評(píng)請(qǐng)求。

其中一位消息人士補(bǔ)充說，寧德時(shí)代建簿的規(guī)模和時(shí)間可能會(huì)發(fā)生變化。

報(bào)道稱，寧德時(shí)代此次登陸港股將成為近 4 年香港規(guī)模最大的一次上市。2021 年，快手通過首次公開募股籌集了 62 億美元（現(xiàn)匯率約合 451 億元人民幣）。

寧德時(shí)代此前在一份監(jiān)管文件中表示，籌集的部分資金將用于在匈牙利建設(shè)一座價(jià)值 73 億歐元（現(xiàn)匯率約合 604.72 億元人民幣）的電池工廠。（來源：IT 之家）

?

餓了么宣布超百億補(bǔ)貼加入外賣戰(zhàn)局

外賣戰(zhàn)場(chǎng)的熱度再度加碼。4 月 30 日，餓了么宣布進(jìn)一步加大平臺(tái)補(bǔ)貼力度，即日起開啟平臺(tái)「餓補(bǔ)超百億」大促。針對(duì)補(bǔ)貼，餓了么表示不打競(jìng)爭(zhēng)口水仗，「只發(fā)真福利」。目前，餓了么 App 已上線「超百億」口令詞入口。（來源：富途牛牛）

?

英偉達(dá)新工具開放使用，可根據(jù) 3D 場(chǎng)景創(chuàng)建 AI 圖像，配置要求 RTX 4080

4 月 30 日消息，英偉達(dá)推出了一款新工具，允許開發(fā)者首先在 3D 中創(chuàng)建圖像，然后生成 AI 圖像。

這個(gè)工具名為 Nvidia AI Blueprint for 3D-guided generative AI，4 月 30 日起即可下載，適用于配備 RTX 4080 GPU 或更高型號(hào)的計(jì)算機(jī)，它通過將 Blender 的 3D 建模軟件與 Black Forest Lab 的 FLUX.1 圖像生成器連接起來工作。

用戶可以使用 Blender 中的 3D 對(duì)象（如建筑物、植物、動(dòng)物和車輛）繪制場(chǎng)景，然后將其用作創(chuàng)建 2D 圖像的參考。用戶可以手動(dòng)調(diào)整觀看位置或某些對(duì)象應(yīng)放置的位置，與僅使用文本描述相比，這種方法在生成 2D 圖像時(shí)可以提供更多細(xì)節(jié)控制。

例如，如果你腦海中有一個(gè)非常具體的城市圖像——建筑物的形狀和高度，顯示的樹木或汽車數(shù)量，甚至你觀看的角度，此時(shí)就可以使用該工具在 Blender 中手動(dòng)創(chuàng)建一個(gè)大概的樣子。（來源：IT 之家）

消息稱 Meta 第三代雷朋聯(lián)名智能眼鏡將于 10 月發(fā)售，配單色顯示屏及手環(huán)控制器

據(jù)彭博社報(bào)道，Meta 旗下第三代?Ray-Ban?雷朋聯(lián)名智能眼鏡將于今年?10?月發(fā)售，目前?Meta?已安排部分員工在周末加班，加班加點(diǎn)研發(fā)這款設(shè)備。

該眼鏡相比前兩代最大的特色就是配備了一塊單色（預(yù)計(jì)為綠色）顯示面板，同時(shí)帶有可以佩戴在手腕上的「手環(huán)」風(fēng)格控制器，定價(jià)在 1000 至 1400 美元（IT 之家注：現(xiàn)匯率約合 7274 至 10184 元人民幣）之間。

據(jù)悉，第三代雷朋聯(lián)名智能眼鏡將內(nèi)置相機(jī)、照片、地圖等應(yīng)用，同時(shí)還支持快速查看來自手機(jī)應(yīng)用的通知。該眼鏡內(nèi)置安卓系統(tǒng)，但無法安裝第三方?App，同時(shí)眼鏡的各項(xiàng)功能將「嚴(yán)重依賴手機(jī)」。 Meta「內(nèi)部人士」透露，第三代雷朋聯(lián)名智能眼鏡拍照質(zhì)量將「媲美 iPhone 13」。（來源：IT 之家）

?

榮耀手表全新系列官宣，兩款新品將至

在4 月 30 日下午的榮耀 MagicBook Pro 16 2025 新品發(fā)布會(huì)上，榮耀預(yù)告了榮耀手表全新系列。

從預(yù)告海報(bào)可以看到，榮耀手表全新系列將包含兩款產(chǎn)品，一款是硬朗風(fēng)格，另一款是圓潤(rùn)風(fēng)格。

外觀方面，新品提供棕色和黑色兩款配色，手表屏幕覆蓋藍(lán)寶石玻璃，表殼則采用鈦合金材質(zhì)，這款新品的續(xù)航時(shí)間據(jù)稱可以達(dá)到 15 天。

功能上，新品支持自由潛水等 100 多種運(yùn)動(dòng)模式，支持快速健康掃描、健康早晨報(bào)告以及全天健康追蹤等。（來源：IT 之家）

紐約地鐵探索引入 AI 技術(shù)：提前預(yù)警異常行為，預(yù)防犯罪發(fā)生

美國(guó)紐約大都會(huì)運(yùn)輸署（MTA）表示，其正在探索使用人工智能系統(tǒng)對(duì)該市地鐵站臺(tái)上的犯罪和危險(xiǎn)行為進(jìn)行「預(yù)測(cè)性預(yù)防」。

MTA 首席安全官邁克爾?肯珀（Michael Kemper）表示，該機(jī)構(gòu)正在「研究并試點(diǎn)使用人工智能等技術(shù)，以感知地鐵站臺(tái)上可能出現(xiàn)的麻煩或不當(dāng)行為」。他在周一的 MTA 安全委員會(huì)會(huì)議上解釋說：「如果有人行為異常、失去理智，這可能會(huì)觸發(fā)警報(bào)，從而促使安保人員或警方采取行動(dòng)?！顾麖?qiáng)調(diào)，警方可能會(huì)「在事情發(fā)生前」就做出反應(yīng)。

肯珀補(bǔ)充道：「人工智能是未來?！顾岬?，MTA 目前正在與科技公司合作，研究「什么樣的技術(shù)可以在地鐵系統(tǒng)中發(fā)揮作用」。不過，他并未透露 MTA 正在與哪些公司合作，人工智能將如何實(shí)施，以及人工智能攝像頭將被期望檢測(cè)到的具體行為類型。（來源：IT 之家）