🔥 今日头条：GPT-6 Astra 震撼登场：多平台开放测试与订阅，AI 性能迎来跨代跃升
AI 行业迎来重磅进展，OpenAI 的 GPT-6 Astra 在今日全面登陆 OpenRouter、Codex、Perplexity Computer 以及面向 Plus 和 Business 用户开放。相关评测显示其在复杂任务中展现出顶尖的得分与推理能力，标志着大模型正加速向更深度的应用与商业化场景渗透，重塑人机协作的新范式。
🚀 行业速递 Top 10
- Perplexity Computer 向 Pro 和 Max 订阅用户开放 GPT-6 Astra
Perplexity 宣布 GPT-6 Astra 现已在 Perplexity Computer 上线，WANDR 评测显示其得分高达 0.682，比 Fable 5.1 高出 13.5%，成为目前测试模型中的佼佼者。
- Dell 向 CoreWeave 交付全球首批生产级 NVIDIA Vera Rubin NVL72 机架
硬件基础设施迎来里程碑，戴尔成功向 CoreWeave 交付全球首批生产级 NVIDIA Vera Rubin NVL72 算力机架，为下一代高强度 AI 训练提供顶级硬件支撑。
- Anthropic 推出 Claude Fable 5.1，科学基准测试性能翻倍
Anthropic 正式发布 Claude Fable 5.1，相比上一代产品在科学基准测试中性能实现翻倍，同时引入了更严苛的数据安全措施并调整了价格策略。
- Anthropic 研究团队使用 Lean 4 正式形式化费马大定理
Anthropic 宣布在 Lean 4 证明助手环境中成功对数学界的世纪难题——费马大定理进行了形式化研究，展示了大模型在高级数学推理和辅助证明领域的巨大潜力。
- Artificial Analysis 发布 Intelligence Index v4.2
Artificial Analysis 发布 Intelligence Index v4.2 版本过渡更新，私有测试集权重翻倍，新增多项实用评测并剔除了已经饱和的旧评测基准。
- GitHub 推出 Project HydraFusion：通过多模型编排实现前沿质量
GitHub 官方发布 Project HydraFusion，探讨如何通过多模型协同编排与智能调度，在软件开发和复杂任务处理中达到前沿级别的输出质量。
- AI 能否设计电路板？业界学者探讨硬件自动化设计新边界
技术博客 EEBench 深入探讨了当前人工智能在电路板（PCB）设计领域的实际应用能力与局限性，评估了自动化 EDA 工具与大模型结合的最新进展。
- 全系四激光雷达：广汽与华为联合打造启境 GX7 正式发布
汽车智能化再提速，广汽与华为联手推出的增程家庭 SUV 启境 GX7 正式亮相，24.99 万元起售，标配四激光雷达与 L3 级冗余架构，主打科技智驾。
- 特斯拉因 Cybercab 安全标准认证遭遇美国 NHTSA 调查
由于美国国家公路交通安全管理局（NHTSA）对 Cybercab 的安全标准认证展开调查，特斯拉股价盘中暴跌超 6%，市值蒸发超千亿美元，涉及约千辆测试车辆。
- “下一个 Token 预测器”是理解大模型的错误心智模型吗？
开发者社区近期热议大模型的底层理论，有技术专家撰文指出，单纯将 LLM 视为“下一个 Token 预测器”可能无法准确涵盖其展现出的复杂涌现和推理能力。
