Elon Musk
Grok Build 现已开源
马斯克宣布，Grok Build 已正式开源。该项目是 xAI 推出的 Grok 模型构建工具，开源后开发者可自由访问、修改和部署相关代码。此举旨在推动 AI 技术的开放与协作，降低开发者使用 Grok 的门槛。
LIVE每早八时发报 · 更新于 00:00NewsHub Daily · 中文 AI 资讯精选
每早八时出报
AI · 模型 · 产业
新闻枢纽 · 日报
中文 AI 资讯
NEWSHUB DAILY
本期 18 事件 · 2 一手信源 · 覆盖 9 家信源
今日头条 · Lead
GPT-5.6 90分钟推翻30年数学猜想
OpenAI的GPT-5.6在数学领域取得突破性进展，90分钟内推翻一项存续30年的统计学猜想，并助力解决多个埃尔德什难题，标志着AI在真正新知识发现上的能力。与此同时，其安全模型GPT-Red可自动化发现新型攻击，英伟达发布新一代机器人与边缘AI模块，中国开源模型下载量超越美国，五部门联合出台AI拟人化互动服务管理新规，行业正加速迈向AGI时代。
MIT Technology Review AI（RSS）关联 3 源
OpenAI 用超级黑客模型 GPT-Red 训练更安全的 LLM
OpenAI 构建了一个名为 GPT-Red 的 LLM 超级黑客，用于自动化红队测试，以提升其他模型抵御网络攻击的能力。GPT-Red 通过自对弈循环在模拟真实场景的“道场”中训练，包括浏览网页、读取邮件、编辑代码等。它发现了一种新型提示注入攻击“假思维链”，能向模型思维链插入虚假条目以欺骗模型。OpenAI 称，GPT-Red 在寻找有效攻击方面比人类红队更成功，且其最强攻击对 GPT-5 的成功率超过 90%，而对最新 GPT-5.6 的成功率低于 23%。GPT-Red 不擅长多轮对话攻击和利用图像，OpenAI 表示它补充而非取代人类红队。公司不会发布 GPT-Red，并认为其能力远超任何模仿者。
01
模型发布/更新
Model Releases4 篇The Decoder（RSS）
GPT-5.6 Sol 90分钟推翻30年统计学猜想
宾夕法尼亚大学统计学教授使用 OpenAI 的 GPT-5.6 Sol Pro 在约90分钟内推翻了一个关于 Benjamini-Hochberg 方法的开放猜想。此前，前代模型 GPT-5.5 在20小时内未能找到解决方案。该答案以新方式结合已知方法，引发了关于 AI 能否产生真正新知识的讨论。
Przemek Chojecki | PC
AI 解决 19 个埃尔德什难题：GPT-5.6 新增 3 个
研究者 Patryk Chojecki 在 X 平台公布，其使用 GPT 系列模型（包括 GPT-5.5 Pro、GPT-5.6 Sol Ultra 等）声称解决了 19 个埃尔德什难题。其中，GPT-5.6 Sol Ultra 在 2026 年 7 月新增了 #421、#793、#415 三个问题的解决方案。此前，GPT-5.5 Pro 在 2026 年 4 月最后两周内贡献了 16 个解决方案。另有 5 个问题为部分解决或与他人合作完成。Chojecki 强调这些是“解决方案声称”而非正式解决方案，因为并非所有结果都经过数学家或形式化验证，但每个都至少经过两次对抗性 LLM 检查并由其本人审阅。
Hugging Face 博客（RSS）关联 3 源
Thinking Machines 发布 Inkling 模型
Hugging Face 博客宣布，Thinking Machines 团队发布了名为 Inkling 的新模型。该模型在多项基准测试中表现优异，具体细节可参考博客文章。
02
产品发布/更新
Products2 篇NVIDIA 博客（RSS）
英伟达发布Jetson Thor T3000/T2000，推动机器人与边缘AI
英伟达推出基于Thor架构的Jetson T3000和T2000模块，面向大规模机器人和边缘AI应用。T3000提供865 FP4 TFLOPS算力，尺寸和功耗约为T5000的一半，集成Blackwell GPU、8核Neoverse Arm CPU、32GB LPDDR5X内存和273GB/s带宽，支持多模态工作负载。T2000提供400 FP4 TFLOPS算力和16GB内存，适用于视觉AI、自主移动机器人等。新模块支持Jetson AGX Thor开发者套件，可通过仿真模式开发。同时发布Cosmos 3 Edge（4B参数）世界基础模型，适配Thor平台。Jetson Agent Skills可自动化内存优化，已在多家客户中实现显著内存节省。T3000和T2000模块预计2027年Q1上市。
Ars Technica AI（RSS）关联 4 源
OpenAI 首款品牌硬件：RGB 迷你键盘 Codex Micro
OpenAI 推出其首款品牌硬件设备 Codex Micro，这是一款售价 230 美元的 RGB 迷你键盘，专为监控和快速交互多个 Codex 智能体设计。该设备是与 Work Louder 的限量合作产品，后者已有类似产品 Creator Micro。Codex Micro 通过顶部两排六个磨砂按键提供彩色编码实时反馈，显示六个 Codex 线程的状态：空闲时白色、思考时蓝色、完成时绿色、需要人工反馈时琥珀色、出错时红色。用户轻按亮起的按键即可调出对应 Codex 窗口。
03
行业动态
Industry8 篇云头条关联 6 源
DeepMind掌门人哈萨比斯：AGI可能只剩几年，需建立安全框架
Google DeepMind CEO德米斯·哈萨比斯发文称，通用人工智能（AGI）可能在未来几年内实现，其影响将远超互联网和移动通信，堪比人类掌握电或火。他警告，前沿AI在网络安全、生物风险、核安全及自主智能体失控等方面带来挑战，而当前商业和地缘政治竞争导致技术发展速度超过人类理解能力。为此，他提议建立前沿AI标准机构，对高能力模型进行动态评估和发布前审查，必要时协调实验室放慢研发速度。该机构可采取公私合作模式，初期自愿提交审查，后续可强制评估。他还呼吁国际社会合作制定共同标准，确保AGI安全、负责任地发展。
华尔街见闻（RSS）关联 6 源
OpenAI首款AI设备曝光：无屏智能音箱，内置摄像头
据彭博社报道，OpenAI正在开发其首款消费硬件产品——一款无屏幕、可移动的智能音箱，定位为家庭AI伴侣。该设备内置摄像头和传感器，能够感知用户环境，并搭载GPT-Live语音模式，支持自然对话。设备配备可充电电池，方便用户在家中移动使用。OpenAI计划最快今年发布，2027年正式上市。该硬件部门由多位前苹果核心设计人员领导，包括Jony Ive、Evans Hankey和Tang Tan。苹果已对OpenAI提起诉讼，指控其窃取商业机密，并寻求对OpenAI硬件业务申请禁令，可能影响产品发布时间。
IT之家（RSS）关联 4 源
国行苹果AI完成备案，阿里千问将集成至Apple智能
网信中国公众号发布公告，苹果技术开发（上海）有限公司的“Apple 智能”大模型已于2026年7月8日完成备案，适用场景为苹果手机。阿里巴巴回应称，阿里千问将作为AI能力集成至Apple智能，为iOS、iPadOS、macOS和visionOS的中国用户提供文本与图像理解、内容生成等能力，用户无需在应用间切换即可直接体验。此前，阿里巴巴联合创始人蔡崇信在2025年峰会上确认苹果选择阿里作为中国AI合作伙伴。
华尔街见闻（RSS）关联 2 源
阿斯麦Q2业绩超预期，上调全年指引，英特尔采用High NA EUV
半导体光刻设备巨头阿斯麦（ASML）公布第二季度财报，净销售额93.3亿欧元，净利润29.2亿欧元，毛利率54%，均超市场预期。公司上调2026年全年净销售额预期至430-450亿欧元，毛利率指引提升至54%-56%。第三季度净销售额指引为110-120亿欧元，中值高于分析师预期。阿斯麦计划2026年实现约65台低数值孔径EUV设备产能，2027年增加约30%，并研究2028年再增30%。英特尔已在美国俄勒冈州工厂将High NA EUV设备用于部分Ultra 3（猎豹湖）处理器的量产制造，标志着该关键设备商业化迈出重要一步。AI芯片需求持续强劲是业绩增长的核心驱动力。
云头条
五部门联合发布《人工智能拟人化互动服务管理暂行办法》
国家互联网信息办公室等五部门联合发布《人工智能拟人化互动服务管理暂行办法》，自2026年7月15日起施行。该办法适用于利用AI技术向境内公众提供模拟自然人人格特征、思维模式和沟通风格的持续性情感互动服务，包括情感照护、陪伴、支持等。智能客服、知识问答等非情感互动服务不适用。办法要求服务提供者落实安全主体责任，建立算法审核、科技伦理审查等制度；不得生成危害国家安全、诱导情感依赖、损害用户心理健康等内容；需具备隐私保护、过度依赖预警、情感边界引导等能力。特别规定：不得向未成年人提供虚拟亲属、虚拟伴侣等虚拟亲密关系服务；向不满14周岁未成年人提供服务需监护人同意；需建立未成年人模式。服务提供者应履行AI生成内容标识义务，每2小时提醒用户注意使用时长。注册用户100万以上或月活跃用户10万以上的服务需开展安全评估。违反规定最高可处20万元罚款。
华尔街见闻（RSS）
黄仁勋回应延期传闻：英伟达Vera Rubin已投产
英伟达CEO黄仁勋在东京访问期间表示，下一代AI加速器系统Vera Rubin已进入生产阶段，并将按计划交付客户，以回应SemiAnalysis关于制造问题可能导致产品延期的报道。黄仁勋称Vera Rubin硬件正朝着“大规模”生产稳步推进，但未透露具体时间表。此前SemiAnalysis报道称，由于连接电子模块的专用电路板制造遇到困难，英伟达下一代AI服务器机架系统推出已被推迟。黄仁勋此次访日正值日本推动主权AI和物理AI战略，日本政府鼓励私营部门加大AI投资，以支持工厂自动化和机器人技术发展。
华尔街见闻（RSS）
Anthropic冲刺IPO，最快10月挂牌
据彭博援引知情人士，Anthropic正推进IPO计划，承销银行已开始安排管理层与潜在投资者会面，最快有望于今年10月完成上市。公司计划于未来数周内密集举办多场IPO投资者会议。若进展顺利，Anthropic将率先于主要竞争对手OpenAI登陆资本市场。彭博此前报道称，OpenAI已将IPO时间表推迟至2027年。两家公司均已秘密提交上市申请。此次IPO筹备正值Anthropic估值快速攀升之际，今年5月完成新一轮融资后估值升至9650亿美元，首次超过OpenAI。Anthropic已选定摩根士丹利、高盛和摩根大通担任主承销商。此外，DeepSeek也在推进IPO计划。政策环境仍是投资者关注的重要风险因素，此前特朗普政府曾短暂限制Anthropic两款核心模型在境外市场的访问权限。
华尔街见闻（RSS）
中国开源模型下载量超越美国，占比达41%
据Hugging Face 2026年春季报告，中国开源模型已占该平台月度及总体下载量的41%，超越美国模型。Hugging Face CEO Clem Delangue在社交媒体上提及此数据并引发广泛讨论。Hugging Face是全球最大的开源AI模型托管平台，托管近300万个公开模型和100万个公开数据集。此外，在AI模型调用平台OpenRouter上，当前最受欢迎的前六大模型全部来自腾讯、小米、DeepSeek、MiniMax、智谱等中国机构，Anthropic的Claude Opus 4.7排名第七。智谱近期发布的开源模型GLM-5.2定位于智能体编程任务，在相关基准测试中与Anthropic最新模型处于同一竞争层级。企业正从租用闭源API转向部署自有开源模型，以降低成本和控制权。瑞银报告指出，约60%的企业已限制AI开支，并通过“模型路由”将简单任务分配给低价或中国开源模型。AWS Bedrock和微软Azure AI Foundry均已纳入多个中国开源模型。
05
技巧与观点
Tips1 篇meng shao
MengTo 开源 75 个设计开发 Skills，含旗舰工作流
MengTo（Design+Code 创始人）在 GitHub 开源了 Skills 项目，包含四大类共 75 个可复用的设计指令与工作流：Codex workflows（10 个，如 video-to-superprompt、stitched-full-page-capture）、Media（2 个）、UI（1 个，design-first-ui-prompting）、Web design（62 个，覆盖落地页、动效、3D、CSS 等）。旗舰工作流 video-to-superprompt 可将参考视频抽帧并六层分析，输出可直接重建的 prompt；stitched-full-page-capture 解决懒加载站点全页截图发白问题。项目还提供了 design-first-ui-prompting 的 prompt 骨架（GOAL→NEGATIVE PROMPT）和 landing-page 的三合一 SOP。
往期存档