AI 日报 — 2026年7月12日：数学突破、Agent工具爆发与科技巨头博弈

7月12日AI行业呈现多条主线：OpenAI GPT-5.6 Sol Ultra一小时破解了50年未解图论难题，苹果起诉OpenAI引发马斯克与Altman公开骂战，微软加速自研AI以削减对外部模型的依赖。端侧AI和视频生成也迎来重要进展，阶跃星辰发布Step Edge端侧模型全家桶，字节跳动Seedance 2.5实现原生30秒视频生成，阿里开源了AI代码审核工具Open Code Review。

13 条目4 大模型3 智能体15 来源

上一期

#01Infrastructure2026/7/12 09:37:11

NVIDIA RTX Spark 真机亮相Bilibili World

NVIDIA的紧凑型AI超算平台RTX Spark在Bilibili World公开展示中，同时流畅运行3A游戏《心灵杀手2》、完整渲染虚幻引擎城市场景，并驱动了一个能自主编程的AI Agent。这一综合演示表明桌面级AI计算设备在游戏、实时渲染和AI推理三大领域的融合能力已超出常规预期，对于希望在本地部署AI Agent和大型模型的开发者和企业而言，RTX Spark提供了一个值得关注的端到端解决方案。

英伟达RTX Spark真机亮相Bilibili World：笔记本可本地运行120B参数大模型

查看详情引用来源 1 引用来源 2

#02Models2026/7/12 01:39:23

OpenAI GPT-5.6 Sol Ultra 一小时破解50年未解图论难题

OpenAI宣布最新模型GPT-5.6 Sol Ultra成功生成了图论中Cycle Double Cover猜想的完整证明，该猜想已悬而未决约50年，模型用时不到一小时、通过64个子智能体并行协作完成。曼彻斯特大学数学家Thomas Bloom评价解法简洁漂亮，但批评OpenAI论文未引用证明所依赖的1983年前期研究成果，关于AI是否具备真正原创性的争论再次浮出水面。

查看详情引用来源

#03Agents2026/7/12 00:59:12

微软将AI代理框架带到Go语言，历时8个月拓展开发者生态

微软经过约8个月的开发将其AI代理框架正式带到Go语言，使Go开发者能够构建和部署AI智能体应用。Go语言凭借高性能和云原生生态在微服务和基础设施领域地位重要，此次拓展填补了该语言在AI智能体开发方面的关键空白，有望降低国内Go技术栈团队集成AI智能体的门槛。

查看详情引用来源

#04Agents2026/7/12 02:38:37

阿里开源Open Code Review：AI写代码后的自动审核神器

阿里巴巴正式开源了AI代码审核工具Open Code Review，上线一周GitHub星标突破5000。该工具采用「确定性工程+Agent」混合架构，不将代码评审完全交给大模型自由发挥，而是用工程逻辑稳定处理文件筛选、规则匹配和评论定位，Agent负责语义理解和跨文件影响分析。这一设计回应了AI编程浪潮中一个核心问题：AI生成代码的速度已远超人工审核能力，需要同样自动化的工程兜底机制来把关质量。

查看详情引用来源

#05Business2026/7/12 11:33:15

AI Agent公司Lyzr获1亿美元融资，用自家Agent完成融资接洽

企业AI Agent平台Lyzr宣布获得1亿美元融资，值得注意的是该公司使用了自家开发的AI Agent来处理与投资者的沟通和融资对接流程。这一做法不仅展示了产品能力，也引发了业界对AI在敏感商业谈判中应用边界的讨论。Lyzr的CEO表示AI Agent提高了融资效率，让团队能专注于更高价值的战略互动。

查看详情引用来源

#06Models2026/7/12 07:06:37

字节跳动Seedance 2.5曝光：原生30秒AI视频一键生成，API或于7月16日开放

TestingCatalog独家曝光了字节跳动Seedance 2.5生成的早期AI视频片段，新模型支持一次性生成原生30秒连贯视频，无需拼接多个短片段。模型可接受多达50个参考输入并支持区域级编辑，Jimeng平台已出现由Seedance 2.5驱动的超长视频模式（最长180秒）。

查看详情引用来源

#07Infrastructure2026/7/12 11:57:43

阶跃星辰发布Step Edge端侧模型全家桶，手机汽车终端全面部署AI

阶跃星辰于7月12日正式发布Step Edge端侧模型系列，这是一组专为手机和汽车等资源受限终端优化的AI模型，支持在没有云端连接的情况下本地运行推理任务。此举标志着阶跃星辰从纯云端大模型走向「云+端」双轨战略，在智能手机和智能汽车两大终端市场上全面布局。端侧AI因低延迟、高隐私保护和离线可用性正成为行业重要趋势，Step Edge的全品类覆盖策略有望在这一领域占据有利竞争位置。

