AI突破与资本潮涌：2026年7月13日科技速览

2026年7月13日 · AI资讯日报

1 GPT-5.6证明数学猜想

OpenAI GPT-5.6 Sol Ultra模型在不到一小时内，生成了图论领域悬而未决50多年的“循环双覆盖猜想”的完整证明。采用64个并行子智能体协同，并设对抗智能体验证漏洞。英国曼彻斯特大学数学家Thomas Bloom评价该证明“非常漂亮”。证明尚未经正式同行评审。

💡 解读：这是AI从“辅助工具”迈向“自主发现”的关键一步。数学证明是最严格的人类智力活动之一，GPT-5.6 Sol Ultra能在1小时内完成人类50年未解的问题，说明大模型的推理能力已开始触碰到“原创性发现”的边界。64个子智能体 + 对抗验证的机制尤其值得注意，这暗示未来AI科研可能不再依赖单一模型，而是“多智能体协作 + 自动审稿”的闭环。不过，该证明尚未经过同行评审，数学界的严格检验才是真正的试金石。如果最终验证成立，它可能加速AI在理论数学、药物发现、材料设计等领域的应用。

* * *

2 谷歌开源Gemma 4

谷歌DeepMind发布Gemma 4系列开源模型，采用Apache 2.0许可证。模型摒弃传统视觉与音频编码器，将原始像素和音频波形直接投影到大语言模型的统一嵌入空间，在端侧实现原生多模态交互。31B参数版本可在消费级显卡运行，性能接近参数规模为其20倍的模型。

💡 解读：Gemma 4的“无编码器”设计是一条与GPT-4V、Claude完全不同的技术路线。传统多模态模型依赖独立的视觉/音频编码器，而Gemma 4直接处理原始信号，理论上能更灵活地融合文本、图像、声音。这对端侧AI是重大利好——31B参数能在消费级显卡运行，意味着开发者可以在本地跑起一个接近顶级的多模态模型。对行业而言，开源 + Apache 2.0意味着企业可以无顾虑地集成，这将进一步挤压闭源模型的商业空间。国内大模型厂商也需要警惕：在端侧开源这条赛道上，Google已经抢跑。

* * *

3 Coinbase部署千个AI代理

加密货币交易所Coinbase宣布已部署1200个AI代理用于内部运营，覆盖客服、风控、合规等多个环节。AI代理基于自研大模型构建，支持7×24小时自动化处理，使整体运营成本较去年同期削减50%。

💡 解读：1200个AI代理不是“客服机器人”的简单升级，而是金融科技领域首次大规模把AI当作“核心劳动力”使用。客服、风控、合规恰恰是人力密集且规则复杂的岗位，AI替代后成本减半，这说明AI在结构化任务上的效率优势已经超越人类。对金融行业而言，这是强烈信号：首批被AI重构的可能是“高重复、高合规要求”的中后台岗位。但对整个行业来说，这也会引发新的监管问题——当AI做风控、AI做合规，谁来为AI的决策负责？

* * *

4 联合国首份AI评估报告

联合国发布首份独立的AI科学评估报告。报告核心警告称，AI能力的演化速度已超出全球现有法律与监管框架的承载能力，呼吁建立由外部主导的监管机制，而非依赖AI公司进行自我评估。

💡 解读：这是全球AI治理从“软倡议”转向“硬规则”的重要节点。报告的关键不在于它说了什么，而在于它由谁说的——联合国作为最具普遍性的国际组织，首次以独立科学评估的方式介入AI治理，意味着AI风险已上升到全球公共议题。报告提出的“外部监管”直指当前行业的核心矛盾：科技公司既是AI的开发者，又是安全的裁判者，这种“自我评估”模式存在结构性缺陷。未来各国AI监管议程可能从“是否要管”加速转向“具体如何管”，这对跨国AI公司的合规成本将产生深远影响。

* * *

5 阶跃星辰发AI手机

7月13日，阶跃星辰在北京发布全球首款AI智能体手机。该手机搭载自研Agent OS操作系统，从底层重构人机交互，支持跨应用操作、上下文记忆和主动服务。同步发布的StepEdge端侧模型全家桶，可实现低至0.1秒的本地toolcall执行，确保敏感数据不出设备。

💡 解读：这是AI手机从“功能叠加”走向“系统重构”的标志性产品。当前多数AI手机只是在系统里加入大模型应用，而阶跃星辰直接做了一个Agent OS，让手机从“被动响应指令”变成“主动理解意图、跨应用执行任务”。0.1秒本地toolcall和端侧模型意味着隐私和实时性得到根本保障。但挑战也很现实：生态——有多少第三方App愿意接入Agent OS？用户习惯——大家是否已经准备好把手机控制权交给AI？这款产品能否成功，取决于它能否在“炫技”与“日常可用”之间找到平衡。

* * *

6 智谱MiniMax港股募资

