OpenAI 未发布的模型 Astra 解决十大开放数学问题
OpenAI 内部未发布模型 Astra 在数学推理上取得突破，一次性解决了 10 个长期开放的数学问题，并且每个结果都附带 Lean 形式化验证证书。这提示大模型正在从“会聊天”跨向“能做出可验证的科学发现”。
标签： Claude
代币经济学：为什么让人工智能付费很棘手
大模型公司投入数百亿美元建成的 AI 服务，如今在向企业收费时遇到了麻烦——按 token 计费的模式不可预测，企业很难预估成本，连微软、Uber 都曾出现 AI 编码预算超支的情况。AI 能力很强，但“怎么定价”正成为商业化路上最棘手的环节。
中国软件行业领军人物、深开鸿CEO王成录博士确认出席AICon深圳，将分享“让 AI 拥有身体：从大模型迈向物理 AI”
深开鸿 CEO、原华为鸿蒙系统负责人王成录，确认出席 2026 年 8 月的 AICon 深圳站并发表主题演讲，核心观点是：大模型只给 AI 造了“大脑”，要真正落地千行百业，还必须为它接上能感知和行动的身体。这场演讲把行业议题从“模型能力竞争”拉回到“物理世界落地”，值得所有关注 AI 产业化的人留意。
Palantir 强劲季度后，CEO Alex Karp 称 AI 行业”马克思主义”
Palantir 发布了一份创纪录的季度财报，CEO Alex Karp 借此猛烈抨击 OpenAI、Anthropic 等大模型公司，称它们试图“夺取合作伙伴的生产资料”，带有“马克思主义”色彩。这一表态看似偏激，背后却是企业客户对数据主权和供应商锁定问题的真实焦虑。
使用强大的数据加载和自动判断，通过 Moonshot PerceptionBench 评估多模态视觉模型
月之暗面推出 PerceptionBench，一个用于评估多模态视觉模型的基准测试框架，主打稳健的数据加载和自动化判断能力，让模型“看得准不准”有了更可复现的测量方式。
从零开始，教你用Codex搓出属于你自己的第一个硬件
有开发者用 OpenAI 的编程智能体 Codex，从零开始独立完成了一个硬件项目的设计与实现。这件事之所以值得关注，是因为它意味着 AI 的能力正从纯软件世界延伸到需要动手、需要物理验证的硬件开发流程中。
微软首款自研全双工 AI 语音模型曝光：听说并行，16 种语言自由切换
微软正在测试自研的实时语音模型 MAI Realtime，它支持 16 种语言，能边听边说、允许用户随时打断。语音助手正在从“轮流说话”走向“同时听说”，这对聊天体验和语音应用开发都会产生直接影响。
ChatGPT Atlas 浏览器 8 月 9 日停止服务，用户需10天内导出书签
OpenAI 宣布其首款浏览器 ChatGPT Atlas 于 8 月 9 日停止服务，从上线到关停不足十个月。更值得关注的是，用户的书签和历史记录无法自动迁移，必须手动导出，Cookies 也无法转移，暴露出 AI 原生工具在数据可移植性上的短板。
高德升级世界模型ABot-World-0:实现全球首个24小时连续稳定推理
阿里高德自研的交互式世界模型 ABot-World-0 完成升级，能在单张消费级 GPU 上连续稳定推理 24 小时，成为全球首个把交互世界模型连续推理时长从“分钟”推向“天”级别的产品，并已开源。
白宫 AI 评估框架按时完成却秘而不宣，OpenAI、Anthropic、谷歌都没看到全文
美国政府按原定时间表完成了先进 AI 模型评估框架，但拒绝公布具体内容，连参与反馈的 OpenAI、Anthropic、谷歌都看不到全文。监管规则“只做不说”，给 AI 行业的合规前景蒙上一层不确定性。