Qualcomm正與國產 DRAM 龍頭長鑫存儲(CXMT)攜手合作,計劃為智能手機開發定制化移動 DRAM 解決方案。據悉,這款定制 DRAM 預計 2026 年下半年量產,初期將主要供應中國品牌智能手機。
全球手機 DRAM 供應危機加劇
事實上,Qualcomm與長鑫存儲的分工早有伏筆。今年 2 月,Qualcomm就已透露長鑫存儲是「首批獲得Qualcomm存儲供應認證」的供應商之一。此次合作的背景,是全球手機 DRAM 正經歷前所未有的危機。為滿足 AI 產業對高帶寬存儲(HBM)的暴增需求,Samsung、SK 海力士、美光等 DRAM 大廠將產能全面傾斜 HBM,導致傳統移動 DRAM 供應嚴重收縮。市場數據顯示,2026 年一季度手機用 DRAM 合約價環比暴漲 80%-95%。
中國人工智能框架獨立解決並正式驗證了一個持續超過十年未解的交換代數開放問題。研究人員表示,這套中國 AI 系統幾乎完全自主運作,從頭到尾無需人類介入。領導該項目的 15 人團隊由北京大學研究員主導,針對 2014 年由前愛荷華大學數學教授 Dan Anderson 提出的猜想。Anderson 已於 2022 年以 73 歲之齡逝世。
Archon 會將任務拆解成步驟、精煉並自動建構證明。兩個代理共同彌補 AI 在數學領域的長期挑戰:自然語言推理靈活但不精確,與正式驗證嚴謹卻脆弱之間的斷層。
中國 AI 系統另一優勢在於跨領域應用數學技巧,通常需不同數學分支專家合作。研究員指出,Rethlas 的成功主要歸功 Matlas,能發現並套用跨域定理,引導系統得出可行證明。Archon 則獨立填補非正式論證缺口,這需相當程度的數學推理能力。
團隊亦測試 Archon 於 FirstProof 基準,這是由學術數學家提出的 10 個研究級問題集合。在 Google Aletheia 系統失敗的兩個案例中,Archon 產生完整形式化證明,一個完全自主,另一個僅需一個自然語言提示。
該論文尚未經同行評審,未宣稱框架能解決所有數學開放問題,但證明 AI 結合推理與驗證的新研究途徑可產生可靠、可查證結果。
Microsoft 正在測試一項新功能,讓用戶指定特定日期暫停 Windows 更新,直至該日期。此舉可賦予用戶對系統更新的更大控制權,或許意味著 Microsoft 將終止強制性 Windows 更新。
新日曆介面取代下拉選單
目前,在 Windows 11 的設定中,用戶可透過 Windows 更新頁面的下拉選單暫停更新,最長達五週。對於 Windows 11 專業版或企業版用戶,則可延遲更新數月甚至一年。新測試功能將以日曆浮出視窗取代下拉選單,用戶可直接選擇未來日期暫停更新。
Microsoft 先前表示,正致力透過擴大用戶對 Windows 更新的控制,提升 Windows 11 使用體驗,使其更平靜且減少干擾。
公司亦承諾允許用戶依自身意願暫停更新。觀察發現,此功能早期跡象已出現在預覽版本中,公眾推送前已現蹤跡。
根據測試,新 Windows 更新暫停控制功能仍在開發,日期選項尚未完全載入。發佈後,用戶可調整暫停天數、周數或月份。操作簡單,只需點擊日曆圖示選擇日期,例如選 4 月 15 日,更新即暫停至該日。用戶仍可點擊日曆按鈕更改至其他月份,Windows 更新設定會相應調整。
若點擊「恢復更新」按鈕,將重置延遲設定並自動檢查更新,此為現有暫停與恢復機制的運作方式。目前不明是否設新上限,但預計暫停時間不會超過一年。
此外,Microsoft 亦研究縮短大型 Windows 更新安裝時間,並擴大用戶對第三方驅動程式的控制,避免影響體驗。公司先前計劃確保電腦即使使用預設設定,亦不會自動重啟超過一次。
華為終端發佈華為 Pura X Max 預訂海報,正式確認全球首款大闊折今日 12:08 開啟預訂。與此同時,「買華為大闊折還是等蘋果折疊」「華為大闊折會漲價嗎」「華為大小闊折有什麼區別」等話題在用戶間引發熱議。
大闊折形態帶來全新體驗
從官方披露的外觀信息來看,華為 Pura X Max 在延續家族設計語言的基礎上,實現形態上的重大突破。最顯著變化在於其尺寸,不同於華為 Pura X 的小闊折形態,華為 Pura X Max 採用大闊折設計。這意味著用戶在折疊狀態下可獲得更完整的操作界面,實用性大幅提升。配色方案包括白、橙、藍、金、黑五款,涵蓋從商務到年輕消費者的多元審美需求。
官方釋出的「闊符號」概念影片,透過日常使用場景展示華為 Pura X Max 如何重構人機互動邊界。
「更大、更闊」的屏幕比例讓內容呈現更完整,操作空間更充裕,這也是華為推出大闊折機型的核心原因。
從產品布局來看,華為 Pura X Max 與華為 Pura X 各有側重,互為補充。兩者均以內容為核心打造闊折疊體驗,前者提升移動辦公、影音娛樂及閱讀學習等場景的沉浸式效果,後者則強調輕巧便攜,讓不同需求用戶找到合適方案。
考慮到華為 Pura X Max 的高端定位、形態創新投入及當前手機供應鏈成本上漲,關於定價的討論持續升溫。
UTG蓋板方面,中國藍思科技擔任第一供應商,韓國UTI正尋求進入第二供應商體系。由於Apple首款摺疊產品初期出貨規模預計不大,UTG供應鏈雙來源必要性相對有限。
為滿足Apple摺疊OLED量產需求,Samsung顯示器正對其第六代OLED產線進行補充投資。該產品將採用CoE(Color-filter on Encap)技術,以彩色濾光片取代以往OLED內部使用的偏光片,能實現面板更薄,並在功耗與色彩表現等方面具優勢,此技術先前已在Samsung摺疊機型中應用。
SONY正針對 PS5 平台的 PlayStation Store 進行大規模界面測試。根據參與測試的 Beta 用戶透露,新版商店採用了更大的圖片縮略圖、自動播放預告視頻,以及類似 Netflix 的標籤化瀏覽等多項新功能。若這一改版最終向所有用戶推送,將成為近五年來 PS Store 最大的一次全球重構。
Meta 正在開發 AI 版馬克·祖克柏克人格,可取代他與員工互動,這是這家市值 1.6 萬億美元的科技巨頭全面轉向 AI 的重要舉措之一。據四位知情人士透露,Meta 一貫致力研究片級真實、即時互動的 AI 3D 數位人。其中三位人士表示,公司近期已將 AI 版祖克柏克人格列為優先項目。
知情人士指出,祖克柏克本人親自參與了這項 AI 形象的訓練與測試,該數位人未來可向員工提供對話與反饋。
其訓練素材包括這位億萬富豪的舉止、語氣、公開演講,以及他近期對公司策略的思考,目的是讓員工透過與 AI 互動,更貼近創始人。
此發佈獲華爾街投資者歡迎,Meta 當日股價上漲 7%。
知情人士稱,祖克柏克在主導 AI 轉型過程中親力親為,每週花 5 至 10 小時參與各類 AI 項目編碼,並出任技術評審會。2023 年 9 月,Meta 推出 Meta AI 助手,以及一批基於名人形象打造的 AI 聊天機器人,包括史蒂芬·史匹柏狗狗等明星授權使用其聲音與肖像。
多位知情人士表示,這類 AI 數位人的研發,源於祖克柏克注意到 AI 伴侶初創公司 Character AI 的成功,尤其在年輕用戶群體中。
Meta 隨後推出「AI 工作室」,允許用戶生成自己的 AI 數位人,或讓創作者打造自己的 AI 分身與粉絲聊天。
然而,這類人格化 AI 去年引發爭議,有報導稱用戶生成露骨性化形象,引發公眾與監管機構對兒童安全的憂慮。自 1 月起,Meta 已限制青少年訪問 AI 數位人功能。
據知情人士透露,Meta 新成立的個人智能實驗室已在探索新一代數位人。公司部分重點放在打造片級真實的虛擬 AI 形象上,但技術落地難度極大——實現真實效果需巨量算力,且要避免互動延遲。
Meta 也在優化數位人的語音互動,去年收購 PlayAI 與 WaveForms 兩家語音技術公司。
知情人士表示,AI 版祖克柏克將基於他本人的圖像與聲音訓練;若實驗成功,未來網紅與創作者也可打造同款個人 AI 分身。Meta 正推動全體員工全面使用 AI 技術簡化流程、提升效率,鼓勵員工使用開源軟件 OpenClaw 的智能體工具,並設計專屬自動化任務工具。
多位知情人士透露,產品經理被要求參與一項模糊 AI 的「技能基線測試」,包括技術系統設計測試與「環境編碼」訓練。部分員工憂心這是裁員前奏。Meta 則稱該測試非強制,旨在精準產品經理的外部對標與發展需求。
com/ 現時論壇指Microsoft個人帳戶、工作帳戶、學校帳戶、Microsoft Entra ID 帳戶以及 Microsoft Azure 政策帳戶,均可透過Microsoft產品激活門戶執行操作。Microsoft亦強調,用戶在激活門戶登入的帳戶並非與產品許可證關聯,也就是說即使用戶使用個人帳戶登入,亦可用來激活企業產品,因為登入僅用於Microsoft的安全驗證。