7月13日AI早报｜GPT-5.6一小时破解50年数学难题、中国超算重返世界第一、全球首款AI智能体手机今晚登场——8件大事看懂AI圈

🔥 今早AI圈三大信号：数学界被AI攻下一座50年堡垒、中国超算重回世界之巅、AI智能体手机今晚正式登场。

7月13日早晨，AI行业依旧热闹非凡。从基础科学的重大突破，到国家算力实力的回归，再到AI硬件形态的进化——今天的每一条新闻都在说明：AI正在从”能聊天”走向”能证明””能干活””能改变你手中的设备”。

如果你关心AI到底会怎样影响普通人的生活，以下8件事一次看懂。

① 阶跃星辰全球首款AI智能体手机今晚发布

阶跃星辰定于今晚19:00召开”阶跃终端品牌暨新一代智能体战略发布会”，正式推出其全新AI终端品牌、自研Agent智能体系统，以及被业界称为“全球首款AI智能体手机”的量产机型。该手机由华勤技术代工，核心亮点在于系统级重构——不是给传统安卓手机加装AI功能，而是把AI智能体作为系统交互的核心入口。

据透露，这款手机搭载的Step-GUI能力可跨200多款App自动操作，用户只需说”帮我点份外卖””帮我挂个号”，AI就能自己打开对应App、填写信息、完成下单。

对普通人意味着什么？以前的智能手机是”App超市”，你要自己一个一个打开找服务；AI智能体手机更像一个“万能管家”，你说出需求，它自动跑腿。这相当于手机从”工具集合”进化成了”能听懂话、会办事的助手”。如果体验真的成熟，未来你用手机可能主要靠”说话”，而不是”点图标”。

② GPT-5.6 Sol Ultra：1小时证明50年数学猜想

OpenAI宣布，其最新推理模型GPT-5.6 Sol Ultra在不到1小时内，完成了图论领域悬而未决50多年的“循环双覆盖猜想”完整证明。该模型动用了64个并行子智能体协同工作，还设置了专门的”对抗智能体”来挑刺找漏洞。OpenAI已将证明和提示词以PDF形式公开，数学家Thomas Bloom评价该证明”非常漂亮”。

不过，这一证明尚未经过数学界正式同行评审，学界整体持谨慎态度。

对普通人意味着什么？这就像AI突然从”会写作文的学生”变成了”能独立做科研的学者”。如果AI真的能自主提出并验证复杂数学证明，未来药物研发、材料设计、气候模拟等领域都可能被加速。你未必直接用它证明定理，但你吃的药、用的电池、坐的新能源车，可能都会因这种能力而提前几年问世。

③ 谷歌Gemma 4开源：消费级显卡跑多模态AI

谷歌DeepMind发布Gemma 4系列开源模型，采用Apache 2.0协议，可免费商用。与传统多模态模型不同，Gemma 4摒弃了独立的视觉、音频编码器，直接把原始像素和音频波形投影到大语言模型的统一嵌入空间，从而在端侧实现真正的”原生多模态”交互。

其31B参数版本可在普通消费级显卡上流畅运行，但在主流开源排行榜上已位列前三，性能接近参数规模为自身20倍的竞品。

对普通人意味着什么？以前厉害的AI模型大多跑在云端大公司服务器里，你的设备只是个”传话筒”。Gemma 4这类开源小模型意味着：你的电脑、手机甚至平板，未来可能直接本地运行一个相当聪明的AI，不用联网、不用把隐私数据上传到云端。对开发者和小公司来说，这也是低成本做AI应用的福音。

④ 中国超算”灵晟”重返世界第一：2.19 EFLOPS

中国新一代超算“灵晟”以2.19 EFLOPS（每秒219亿亿次浮点运算）的峰值性能重返全球超算榜首。这一性能不仅刷新了榜单纪录，也意味着中国在高端算力基础设施领域再度取得标志性突破。超算被称为”算力皇冠”，是气象预报、核模拟、航空航天、新药研发等关键领域的底层支撑。

对普通人意味着什么？超算离你并不远。你每天看的天气预报、高铁线路优化、新药上市速度、电影特效渲染，背后都有超算的身影。中国超算重回世界第一，意味着这些依赖极端算力的服务会更快、更准、更便宜，也为中国训练下一代AI大模型提供了坚实的”地基”。

⑤ DeepSeek秘密启动自研推理专用AI芯片

据多家媒体报道，国产AI公司DeepSeek已秘密启动自研推理专用AI芯片项目，目标是摆脱对英伟达高端GPU的依赖，降低模型推理成本。推理是AI真正”干活”的环节——你每问一次ChatGPT、每生成一张图，背后都需要大量推理算力。

对普通人意味着什么？如果DeepSeek自研芯片成功，就像一家餐厅不再完全依赖进口厨具，开始自己造锅造灶。最终结果是AI服务更便宜、更可控。现在用一次高级AI可能几分钱到几块钱，未来推理成本大幅下降后，AI可能像水电一样便宜地融入日常应用。

⑥ 联合国首份独立AI科学评估报告：监管严重滞后

联合国发布首份由独立科学家撰写的《AI科学评估报告》，罕见地集体警告：AI技术发展速度远超各国监管和治理能力，全球在AI安全、伦理、就业影响等方面的准备明显不足。报告呼吁建立更强有力的国际治理框架，避免AI风险失控。

对普通人意味着什么？AI像一辆越开越快的车，但交通规则还没完全建好。报告提醒我们：在享受AI便利的同时，数据隐私、算法歧视、深度伪造、就业替代等风险正在真实发生。作为普通用户，多了解AI能做什么、不能做什么，学会辨别AI生成内容，是保护自己最基本的方式。

⑦ AI巨头价格战白热化：GPT-5.6、Muse Spark 1.1、Grok 4.5集体降价

过去一周，OpenAI、Meta、SpaceXAI（xAI）不约而同把”低价”作为新模型核心卖点。GPT-5.6 Sol输入Token约5美元/百万、输出30美元/百万，约为Claude Fable 5的一半；Meta Muse Spark 1.1定价1.25美元输入/4.25美元输出；Grok 4.5更是把成本砍到竞品的十分之一水平。

这场价格战的导火索是企业”Token账单”失控——优步4月就用完了2026年全年AI预算，甚至有企业被传收到5亿美元的Claude费用通知单。

对普通人意味着什么？上游降价最终会传导到普通用户。今天你用的AI写作、AI作图、AI编程助手，明年可能便宜一半甚至更多。对企业来说，AI从”奢侈品”变成”日用品”；对打工人来说，掌握AI工具的成本更低了，但会不会用AI的差距也会越拉越大。

⑧ Claude Fable 5再延期，OpenAI取消Codex限制抢开发者

Anthropic于7月12日宣布，将Claude Fable 5的付费订阅访问期限再度延长至7月19日，并把Claude Code每周速率限制上调50%。原因仍是算力紧张和用户大规模不满。几乎同时，OpenAI宣布暂时取消Codex的5小时使用限制，覆盖Plus、Business及Pro用户，并优化GPT-5.6 Sol效率以降低实际消耗。

两强围绕开发者群体的争夺已进入白热化阶段：Anthropic靠模型体验留住用户，OpenAI靠价格和权限灵活性抢人。

对普通人意味着什么？这相当于两个顶级健身房在抢会员：一个器材更好但经常限流，另一个便宜且不限时。竞争越激烈，普通用户和开发者拿到的服务就越好、越便宜。未来几个月，你可能会看到更多AI工具推出免费额度、降价促销或新功能，正是薅羊毛的好时候。

📊 今日AI大事速览

关注【uool工具AI导航】，每天看懂AI圈。