DeepSeek 發布 Prover-V2 模型，參數量達 6710 億

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

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

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

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

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

官方表示，MiMo 推理能力的提升，由預訓練和后訓練階段中數據和算法等多層面的創新聯合驅動，包括：

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

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

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

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

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

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

?

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

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

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

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

?

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

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

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

凈利潤從去年的 123.69 億美元躍升至 166.44 億美元（現匯率約合 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 億，顯示其在人工智能領域的快速布局。此外，公司現金流表現強勁，經營活動現金流為 240.26 億美元，自由現金流為 103.34 億美元，現金及有價證券總額達 702.3 億美元。（來源：IT 之家）

?

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

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

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

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

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

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

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

?

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

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

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

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

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

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

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

?

餓了么宣布超百億補貼加入外賣戰局

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

?

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

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

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

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

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

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

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

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

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

?

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

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

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

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

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

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

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

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

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