DeepSeek發佈Prover-V2 模型；小米首個推理大模型開源；餓了麼宣佈超百億補貼加入外賣戰局

DeepSeek 發表Prover-V2 模型，參數量達6,710 億

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 播客：GoogleNotebookLM 音訊概覽功能新增76 種語言支援，包含中文

4 月30 日消息，Google宣佈其基於人工智慧的筆記和研究助理工具NotebookLM 的「音訊概覽（Audio Overviews）」功能新增76 種語言支援。該功能於去年推出，旨在透過人工智慧虛擬主持人根據使用者上傳到NotebookLM 的檔案（如課程閱讀材料或法律摘要）產生播客，幫助使用者以另一種方式理解和消化檔案中的資訊。

Google表示，先前「音訊概覽」功能僅支援使用者帳號所設定的首選語言。如今，公司新增了「輸出語言」選項，使用者可以自由選擇產生「音訊概覽」的語言。Google強調，使用者可以隨時更改語言設定，這樣就能根據需要輕鬆建立多語言內容或學習材料。

Google在一篇部落格文章中舉例說明了這項功能的實用性：「例如，一位準備關於亞馬遜雨林課程的教師可以與學生共享多種語言的資源，例如葡萄牙語紀錄片、西班牙語研究報告和英語學習報告。學生可以將這些資料上傳到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 之家註：現匯率約合3,078.03 億元），較去年同期的364.55 億美元成長16%，若以固定匯率計算，成長率高達19%。

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

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）業務價值美股盤後漲超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 元人民幣）之間。

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

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

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

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

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

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

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

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

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

肯珀補充道：「人工智慧是未來。」他提到，MTA 目前正在與科技公司合作，研究「什麼樣的技術可以在地鐵系統中發揮作用」。不過，他並未透露MTA 正在與那些公司合作，人工智慧將如何實施，以及人工智慧攝影機將被期望偵測到的具體行為類型。 （圖片來源：IT 之家） （極客公園）