内容
声明：完全使用AI生成，可能存在错误，需谨慎甄别。
摘要
2026-07-11 AI领域呈现多线并进格局，值得关注的信息：苹果在加州联邦法院起诉OpenAI及前员工，指控系统性窃取商业机密；中科曙光郑州落成中国首个全国产十万卡AI超集群曙光8000；SK海力士完成265亿美元赴美IPO登顶外资IPO之最；GPT-5.6 Sol Ultra用64个子智能体不到一小时给出循环双覆盖猜想证明；OpenAI被指在版权诉讼中多年隐瞒侵权证据，Bun运行时完成Zig到Rust重写。
热点事件
苹果起诉OpenAI及前员工 指控系统性窃取商业秘密
2026年7月10日，苹果在加州北区联邦法院起诉OpenAI及其首席硬件官Tang Tan和前高级电气工程师Chang Liu，指控二人系统性窃取苹果未发布AI硬件项目的商业机密。Tan被指在招聘中使用苹果保密项目代号、要求应聘者携带零部件和CAD资料参加面试，并指导员工规避离职安全审查；Liu则被控未归还苹果笔记本并大量下载未发布产品的机密硬件文件。苹果称2月已致函OpenAI未获回复，遂向法院申请禁止令并要求销毁涉密材料、重设计产品。OpenAI回应称对他人的商业秘密不感兴趣。本案发生在OpenAI以65亿美元收购io公司、推进AI硬件直接挑战苹果核心业务的背景下。
重点： 苹果与OpenAI在AI硬件赛道正式对簿公堂
来源：展开 6 条收起 6 条
- 苹果起诉 OpenAI 窃取商业机密（少数派）
- Apple起诉OpenAI涉嫌窃取商业机密（TechCrunch）
- 苹果起诉 OpenAI，指控前华裔员工窃取商业机密（奇客Solidot–传递最新科技情报）
- 苹果起诉OpenAI、io及前员工，指控窃取商业秘密（Andrej Karpathy Curated RSS）
- 苹果直击OpenAI要害，提起商业秘密窃取诉讼（Spyglass）
- 苹果起诉 OpenAI 窃取商业机密，要求重新设计 AI 硬件；SK 海力士在美破纪录融资 265 亿美元；传腾讯正洽谈成为 Manus 最大股东｜极客早知道（极客公园）
中科曙光曙光8000落成 中国首个十万卡国产AI超集群
2026年7月10日，中科曙光在郑州宣布全国产AI超集群曙光8000（登峰）正式落成，建成中国首个十万卡级算力集群并接入国家超算互联网。该集群基于"原生超智融合"架构，从芯片、计算、存储、网络到散热实现全链路国产自研，采用海光国产芯片、类IB原生RDMA高速网络、ParaStor分布式存储及浸没式相变液冷（PUE低至1.04），可同时支撑FP64科学计算与万亿参数大模型训练。集群已完成300余项应用适配，覆盖材料、生命科学、量子计算等20余个领域，累计完成70余次万卡规模算力测试，包括9万卡完成3.16万亿原子DFT仿真、8.8万卡完成328万亿网格湍流模拟等典型场景。
重点： 全国产十万卡AI超集群进入工程化阶段
来源：展开 4 条收起 4 条
- 中国首个十万卡集群落成！全国产算力支撑“十万卡时代”（量子位）
- 「十万卡时代」，谁在定义新标准？（机器之心）
- 中国首个十万卡集群落成！全国产算力支撑“十万卡时代”（量子位）
- 中国用十万卡定义下一代AI基建！（新智元）
SK海力士265亿美元赴美IPO 首日大涨市值超美光近2000亿美元
2026年7月10日，SK海力士美国存托凭证正式登陆美股，IPO融资约265亿美元、估值约280亿美元，成为美国历史上规模最大外资IPO，超越2014年阿里巴巴250亿美元的纪录。公司以每股149美元发行1.779亿份ADR，超额认购逾七倍，首日股价大涨17.29%、总市值达1.27万亿美元，超出美光科技近2000亿美元；美光当日股价下跌2.25%。此次上市主要受AI热潮对HBM高带宽存储的强劲需求驱动，缓解了长期存在的"韩国折价"现象。募资将投入韩国本土新工厂、封装设施及EUV光刻机。同日美国商务部长敦促SK海力士及三星在美建厂。
重点： AI驱动存储需求催生美国史上最大外资IPO
来源：展开 4 条收起 4 条
- SK海力士完成265亿美元IPO，成美国史上最大外资IPO，并被敦促在美建厂（TechCrunch）
- 芯片巨头海力士启动赴美上市计划，估值高达二百八十亿美元（AI洞察日报 RSS Feed）
- SK 海力士美国 IPO 获得逾七倍的超额认购（Readhub - 每日早报）
- SK 海力士美股正式上市 总市值超出美光近 2000 亿美元（Readhub - 每日早报）
GPT-5.6 Sol Ultra一小时证明50年数学猜想 64个子智能体协同
2026年7月11日，OpenAI宣布GPT-5.6 Sol Ultra用不到一小时给出图论经典未解猜想循环双覆盖猜想的证明。团队将GPT-5.6 Sol升级至Ultra版，模型自主调度64个子agent并行计算，将原本可能耗时一天的证明压至一小时。证明方法不直接寻找圈，而是将问题转化为有限域边标号问题，用线性代数证明全局一致性。同步公开的约700词prompt包含四项核心技巧：只定义验收标准而不规定解法、提前消歧义定义与边界、明确列出"不算答案"的失败情况、动态分配子agent并设置对抗性审查。社区对其未经Lean形式化验证和同行评审存在讨论，但被普遍视为前沿模型在数学推理与多智能体协同上的里程碑事件。
重点： 前沿模型在数学证明上首次取得突破性尝试
来源：展开 2 条收起 2 条
- GPT-5.6一小时解开50年数学猜想，700词Prompt驾驭64个子Agent（量子位）
- 🧐 GPT-5.6 Sol Ultra 一小时给出 Cycle Double Cover 猜想证明（News Hacker | 极客洞察）
变更与实践
Bun运行时从Zig重写为Rust Claude率先切换
JavaScript运行时Bun已完成从Zig到Rust的重写，Anthropic的Claude Code自v2.1.181版率先切换。重写借助AI编码代理在约11天内移植超百万行代码，耗资约16.5万美元API费用，二进制体积缩小约20%、性能提升约5%、Linux启动速度提升10%。起因是原Zig版本频繁出现内存安全bug。社区观点分裂：Zig作者公开批评原代码质量为"黑客式补丁"；也有声音质疑重写高度依赖AI机械翻译，残留大量unsafe代码、并非idiomatic Rust。
来源：展开 5 条收起 5 条
- 用 Rust 重写 Bun（Andrej Karpathy Curated RSS）
- 仅11天，Claude重写百万行代码，AI史诗级工程却引来愤怒（机器之心）
- Bun团队借助AI完成Rust重写，性能显著提升（TLTD）
- 🤨 Bun 由 Zig 改写为 Rust：Claude Code 采用、性能提升与营销争议（News Hacker | 极客洞察）
- 🤨 Bun Rust 重写：Jarred 批评、Zig 争议与代码质量之争（News Hacker | 极客洞察）
谷歌DeepMind发布Gemma 4技术报告 全系Apache 2.0开源
Google DeepMind发布Gemma 4技术报告，全系以Apache 2.0许可证开源，参数规模覆盖2.3B至31B，含密集与混合专家架构。核心创新是取消传统视觉与音频编码器，仅保留35M参数投影层将原始像素与音频波形直接映射至语言模型嵌入空间，由单一Transformer统一处理文本、图像与音频。Thinking Mode下放至端侧，2.3B与4.5B版本可在手机离线运行；31B版本在数学推理与智能体工具调用等基准上显著超越前代及数倍体量闭源模型。
来源：展开 2 条收起 2 条
智谱启动Touch High计划 押注AGI安全治理
智谱创始人唐杰发布内部信，宣布正式启动「Touch High（摸高）计划」，明确将聚焦AGI研究而非短期商业变现，并以"不登顶，就是失败"表达技术登顶决心。唐杰列出通往AGI终点的四座高峰：长程任务、自治智能体系统、完全自我训练、极致安全治理，其中安全治理被特别强调，智谱计划投入百亿级资源攻坚机械可解释性，推动模型决策向透明可解释转变。
来源：展开 2 条收起 2 条
- 晚点独家丨唐杰内部信称将开启 Touch High（摸高）计划，“不登顶，就是失败”（晚点 - 最新报道）
- 智谱创始人唐杰发布内部信：将开启 Touch High（摸高）计划，「不登顶，就是失败」（Readhub - 每日早报）
安全与风险
CISA披露五月承包商事件 承认当时并无应急处置预案
美国网络安全与基础设施安全局（CISA）事后报告承认，今年5月一起网络安全事件中没有预先准备的事件响应预案，工作人员不得不在事件初期临时搭建处置流程。事件起因是CISA一家承包商员工将大量访问美国政府系统的敏感密钥和凭证上传至公开GitHub代码库。安全研究员发现后联系承包商未果，由独立记者Brian Krebs直接通报CISA，才将代码库下线并撤销、更换全部泄露凭证。CISA确认无客户或任务数据泄露。
影响： 负责联邦网络安全的核心机构自身应急能力受到质疑
建议： 联邦机构和承包商应在事件前建立明确的事件响应手册与外部通报渠道
来源：展开 1 条收起 1 条
- 美国网络安全机构CISA承认：在5月安全事件中不得不临时搭建应急处置流程（TechCrunch）
OpenAI被指在版权诉讼中多年隐瞒证据
起诉OpenAI的多家新闻机构指控该公司多年来反复撒谎，隐瞒可能损害其辩护的侵权证据。隐私工程师Vincent Monaco揭露，OpenAI向法院误导了两年关于搜索ChatGPT日志的成本和能力，假装没有技术能力搜索大型匿名样本，而实际上在诉讼开始前就已进行过此类搜索。这一发现可能导致对OpenAI的严厉制裁。
影响： OpenAI在多起诉讼中承压，可能面临严厉制裁
建议： 关注其合规风险对企业级AI服务采购的影响
来源：展开 1 条收起 1 条
开源与工具
pgrust用Rust重写PostgreSQL 兼容18.3 事务负载快50%
pgrust 是用 Rust 重写的 PostgreSQL，目标兼容 Postgres 18.3，已通过逾46,000个回归测试。新版本实现100%测试通过，改为每连接一线程架构，事务负载比Postgres快约50%，分析型负载快约300倍（仍比ClickHouse慢2倍）。项目借助Rust与AI辅助编程探索更深层服务端改造，路线图涵盖多线程内部实现、内置连接池、无vacuum存储设计等，但目前仍不可用于生产。
适用场景： 对PostgreSQL Rust内化与AI辅助内核开发感兴趣的后端与数据库工程师
来源：展开 1 条收起 1 条
- malisper/pgrust：用 Rust 重写的 PostgreSQL 项目进展（Trending repositories on GitHub today · GitHub）
next-ai-draw-io AI驱动图表创建工具登GitHub热门
GitHub热门项目next-ai-draw-io是基于Next.js的AI驱动图表创建工具，通过自然语言命令与draw.io集成，支持创建、修改和增强图表。演示站点得益于字节跳动豆包赞助，采用glm-4.7模型。核心功能包括LLM驱动图表生成、图片/PDF转图表、AI推理过程展示、版本历史回溯、动画连接器及云架构图专项支持。项目还支持MCP协议，可与Claude Desktop、Cursor、VS Code等AI代理协同工作，并兼容十余家模型供应商。
适用场景： 需要快速将架构或流程想法落到图表中的产品与研发团队
来源：展开 1 条收起 1 条
- next-ai-draw-io：基于 Next.js 的 AI 驱动图表创建工具（Trending repositories on GitHub today · GitHub）
数据与洞察
SK海力士CEO：内存芯片短缺可能持续至2030年以后
SK海力士首席执行官郭鲁正表示，当前困扰多市场的内存芯片短缺可能持续至2030年以后，客户因预期短缺持续而纷纷签署长期合同。郭鲁正指出，三星电子、美光科技等存储芯片厂商正借AI热潮受益，数据中心运营商的大规模支出推高了内存需求，加剧了存储芯片短缺状况。该判断与SK海力士此前关于2027年迎史上最严重内存短缺的表态形成呼应，意味着存储紧缺已从周期性波动转向结构性长期趋势。
数据： 内存芯片短缺可能持续至2030年以后
意义： AI算力扩张持续挤压通用存储供应，半导体周期判断需长期化
来源：展开 1 条收起 1 条
- SK 海力士 CEO：内存芯片短缺可能持续到 2030 年以后（Readhub - 每日早报）
北大HOI-Edit基准 SCPE框架将图像编辑交互分数提升约26%
北京大学团队在ICML 2026发表论文，针对复杂人-物交互（HOI）图像编辑任务，提出首个层级化认知评测基准HOI-Edit，并发布自动评测协议HOI-Eval。在此基础上，团队提出SCPE自纠错框架，由Generator、Analyzer、Reflector、Curator四类代理组成闭环。实验在Wan 2.2 I2V上验证，SCPE使L1交互分数提升约22%、L2约26%、L3约22%，并在评测一致性与消融实验中展现出显著增益与良好泛化能力。
数据： SCPE在L1/L2/L3交互分数上分别提升约22%/26%/22%
意义： 显示图像编辑与多agent协同自纠错框架结合，可在复杂交互任务上带来显著增益
来源：展开 1 条收起 1 条
其他值得看
至简动力交付100台机器人
具身机器人已进入工厂量产交付阶段。
来源：展开 1 条收起 1 条
- 别人还在叠衣服，至简动力的100台机器人已下车间（极客公园）
1X发布NEO Hand机器人手
人形机器人灵巧手硬件规模化能力提升。
来源：展开 1 条收起 1 条
- 1X 发布 NEO Hand 先进人形机器人手（AI Valley）
GitHub Copilot代码审查改进
Copilot改写代码审查工作流，质量与成本改善。
来源：展开 1 条收起 1 条
- 更好的工具却让 Copilot 代码审查变差了：我们是如何真正改进它的（The GitHub Blog）
微软选Go构建AI代理框架
微软加入Google阵营，Agent框架语言生态分化。
来源：展开 1 条收起 1 条
- 微软加入谷歌阵营选择 Go 语言构建 AI 代理，OpenAI 和 Anthropic 落后（The New Stack）