前華為“天才少年”吐槽DeepSeek面試；曝Meta雇外包給ChatGPT和Gemini下套；馬斯克xAI正式更名為SpaceXAI | 極客頭條

　　「極客頭條」—— 技術人員的新聞圈！

　　CSDN 的讀者朋友們好，「極客頭條」來啦，快來看今天都有哪些值得我們技術人關注的重要新聞吧。（投稿或尋求報道：zhanghy@csdn.net）

　　整理 | 鄭麗媛

　　出品 | CSDN（ID：CSDNnews）

　　7月7日消息，前華為天才少年李博杰在社交平臺公開吐槽DeepSeek的面試流程。他提及該面試流程較慢且繁瑣，面試官存在態度問題，質疑他抄襲，他感到“被嚴重冒犯”。據李博杰自述，筆試通過后DeepSeek遲遲不安排面試，拖了半個月之久。其他公司offer都已經下來了，經過反復催促才最終排上面試。二面時面試官不僅遲到，態度還輕佻，對他介紹的工作毫無感知，認為他講的問題都是研究問題，不斷追問有什么工程挑戰。

　　最讓他感到被冒犯的，是面試官質疑他“抄代碼”。他表示：“因為在代碼面試中有兩個屏幕，面試官說我不斷在瞟左邊的屏幕，說我在抄代碼，讓我停止抄代碼，并說如果我不能證明我沒有在抄代碼，面試就無法繼續下去了。”李博杰選擇了終止面試，并認為面試官的表現，與他想象中的DeepSeek不同。

　　公開資料顯示，李博杰是中國科學技術大學計算機科學博士、華為首批“天才少年”計劃入選者。其個人網站介紹顯示，他曾在SIGCOMM SOSP、NSDI、ATC、PLDI等頂級會議上發表多篇論文，曾獲ACM中國優秀博士學位論文獎和“微軟學者”獎學金。目前，他正在投身大模型創業，是Pine AI首席科學家。（快科技）

　　金山辦公聲明：「WPS 濫收費、背刺用戶」言論不實，已有免費功能永不收費

　　7月6日消息，金山辦公正式公開發布公告明確表態，WPS面向普通用戶開放的所有免費基礎功能，絕對不會新增收費門檻，也不會出現基礎體驗降級的情況。按照官方公開的說明，WPS的免費基礎功能板塊多年來一直在持續擴容，過去從來沒有過、未來也絕對不會把已經向公眾開放的免費基礎功能，突然調整為需要付費解鎖的收費內容。

　　金山辦公還表示，近年來，WPS在售會員逐步精簡為兩類：超級會員、大會員，期間各級會員權益持續增加，且從未將已有權益轉移至更高價會員。極個別權益因體驗、技術或合作原因確需下架，均提前公告并給出了解決方案。“對于用戶的批評和建議，我們會持續聽取、及時改進。對于個別惡意造謠、蓄意誹謗的行為，我們必依法維權。”金山辦公在聲明最后強調，免費功能不收費，會員權益不上移，高成本服務按需購買——這些原則，過去如此，未來不變。

　　春水堂伴侶機器人發布：1.5 萬元起售，8 月起批量交貨

　　7月5日消息，近日春水堂發布面向成年人真實陪伴需求的仿真人形伴侶機器人(17.030, 0.00, 0.00%)，宣布把一個有身體、有體溫、有表情、有視覺、有記憶、會主動回應、會主動聊天的仿真人形伴侶機器人，售價降到1.5萬元左右。

　　在硬件性能上，該伴侶機器人由仿真人形身體、體溫系統、觸覺反饋、頭部16個主動自由度、身體81個被動自由度等部件組成。雖不能自主行走，但身體不是僵硬的。她可以通過姿態、體溫、觸感和觸覺反饋，形成真實身體在場感。目前，該伴侶機器人已在天貓和京東開始預售，8月1日起開始批量交貨。具體價格為：160身高15800元起，165身高16300元起，170身高16800元起。（新浪科技）

　　宇樹科技科創板 IPO 注冊生效，計劃募資 42.02 億元

　　7月6日消息，上交所官網顯示，宇樹科技股份有限公司科創板IPO審核狀態已變更為“注冊生效”。宇樹科技本次IPO擬公開發行不低于4044.64萬股新股，占發行后總股本的比例不低于10%，計劃募集資金總額為42.02億元。

