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

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

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

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

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

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

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

• 預訓練：核心是讓模型見過更多推理模式

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

• 訓練：進行了三階段訓練，逐步提升訓練難度，總訓練 25T tokens。

• 后訓練：核心是高效穩(wěn)定的強化學習算法和框架

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

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

 

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

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

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

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

 

Meta 公布 2025 財年第 1 財季財報：營收 423.14 美元，同比增長 16%

5 月 1 日消息，Meta 公司4 月 30 日發(fā)布博文，公布了 2025 財年第 1 財季（截至 3 月 31 日）的財報業(yè)績，營收達到 423.14 億美元，同比增長 16%；凈利潤 166.44 億美元，同比增長 35%。

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

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

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

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

 

微軟第三季度營收 700.7 億美元，高于市場預期

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

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

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

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

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

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

 

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

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

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

寧德時代未立即回應置評請求。

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

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

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

 

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

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

 

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

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

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

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

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

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

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

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

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

 

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

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

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

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

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

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

美國紐約大都會運輸署（MTA）表示，其正在探索使用人工智能系統(tǒng)對該市地鐵站臺上的犯罪和危險行為進行「預測性預防」。

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

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