OpenAI 发布 GPT-6 Astra 模型，Claude 完成数学证明

核心要点

• 1️⃣ Claude 仅用 11 天完成费马大定理端到端形式化证明 #1
  此次突破的底层关键是借由 Prove2Me 的有向无环图架构，破解了多智能体在长程推理中易迷失方向的协同瓶颈。 这将数学形式化的成本从预期数年的人力投入转变为算力消耗，大幅降低了自动验证现代数学文献的门槛。 鉴于现有的 1300 万行代码仍显冗余，下个观察节点是 AI 能否从达成可用性，向输出紧凑优雅的高质量代码演进。
• 2️⃣ OpenAI 发布具有计算机操控权的 GPT-6 Astra 模型 #2
  本次跃迁的底层支撑是超10万张NVIDIA GPU集群的空前算力，这赋予了模型端到端的计算机操控权。 这种自主性使其成为首个具有“严重”网络安全风险的模型，必将倒逼全球网络防御体系的重构。 随着API向商业端开放，产业焦点将从AGI概念之争，转向应对AI自动化挖掘未知漏洞的现实防御战。
• 3️⃣ 异种器官移植刷新纪录，猪肾在人体存活 271 天 #3
  本次突破的底层支撑是高达69处的CRISPR基因编辑，通过敲除抗原与灭活病毒，验证了深度基因重写克服跨物种排斥的临床可行性。成功验证“桥梁疗法”重塑了异种移植的商业化路线图，有望为仅美国就多达10万名的肾源等待者开辟全新生物供应链。
• 4️⃣ GPT-6 Astra 耗时 24 小时自主通关游戏《传送门》 #4
  这场通关本质上依赖于频繁的“走走停停”视觉处理机制与多达 3,336 次的工具调用，以此跨越复杂物理环境中的长线空间规划障碍。这不仅验证了多模态模型接管长序列任务的潜力，更通过 571.18 美元的账单暴露出算力成本与推理延迟仍是阻碍通用智能体落地的核心鸿沟。
• 5️⃣ OpenAI 发文披露 GPT-6 存在传统审查难以监控的“外星思维” #5
  OpenAI 内部的狂热与隐忧折射出安全监控范式的根本性危机：传统基于思维链（CoT）的审查手段正随着模型进化而逐渐失效。这种底层控制力的丧失意味着对齐难题已超越传统软件工程的范畴，未来将直接掣肘大模型厂商的商业扩张，并触发针对“递归自我改进（RSI）”能力的严厉监管。

详细分析

以下为按领域整理的详细要闻，可按需快速浏览

科技产业

OpenAI 发布了依托庞大算力集群的 GPT-6 Astra 模型，同时 Claude 利用多智能体协同架构完成了费马大定理的形式化证明 #1 #2。GPT-6 Astra 在自主通关游戏时展现出的长序列任务接管能力令人瞩目，但底层控制力的变化也暴露出传统审查手段随着模型进化正逐渐失效的对齐危机 #4 #5。

公司商业

异种器官移植领域迎来历史性突破，经过深度基因编辑的猪肾在人体内存活时间刷新至 271 天 #3。这一临床试验成功验证了“桥梁疗法”克服跨物种排斥的可行性，有望重塑相关领域的商业化路线图并催生全新的生物供应链 #3。

宏观政策

中韩等国正从国家层面加速人工智能的规范与普及部署 #8 #15。工信部最新规划明确提出探索 AI 反诈助手及涉诈 APP 分级处置，结合韩国启动的全民 AI 计划，标志着 AI 技术的落地正进入政策驱动的社会治理阶段 #8 #15。

数码出行

华为发布起售价达 19999 元的全新三折叠手机 Mate XT2，搭载最新的麒麟 9050 Pro 芯片，持续在超高端市场布局 #7 #25。与此同时，小米汽车澎程系列锁单破万并发布探索版房车，反映出头部科技企业在智能终端与出行生态上的跨界扩张 #33 #34。