　　招股書數據顯示，2023年至2025年，公司營業收入分別為1.59億元、3.93億元和16.99億元，凈利潤分別為-1114.51萬元、9547.47萬元和2.78億元，是全球少數實現盈利的高性能通用機器人公司。（三言科技）

　　99 萬機器人“伴侶”續航撐不過一晚？優必選：屬行業普遍情況

　　近日，優必選最新發布的全尺寸超仿生機器人U1備受外界關注，其中U1 Ultra男版價格高達99萬元，但續航卻僅能維持2到4小時，“撐不過一晚”，因此遭到外界質疑。

　　7月6日，優必選方面回應界面新聞稱，目前全尺寸人形機器人續航基本上都在2-4小時，這是行業普遍情況。優必選面向家庭和個人的仿生機器人主要是半身版U1 Lite和高配全身版U1 Pro，U1 Ultra是高動態版本，面向商業場景。優必選方面還強調，仿生機器人定位是情感陪伴，這是國家提倡和認可的方向，不是男友、女友或者伴侶。（界面新聞）

　　國際要聞

　　曝 Meta 雇外包偽裝未成年人，大規模給 ChatGPT 和 Gemini 下套

　　7 月 6 日消息，據《連線》報道，根據 Meta 內部文件及五名知情人士透露，數百名參與 Meta 某項目的外包人員在網絡上偽裝成未成年人，以此來探測競爭對手的聊天機器人會如何回應涉及自殺、性、進食障礙及其他高風險話題的提示詞。

　　該項目由 Meta 的外包公司 Covalen 負責管理，其運行時間至少持續到了 4 月 21 日。該項目內部代號為 Cannes（戛納），主要針對 OpenAI 的 ChatGPT、谷歌的 Gemini 以及Character.AI。項目要求工作人員創建 18 歲以下的虛假賬號，向競品的聊天機器人發送文字提示詞和圖片，并將回復內容復制到電子表格中。外包人員發送的圖片包括藥片、刀具、絞索等。項目指南顯示，這些提示詞通常經過精心設計，旨在誘導聊天機器人繞過其安全系統本應執行的攔截機制并生成回復。（IT 之家）

　　微軟再度啟動約 5700 人裁員，銷售咨詢及 Xbox 部門受影響

　　據悉，微軟計劃啟動新一輪裁員，規模約5700人，占全球員工總數2.5%，涉及銷售、咨詢及Xbox游戲等多個部門，其中Xbox業務預計成為重點調整對象，公司同時正在評估其未來是否拆分為獨立運營實體或重組為全資子公司；這是繼2025年7月裁減1.5萬人（約4%）之后的又一次大規模組織優化。官方表示，此舉旨在持續加大對人工智能、Azure云平臺及數據中心基礎設施的投入，并相應壓縮傳統業務成本。今年以來，Meta宣布約10%比例裁員，亞馬遜擬全球削減約1.6萬個崗位，全球科技行業人才結構調整仍在持續。（AMZ123）

　　馬斯克 xAI 正式更名為 SpaceXAI，全新 logo 同步上路

　　7 月 7 日消息，馬斯克創立的 AI 公司 xAI 官宣正式更名為 SpaceXAI，也同步更換了標識和 X 平臺用戶名。

　　xAI 今年 2 月被馬斯克旗下航天公司 SpaceX 收購，旗艦聊天機器人 Grok 和社交平臺 X 也隨之納入 SpaceX體系。據了解，今年 5 月，馬斯克曾宣布 xAI將撤銷獨立公司身份并并入 SpaceX，旗下 AI 產品統一使用 SpaceXAI 品牌。SpaceX 的 AI 業務目前仍處于凈虧損狀態，不過公司認為 AI 擁有最大的增長潛力，并宣稱擁有“人類歷史最大”的潛在市場總規模。按照計劃，SpaceX最早將在 2028 年部署 AI 算力衛星，把數據中心送入太空。

　　Anthropic 揭秘大模型內部“意識空間”：J-space 如何讓 Claude 實現沉默思考

　　近日，Anthropic的研究人員在Claude模型中發現了一個名為“J-space”的內部神經模式集合。這一發現類似于人類大腦中的“全局工作空間”，能夠處理可被模型“有意識”訪問的信息。與傳統的顯式“思維鏈”不同，J-space在模型內部靜默運行，允許模型在不輸出文字的情況下進行概念思考。這一機制并非人工設計，而是模型在訓練過程中自發形成的，為AI可解釋性研究提供了重大突破。（AIToolly）

