AI 与科技日报（2026年9月6日）
今日要点
- OpenAI 展示 GPT-6 Astra 在游戏原型开发与金融文档审查中的实际效能，分别实现 50% 手动修复削减与近 40% 性能提升。
- AI 智能体在 11 天内完成费马大定理的形式化证明，标志数学推理自动化迈出重要一步。
- 国内大模型厂商集体入驻天猫，智谱 AI、Kimi 等开启 C 端付费订阅模式，个人版月付 118 元起。
- Google DeepMind 发布 WeatherNext，宣称在气旋预报领域取得突破。
- 千问办公上线 30 天企业用户过半，AI 办公商业化路径初显。
新闻速览
OpenAI：GPT-6 Astra 赋能游戏原型与金融审查
OpenAI 发布两则案例。其一，游戏公司 Playco 基于 GPT-6 Astra，从单一灰盒基础构建了三个主题游戏原型，手动修复工作量较前代模型减少 50%。其二，金融科技公司 Legora 使用 GPT-6 Astra 在数分钟内审阅 41 份文档，成功找出全部 4 处预设错误，并在该财务审查工作流中实现近 40% 的性能提升。
来源：OpenAI – Playco 案例 | 来源：OpenAI – Legora 案例
AI 智能体 11 天形式化证明费马大定理
据 New Scientist 报道，AI 智能体在仅 11 天内完成了费马大定理的形式化证明。该工作此前被认为极其复杂，此次突破展示了 AI 在长链条逻辑推理与数学形式化方面的潜力。
来源：New Scientist（经 Google News）
智谱 AI 入驻天猫，大模型开启 C 端付费订阅
智谱 AI 正式入驻天猫开设官方旗舰店，大模型套餐可直接网购，个人版月付 118 元起。与此同时，新浪财经报道指出，包括 DeepSeek、Minimax、Kimi 在内的多家 AI 厂商已将大模型套餐上架天猫，争夺用户付费订单。阿里云等平台亦参与其中，C 端商业化竞争趋于白热化。
来源：新浪财经（经 Google News） | 来源：新浪财经 – 大模型套餐上架天猫
千问办公：30 天企业用户过半
据新浪财经报道，阿里巴巴旗下千问办公上线 30 天，企业用户占比已超过一半。报道称，千问办公通过 Agent 能力将 AI 办公做成了可持续的生意，在竞争激烈的大模型应用市场中找到了企业付费切入点。
Google DeepMind：WeatherNext 突破气旋预报
Google DeepMind 发布 WeatherNext AI 模型，宣称在气旋预报方面实现突破。该模型有望提升极端天气预警的准确性与时效性，但具体技术细节与评测数据尚未在摘要中披露。
Hugging Face：为编码智能体提供可自主掌控的记忆
Hugging Face 发布博客文章，介绍如何为编码智能体赋予用户自主掌控的记忆能力。该方案强调数据所有权与隐私，允许开发者构建更具个性化且可控的 AI 编程助手。
多模态新进展：SenseNova-U1.5 与 DeepSeek-V4-Flash-Vision-Exp
据智源社区报道，SenseNova-U1.5-8B-MoT 实现生成与理解的统一，解锁原生多模态创作能力；DeepSeek-V4-Flash-Vision-Exp 则拓展了视觉理解新能力。两款模型分别代表了多模态创作与视觉理解方向的最新探索。
趋势判断
1. AI 能力正从“可用”走向“可量化”：OpenAI 连续发布带具体数字的客户案例（50%、40%），表明行业开始用可验证的业务指标而非演示效果来评估大模型价值。
2. C 端订阅成为国内大模型厂商的必争之地：智谱、Kimi、DeepSeek 等集体上架天猫，标志着国内 AI 竞争从技术比拼延伸至渠道与付费转化能力的较量。
3. AI 在科学推理与垂直场景中加速落地：费马大定理的形式化证明与 WeatherNext 的气旋预报，共同指向 AI 在需要严谨逻辑与专业知识的领域正取得实质性进展。
—
编辑点评：今日新闻呈现两条清晰主线——海外聚焦 AI 在复杂任务中的可量化突破，国内则围绕 C 端订阅展开渠道争夺。值得注意的是，无论是数学证明还是金融审查，AI 的价值正越来越多地以“节省时间”和“减少错误”来度量，这或许是行业走向成熟的最直接信号。