查看详情引用来源

#08Business2026/7/12 10:58:18

智谱创始人发内部信：不追求短期变现，全力追求全人类高度

智谱AI创始人发布内部信，明确表示公司不追求短期变现，而是全力追求全人类高度的AGI研究目标。在AI行业商业化压力日益加剧的关键时期，这一表态既是对团队战略定力的重申，也对外传递了差异化定位信号。与此同时，港股大模型概念股出现分化走势，市场对不同AI公司的商业模式和技术路径正在重新评估。

查看详情引用来源 1 引用来源 2

#09Business2026/7/12 22:57:04

微软押注自研AI以削减OpenAI和Anthropic高昂成本

据MarketBeat报道，微软正加大自研AI模型的投入力度，以减少对OpenAI和Anthropic外部模型的依赖，从而控制不断攀升的AI运营成本。微软是OpenAI最大投资者并深度集成其模型，同时在Azure上提供Anthropic的Claude系列，外部模型调用成本随用户增长持续走高。这一战略转向表明微软希望将AI能力内化为核心竞争力而非长期依赖外部供应商，对OpenAI和Anthropic的收入和生态影响力构成潜在压力。

查看详情引用来源

#10Business2026/7/12 16:46:00

苹果起诉OpenAI引发三方骂战：马斯克炮轰Altman欺诈，Altman反讽太空数据中心

苹果公司正式对OpenAI提起诉讼，具体案由尚在披露中。该诉讼迅速升级为硅谷瞩目的公开骂战，马斯克在社交媒体上指责Altman存在欺诈行为，Altman则反讽马斯克的太空数据中心计划。苹果近年来在AI领域加速布局，与OpenAI既有合作（ChatGPT整合Siri）也有竞争关系，该诉讼的走向可能重新定义科技巨头与AI公司之间的合作边界。

查看详情引用来源

#11Policy2026/7/12 01:29:40

报道称被制裁中国公司仍通过新加坡渠道购入OpenAI和Google AI技术

Android Headlines的调查报道披露，被列入美国实体清单的中国企业仍在通过新加坡中转渠道获得OpenAI和Google的AI技术，报道将这一现象称为「新加坡漏洞」。这一发现引发了关于美国AI技术出口管制政策实际效力的新一轮讨论，凸显了单边出口限制在全球商业网络中面临的实施困境。

查看详情引用来源

#12Policy2026/7/12 08:21:09

英国向Anthropic伸出橄榄枝：邀请扩大伦敦业务并探讨双重上市

英国政府已正式邀请AI公司Anthropic扩大其伦敦业务规模，并就潜在的双重上市方案进行探讨。这一举动是英国脱欧后积极打造全球AI创新中心战略的延续——通过创新友好的「轻监管」路线吸引头部AI企业。对于Anthropic而言，伦敦拥有欧洲最集中的AI人才和活跃的风投生态，且在AI安全研究方面有深厚学术积累，与其核心理念高度契合。

查看详情引用来源

#13Models2026/7/12 14:02:44

Anthropic回应Claude「变笨」质疑：模型本身并未降级

针对近期大量用户反映Claude回答质量下降、响应变「笨」的投诉，Anthropic正式回应表示Claude模型本身并未出现性能退化。公司暗示问题的根源可能在系统提示词的改动、安全过滤器敏感度调整或上下文处理机制更新等系统级变化。这一事件凸显了AI安全调整与用户体验之间日益紧张的平衡关系，任何系统层面的微调都可能被用户解读为模型本身的退化。

查看详情引用来源

微博邮件

AI 日报 — 2026年7月12日：数学突破、Agent工具爆发与科技巨头博弈

NVIDIA RTX Spark 真机亮相Bilibili World

OpenAI GPT-5.6 Sol Ultra 一小时破解50年未解图论难题

微软将AI代理框架带到Go语言，历时8个月拓展开发者生态

阿里开源Open Code Review：AI写代码后的自动审核神器

AI Agent公司Lyzr获1亿美元融资，用自家Agent完成融资接洽

字节跳动Seedance 2.5曝光：原生30秒AI视频一键生成，API或于7月16日开放

阶跃星辰发布Step Edge端侧模型全家桶，手机汽车终端全面部署AI

智谱创始人发内部信：不追求短期变现，全力追求全人类高度

微软押注自研AI以削减OpenAI和Anthropic高昂成本

苹果起诉OpenAI引发三方骂战：马斯克炮轰Altman欺诈，Altman反讽太空数据中心

报道称被制裁中国公司仍通过新加坡渠道购入OpenAI和Google AI技术

英国向Anthropic伸出橄榄枝：邀请扩大伦敦业务并探讨双重上市

Anthropic回应Claude「变笨」质疑：模型本身并未降级

更多日报