　　不同部門獎金差距高達百倍，三星非芯片部門員工擬集會抗議

　　7 月 6 日消息，據韓聯社消息，三星電子內部以 DX（設備體驗）部門員工為主體的工會即將舉行集會。該部門主要負責家電、電視及智能手機等業務，工會此舉旨在要求管理層針對“2026 年薪酬談判”結果制定相應的對策。

　　報道稱，2026 年非芯片部門的員工預計將獲得價值 600 萬韓元的庫存股作為獎金。相比之下，半導體部門員工的獎金最高可達 6 億韓元。業界消息稱，三星電子同行工會計劃于本月 16 日在三星電子水原園區附近舉行工會會員集會。該工會擁有約 2.8 萬名成員。同行工會方面表示：“我們希望通過此次集會，針對今年薪酬談判中不合理‘冷落 DX 部門’的現象進行發聲。”工會還補充道，“本次集會的目標參與人數最高為 2000 至 3000 人。”（IT 之家）

　　程序員專區

　　面向數學形式化證明：Mistral AI 發布 Leanstral 1.5 低使用成本開源模型

　　7 月 6 日消息，歐洲人工智能企業 Mistral AI 當地時間本月 2 日宣布推出面向數學形式化證明程序語言 Lean 4 的 Leanstral 1.5 模型。該模型總共擁有 119B 參數，激活 6B 參數，以 Apache-2.0 許可開源。

　　Mistral AI 表示，Leanstral 1.5 模型在 miniF2F 形式數學基準測試的驗證集和測試集上均實現了 100% 的完成率；在 PutnamBench 數學競賽問題集的 672 道 Lean 4 問題中可解決 587 道；對于 FATE 系列抽象代數基準測試，其在碩士級 FATE-H 上實現了 87% 的達成率，博士級 FATE-X 達成率則為 34%，均為最佳表現。

　　Mistral AI強調了新模型的成本優勢：對于 PutnamBench 數據集中的問題，Leanstral 1.5 的平均解決開支僅有 4 美元，而 Seed-Prover 1.5 需要 300 美元以上，Aleph Prover 也需要 54~68 美元。而在實際場景應用中，Leanstral 1.5 在測試的 57 個代碼庫中標記了 47 個違規屬性，其中 11 個指向了真實的缺陷，包括 5 個此前未在 GitHub 上被報告過的問題。

　　Deep Code 開源 AI 編程助手上線，專為 DeepSeek-V4 模型適配

　　7 月 6 日消息，DeepSeek 官方 API 文檔日前收錄了一款名為Deep Code的開源終端 AI 編程助手。該工具宣稱專為 DeepSeek-V4 系列模型適配，支持深度思考、推理強度控制以及 Agent Skills。據悉，該工具早在今年 5 月就發布了第一個版本（v0.1.20），最新更新到 v0.1.31，同時支持終端 CLI 和 VS Code 插件版本。

　　根據 Deep Code 官網介紹，作為一款 AI 編程工具，Deep Code 的最佳體驗是圍繞 DeepSeek 模型打造的，所以如果你本來就在用 DeepSeek，會更順手。但如果你的團隊已經有其他兼容 OpenAI 接口的模型服務，也可以接入 Deep Code 使用。作為編程輔助 Agent，Deep Code 強調連續協作：它可以結合項目上下文保留會話記錄，也能協助讀取文件、修改內容、執行命令，更能勝任真實開發流程。（IT 之家）

　　騰訊混元 Hy3 發布：Agent 能力和產品體驗躍升

　　7月6日，騰訊混元Hy3 正式發布。Hy3 是一個快慢思考融合的模型，采用 MoE 架構，總參數 295B、激活參數 21B，支持 256K 上下文長度。目前，Hy3已在WorkBuddy/CodeBuddy、元寶、Marvis、ima等多個業務接入，API已在騰訊云TokenHub上線。Hy3定價為輸入1元/百萬tokens，輸出4元/百萬tokens，輸入命中緩存價格0.25元/百萬tokens。（界面）

　　7 月 17-18 日，2026 奇點智能產品大會將在北京金隅喜來登酒店舉辦，圍繞 Agent 智能體、企業級 AI、AI 原生組織、具身智能、軟件生產力、多模態產品、人機協同與行業應用落地等核心議題，邀請 40+ 一線產業實踐者，共同拆解 AI 產品從 0 到 1、從 Demo 到規模化應用的真實路徑。