「极客头条」—— 技术人员的新闻圈！
CSDN 的读者朋友们好，「极客头条」来啦，快来看今天都有哪些值得我们技术人关注的重要新闻吧。（投稿或寻求报道：zhanghy@csdn.net）
一分钟速览新闻点！
前华为天才少年吐槽 DeepSeek 面试：流程拖沓，被面试官指控抄袭
金山办公声明：「WPS 滥收费、背刺用户」言论不实，已有免费功能永不收费
春水堂伴侣机器人发布：1.5 万元起售，8 月起批量交货
宇树科技科创板 IPO 注册生效，计划募资 42.02 亿元
99 万机器人“伴侣”续航撑不过一晚？优必选：属行业普遍情况
曝 Meta 雇外包伪装未成年人，大规模给 ChatGPT 和 Gemini 下套
微软再度启动约 5700 人裁员，销售咨询及 Xbox 部门受影响
马斯克 xAI 正式更名为 SpaceXAI，全新 logo 同步上路
Anthropic 揭秘大模型内部“意识空间”：J-space 如何让 Claude 实现沉默思考
不同部门奖金差距高达百倍，三星非芯片部门员工拟集会抗议
面向数学形式化证明：Mistral AI 发布 Leanstral 1.5 低使用成本开源模型
Deep Code 开源 AI 编程助手上线，专为 DeepSeek-V4 模型适配
腾讯混元 Hy3 发布：Agent 能力和产品体验跃升
国内要闻
前华为天才少年吐槽 DeepSeek 面试：流程拖沓，被面试官指控抄袭
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 到规模化应用的真实路径。
