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 之家）
*圖片來源：Hugging Face
熱點影片
更多閱讀