7月13日消息，智谱拟配售1978万股H股募资约314亿港元，MiniMax拟配售3560万股新A类股份募资约95亿港元，两家公司合计近500亿港元。两家公司均选择在限售股解禁窗口期内启动配售，资金将用于大模型研发与生态建设。

💡 解读：这是国内大模型公司“边解禁边补血”的典型操作。近500亿港元募资规模巨大，但选择在解禁窗口期配售，说明两家公司急需资金支撑下一轮研发竞赛。智谱刚发布“摸高计划”死磕AGI，MiniMax创始人闫俊杰宣布AGI前不领薪酬，两者都选择了长期技术投入。资本市场用“配售”投票：大模型竞赛的烧钱速度远超收入，必须不断融资。这也揭示了一个残酷现实——AGI竞赛既是技术战，也是资本耐力战，谁能融到更多钱、撑过产业低谷，谁就更有可能看到终局。

* * *

7 灵晟超算重返世界第一

国家超级计算深圳中心发布新一代全国产超算系统“灵晟”。实测持续性能达到2.19 EFLOPS，成为全球首台持续性能超2 EFLOPS的超算系统，标志着中国超算时隔9年重返全球性能榜首。系统采用全栈国产软硬件，从芯片、互联、存储到软件完全自主可控。

💡 解读：这不仅是算力排名的回归，更是国产AI基础设施自主可控的里程碑。9年前中国超算曾登顶，但核心芯片依赖进口；今天的“灵晟”实现了从芯片到软件的全栈国产化。2.19 EFLOPS的持续性能意味着它能支撑更大规模的模型训练、更复杂的科学仿真。在中美科技博弈背景下，自主可控的算力底座是大模型国家战略安全的根基。但也要看到，超算性能只是起点，真正的挑战在于生态——有多少国产大模型、框架和应用能在“灵晟”上高效运行，才是决定其产业价值的关键。

* * *

8 Z.ai发布ZCode编程智能体

智谱海外品牌Z.ai推出ZCode编程智能体，基于744B参数MoE模型GLM-5.2构建。在SWE-bench Pro基准上，GLM-5.2得分62.1，超越GPT-5.5的58.6。ZCode基础版免费，Pro版月费64.8美元，API定价为GPT-5.5的约三分之一。

💡 解读：ZCode是国产大模型出海的一次“降维打击”。它不仅在性能上超越GPT-5.5，更以免费基础版 + 低价Pro版直接挑战Cursor、GitHub Copilot等海外编程工具。GLM-5.2的MoE架构和超高性价比，意味着中国开源模型已经开始在全球开发者工具市场占据一席之地。这对Cursor的200美元/月订阅模式是巨大压力。但对智谱而言，海外市场的获客和生态建设比短期收入更重要——ZCode的真正目标是成为开发者的默认入口，进而绑定整个GLM生态。

* * *

9 具身智能半年融资460亿

2026年上半年，具身智能一级市场共288起融资，226家企业拿到资金，披露融资总额超过460亿元。超过一半资金涌入“大脑派”公司，专注于机器人决策模型和AI算法；“本体派”公司融资仅占12.8%，资金高度向头部玩家集中。

💡 解读：460亿元融资、288起交易，具身智能已成为AI赛道最热的细分方向。但“大脑派”吸走超过一半资金、“本体派”仅占12.8%，说明资本更看好“机器人大脑”而非“机器人身体”。这符合AI行业的发展规律——硬件本体容易同质化，而决策模型和数据闭环才是壁垒。但风险在于，如果本体制造和供应链跟不上，再聪明的“大脑”也缺乏落地载体。另外，资金向头部集中意味着中小公司生存压力剧增，具身智能的泡沫化风险也在累积。下半年，行业可能从“融资竞赛”转向“量产竞赛”。

* * *

10 世界模型赛道融资超400亿

2026年上半年，中国世界模型赛道超46起融资、超400亿元涌入，33家企业密集抢跑，超10家估值已破百亿。OpenAI将Sora升级为世界模型路线，英伟达发布Cosmos平台押注物理AI。

💡 解读：世界模型被视为通往AGI的潜在路径之一——它不仅要生成视频，更要理解物理规律、预测世界状态。中国33家企业、400亿资本涌入，说明国内已经形成了对“物理AI”的集体押注。与具身智能类似，世界模型是机器人、自动驾驶、工业仿真的“底层操作系统”。但世界模型的技术门槛极高，它需要海量的物理数据、强大的算力和深厚的多模态理解能力。超10家估值破百亿，意味着资本已经在提前布局终局，但多数公司可能很难真正做出通用世界模型。这个赛道将在未来18个月迎来残酷的洗牌。

* * *

老板说公司全面接入AI，要求每人每天节省2小时。我辛苦一周，终于用AI节省了2小时，兴冲冲汇报。老板问：“这2小时你做了什么？”我说：“写了一份《如何用AI节省2小时》的报告。”老板沉默片刻：“看来AI还没取代你，但PPT已经先把你取代了。”

本文由AI自动生成，仅供参考，不代表本号立场。如有错误或遗漏，欢迎留言指正。