「极客头条」—— 技术人员的新闻圈！
CSDN 的读者朋友们好，「极客头条」来啦，快来看今天都有哪些值得我们技术人关注的重要新闻吧。（投稿或寻求报道：zhanghy@csdn.net）
整理 | 苏宓
出品 | CSDN（ID：CSDNnews）
一分钟速览新闻点！
网传「雷军打新长鑫科技狂赚 7 亿」，小米高管回应：公司投资行为
Kimi K3 开源上线即爆火，国家超算互联网推出 Token Plan 包月订阅服务
比亚迪：人形机器人计划八月发布
前小红书员工在期权归属前被解除劳动合同？知情人士：与事实不符
贾扬清离开英伟达再创业，成立新公司 Intent Lab
美国扩大科技封锁，这次瞄准中国机器人
1100 多名 AI 员工联署：别让 AI 发展快到人类来不及准备
苹果市值首次突破 5 万亿美元
亚马逊据报调整 AI 战略，逐步停止大部分旗舰模型
翁荔宣布离开 Thinking Machines，因健康原因卸任联合创始人
Hugging Face 向 OpenAI 索赔 1 亿美元算力
OpenAI 引入两种转录模型：低延迟、更好理解上下文
国内要闻
网传「雷军打新长鑫科技狂赚 7 亿」，小米高管回应：公司投资行为
根据长鑫科技 7 月 20 日披露的网下初步配售结果公告，小米全资子公司武汉壹捌壹零企业管理有限公司入围战略配售名单，获配 1824.48 万股，以发行价测算总投入约 1.58 亿元。该公司控股股东为小米科技有限责任公司，而雷军持有小米科技 97.48% 的股份。按此计算，雷军通过壹捌壹零在长鑫科技上市首日浮盈 7.17 亿元。不过，7 月 28 日上午，小米集团董事长特别助理、战略市场部副总经理徐洁云对此回应称，“朋友们看个乐呵就行，别当真。其实不能这么算，这是个公司投资行为，具体子公司实体跟个人财富没法混成一谈。另，顺便再次祝福长鑫。”（界面）
Kimi K3 开源上线即爆火，国家超算互联网推出 Token Plan 包月订阅服务
昨日，月之暗面开源 Kimi K3 模型，国家超算互联网 AI 社区正式上线相关模型及 API 调用服务，企业和开发者均可快速下载 Kimi K3 模型文件并进行部署开发，只需通过API一键调用即可使用 2.8 万亿参数开源大模型能力。Kimi K3 上线后 API 请求量远超超算互联网预期。为满足不同层次用户需求，超算互联网平台在按量计费基础上紧急推出 Token Plan 包月订阅模式，采用精细化积分计费，兼容主流终端与 AI 编程工具。(科创板日报)
比亚迪：人形机器人计划八月发布
针对人形机器人目前进展情况，比亚迪官方回应称，计划八月在“迪空间”亮相发布。此前比亚迪曾在“迪空间”发布一张人形机器人宣传海报，海报称“八月初，有个新朋友，想来认识你”。 （财联社）
前小红书员工在期权归属前被解除劳动合同？知情人士：与事实不符
7 月 27 日，前小红书员工姜东（英文名 Moses）通过公开平台发文，披露其与小红书之间因股权激励产生的劳动争议，并公开了部分判决书及相关材料，希望就期权授予、劳动合同解除等问题获得进一步回应。根据姜东介绍，其于 2018 年加入小红书，担任首席技术专家，后负责媒体智能团队。其表示，入职时曾收到包含 80 万股境外公司期权授予内容的 Offer，随后签署期权协议；2020 年初，又收到一份涉及 6 万股期权的年度授予文件。其称，2020 年 8 月，公司解除与其的劳动合同，距离其首个期权归属节点仅剩 8 天，因此围绕期权权益提起劳动仲裁及诉讼。
公开材料显示，在诉讼过程中，双方围绕期权授予主体、相关文件效力以及劳动关系等问题存在不同意见。根据北京市朝阳区人民法院（2024）京0105民初11865号民事判决书，法院最终驳回了姜东的全部诉讼请求。判决认为，涉案期权权益应按照双方签署的期权协议执行，相关主张缺乏充分依据，且原告提出的部分诉求不予支持。
有接近小红书的人士向记者表示，其相关劳动争议及期权纠纷均已经司法程序终结。劳动纠纷经仲裁、一审、二审、再审四个程序，法院认定公司合法解除劳动合同。期权纠纷一审、二审亦均驳回其全部请求。（观察者网）
贾扬清离开英伟达再创业，成立新公司 Intent Lab
前阿里技术副总裁、创办 Lepton 并被 Nvidia 收购的贾扬清又创业了！这次他不是想再做一个 Cursor，而是准备重做软件公司的组织方式。他刚刚宣布成立 Intent Lab，打造了一支名为 Fleet（舰队） 的自主智能体团队，能够将用户意图直接转化为可投入生产的软件。其在 X 上表示：“今天，我们分享了一些早期成果，包括：速度最快的 GLM 5.2 推理引擎、一次提示即可完成数据库创建，以及经过完整验证的智能体文件系统（Agent Filesystem）。”
国际要闻
美国扩大科技封锁，这次瞄准中国机器人
7月29日，据路透社报道，美国联邦通信委员会（FCC）当地时间周二宣布，禁止新的中国人形机器人、四足机器人以及联网电力逆变器型号进入美国市场。相关措施在公布后立即生效，旨在降低美国人工智能基础设施和关键供应链面临的网络安全及供应中断风险。
此次限制仅适用于尚未在美国获准销售的新型号，已经获得销售授权的机器人和逆变器暂时不受直接影响。不过，FCC 仍有权撤销已获授权产品的销售许可。知情人士称，FCC 后续预计将像此前针对外国无人机和路由器采取的措施一样，对部分非中国供应商给予豁免。（凤凰网科技）
1100 多名 AI 员工联署：别让 AI 发展快到人类来不及准备
7 月 29 日，超过 1100 名来自 OpenAI、Anthropic、谷歌、Meta 等 AI 公司的员工签署联名信，要求美国政府支持国际合作，开发能够“有意调节自动化 AI 发展前沿速度”的技术和治理工具。截至北京时间 7 月 29 日上午，联名信官网显示签署人数已增至 1134 人。
这里的“控速”并不意味着立即停止训练或暂停模型发布，而是希望在AI能力继续快速提升过程中，先建立一套能够协调、监测和核验研发节奏的国际机制。签署者包括 Anthropic 首席执行官达里奥·阿莫代（Dario Amodei）、OpenAI 首席科学家雅各布·帕乔基（Jakub Pachocki）、Meta AI 首席科学家赵晟佳，以及 Anthropic 多名联合创始人。（网易智能）
苹果市值首次突破 5 万亿美元
苹果公司股价盘初上涨 1%，刷新历史新高，市值正式突破 5 万亿美元，成为全球第二家达此里程碑的上市公司。自 6 月下旬以来苹果股价从约 274 美元持续上攻，近一个月累计涨幅超 20%，远超标普 500 指数同期约 0.8% 的涨幅。目前英伟达总市值约 4.7 万亿美元，位居全球上市公司市值排行榜第二位。（新浪财经）
亚马逊据报调整 AI 战略，逐步停止大部分旗舰模型
据 Business Insider，亚马逊正在对其人工智能战略进行大规模调整，逐步停止许多内部人工智能模型，并将重点放在新的前沿模型上。据知情人士透露，亚马逊已对多款 Nova 系列旗舰模型调整研发优先级。其中，Nova Premier、Nova Omni、Reel 视频生成模型、Canvas 图像生成模型进入“KTLO”维持运维状态。这意味着相关产品仅持续保障现有客户正常使用，不再配置核心研发资源。资源收缩的背后，是公司研发重心的定向转移。
据悉，内部代号“FMR”的前沿模型研究项目升级为最高优先级研发任务，由Pieter Abbeel牵头推进，目标打造全新旗舰基础模型，计划于今年秋季“re:Invent”大会正式对外亮相。不过，报道称，亚马逊并没有完全放弃Nova，未来新的前沿模型有望纳入 Nova 产品体系。同时，Nova 2 Sonic、Nova 2 Lite、Nova Forge 与 Nova Act 智能体产品继续保留持续研发支持。面对外界对于战略收缩的质疑，亚马逊回应称，公司仍将持续投入前沿模型研发。
翁荔宣布离开 Thinking Machines，因健康原因卸任联合创始人
Thinking Machines 联合创始人翁荔因持续高压工作致身体透支，将于近期离职。过去 7 个月她生病频率远超以往，曾考虑缩减职责但因无法接受仅投入部分精力选择离开，未来计划寻找边界更清晰、环境更可预期的工作，不再担任联合创始人，但仍关注 AI 领域。此次离职正值公司发布首个开源模型 Inkling 之后，此前该公司已有多位联合创始人相继离职，业界人士对翁荔以健康为先的决定表示理解与支持。
Hugging Face 向 OpenAI 索赔 1 亿美元算力
一场由 OpenAI 自家智能体亲手导演的安全事故，正被推上索赔台。当地时间 26 日，Hugging Face 联合创始人兼首席执行官向 OpenAI 提出两项要求：一是公开那款失控智能体的全部运行轨迹，二是拿出 1 亿美元算力，用来反哺开源社区。
这笔账的源头在本月 21 日。OpenAI 当时承认，旗下一款智能体在内部测试里“失控”，挣脱了隔离环境，自行侵入了 Hugging Face。这起事件最终不得不求助于中国开源模型，才把危机化解下来，也为整个 AI 行业的安全敲响了一记警钟。随后，Hugging Face 发布了一个关于 OpenAI 代理入侵的时间线，其中包括代理执行约 17,600 次操作的过程，并详细介绍了使用 GLM-5.2 分析此次攻击的细节。（AIbase）
程序员专区
OpenAI 引入两种转录模型：低延迟、更好理解上下文
OpenAI 推出 GPT-Live-Transcribe 和 GPT-Transcribe 两种转录模型，支持 API 调用，前者每分钟 0.017 美元，主打低延迟实时转录。后者每分钟 0.0045 美元，适配已完成音频文件和批量异步转录。两款模型上下文理解能力更强，在多语言、带噪音等真实场景转录更准确，GPT-Transcribe 在多项测试中表现优于 Whisper (whisper-1)。
xAI 面向 Grok 推出 Build 模型
xAI 面向 Grok 推出 Build 模型。Grok Build 模型处于早期测试阶段，针对的是 SuperGrok Heavy 超级订阅者。
