OpenAI / ChatGPT

QConAI 2030 预测演讲：token 成本与 AI 未来趋势

Doubleword 联合创始人 Meryem Arik 在 QConAI 2030 上预测了 AI 行业未来趋势，涵盖 token 支出、基础设施、代理、监管和职业发展。她指出 token 成本已成为企业问题，并驳斥了 AI 实验室补贴 token 的说法，认为 token 价格将持续下降。她还预测了企业采用 AI 的速度和前沿模型改进的速度。

陶哲轩警告：AI抢答数学难题或阻碍数学发展

陶哲轩警告，AI快速解决数学难题可能阻碍数学发展，因为解题过程被黑盒化，掩盖了探索中的宝贵失败。他以纳维-斯托克斯方程为例，指出AI可能直接给出答案，但人类无法理解证明，使问题失去推动后续研究的意义。他还吐槽GPT-6在孪生素数猜想上的突破，认为问题被AI“污染”前，牛津数学家Julia Stadlmann的工作更值得关注。

Claude 11天完成费马大定理首个完整形式化证明

Anthropic宣布，其AI模型Claude在11天内完成了费马大定理的首个端到端形式化证明，生成了约1300万行Lean代码和超过3万个中间定理。该工作由姚班校友Tianyi Peng主导，使用了多Agent协作系统Prove2Me，最终证明经Lean验证与Mathlib中的陈述一致。这一成果表明AI可大幅加速数学文献的形式化进程。

另有 1 家信源报道

PydanticAI v2.40.0 发布：新增实时会话功能与多项修复

PydanticAI 发布 v2.40.0 版本，新增了后台更新价格、会话中的 barge-in 处理、事件监听器注册、RealtimeSession 的 respond 和 enqueue 方法等功能。同时修复了多个实时音频和流处理相关的 bug，包括 OpenAI Responses 流终止事件的 finish reason 映射、音频块类型检查、工具失

LangChain 发布 langchain-core 1.6.2 更新

LangChain 发布了 langchain-core 1.6.2 版本，主要更新包括支持 OpenAI 异步工具、修复 Google GenAI 和 Bedrock 标准内容中的变异问题，并升级了依赖库以增强安全性。

llama.cpp b10813 发布：新增 Adreno OpenCL SDPA 路径

llama.cpp 发布 b10813 版本，新增了针对 Adreno GPU 的 OpenCL xmem SDPA 路径，通过环境变量 GGML OPENCL XMEM SDPA 控制，并修复了数值误差优化 GQA/mask attention 的问题。该版本提供了适用于 macOS、Linux、Android、Windows 等多个平台的预编译二进制文件

微软称 Copilot 极少复制新闻内容，力证合理使用

微软在针对《纽约时报》等出版商和作者提起的版权诉讼中提交新法律文件，称其 Copilot 聊天机器人极少复制新闻或书籍的实质性内容。微软分析 820 万条聊天记录后发现，仅不到 1% 的记录包含至少 16 个与新闻内容相同的词，且只有极少数响应与书籍内容匹配。微软据此主张，使用受版权保护的材料训练 AI 模型属于合理使用，因为系统具有变革性目的。

谷歌 Gemini Spark 新增管理 Google Photos 图库功能

谷歌宣布其个人代理 Gemini Spark 现已能管理 Google Photos 图库，用户可通过自然语言指令执行编辑图片、创建共享相册、将演唱会传单转为日历日程等任务。该功能将在未来几周内向美国地区的 Gemini AI Pro 和 Ultra 订阅用户推出，国际市场的推出时间未定。此举是谷歌将 AI 融入消费者服务的最新尝试，但也被视为在 AI 行业

LangChain4j 1.20.0 发布：支持非阻塞响应式与 Jackson 3

LangChain4j 发布 1.20.0 和 1.20.0-beta30 版本，引入非阻塞/响应式支持，AI 服务方法可返回 CompletableFuture 或 Flow.Publisher 实现异步交互，并贯穿工具调用、记忆、护栏和检索全链路。同时新增 Jackson 3 可选支持，通过添加 langchain4j-jackson3 依赖即可切换 J

Simon Willison 发布 8 月赞助者通讯

Simon Willison 发布了 2026 年 8 月的赞助者专属月度通讯，内容包括 OpenAI 意外网络攻击的细节、使用 Fable 5 和 Sol 5.6 一次性通关 Raccoon Heist 游戏、Claude 自动模式、理解 ChatGPT Work 以及模型发布等。该通讯面向赞助者，每月 10 美元，可提前一个月获取内容。

雷鸟创新2026上半年五榜登顶，全品类销量领先

雷鸟创新（RayNeo）在2026年上半年包揽全球AR眼镜与中国智能眼镜市场出货量和销量第一，市场份额达24.8%，连续5个季度全球AR出货量第一。其产品雷鸟iO、GT系列等覆盖多赛道，并计划在IFA发布海外版，接入Gemini、ChatGPT等大模型，推动智能眼镜全球化。

AI生成菜单为何千篇一律且令人不适？

TechCrunch报道称，AI生成的餐厅菜单因训练数据狭窄且追求“讨喜”美学，导致食物图像呈现诡异完美、同质化的外观，引发顾客不适。专家指出，这源于模型对快餐连锁菜单风格的模仿和反复编辑导致的“收敛”现象，虽非模型崩溃，但会降低输出质量。研究显示，AI食物图像引发“恐怖谷”效应，加剧了公众反感，并引发对AI内容真实性及证据可信度的担忧。

Thinking Machines 洽谈 400 亿美元估值融资 10 亿美元

据 The Information 报道，由前 OpenAI CTO Mira Murati 创立的 AI 实验室 Thinking Machines 正在洽谈以至少 400 亿美元估值融资 10 亿美元，现有投资者 Accel 领投。该公司年化收入超过 1 亿美元，估值倍数极高。此前该公司曾寻求 500 亿美元估值，且其 20 亿美元种子轮融资曾创纪录。

Semantic Kernel .NET 1.80.1 发布：更新依赖并移除旧测试

Semantic Kernel 发布了 .NET 版本的 1.80.1 更新，主要包含版本号提升、SDK 更新至 10.0.303、移除已退役的 OpenAI Assistants 集成测试、更新 OpenAPI 依赖、修复测试竞态条件和拼写错误等。该版本旨在提升稳定性和兼容性。

Meta 付费获取用户数据：共享提示可享 95% 折扣

Meta 为其新的 Muse Spark 模型推出“贡献者”定价模式，用户若同意共享提示和模型输出以帮助训练未来模型，可享受约 95% 的折扣。此举旨在获取训练数据，此前 Meta 内部追踪员工电脑使用的计划因批评而暂停。专家认为，这种模式可能促使企业更谨慎地处理数据，并加剧前沿实验室之间的价格竞争。

英伟达129亿美元收购Hugging Face，掌控开源AI分发枢纽

英伟达计划以约129亿美元收购开源AI模型平台Hugging Face，承诺保持其开放和硬件中立。此举使英伟达掌控开源AI模型的主要分发中心，并新增计算销售渠道。英伟达CEO黄仁勋于2026年9月3日宣布该交易，预计2027年上半年完成，尚需监管批准。Hugging Face拥有超1800万开发者、300万个模型，英伟达希望通过该平台扩大其AI芯片生态影响力

英伟达确认以129亿美元收购Hugging Face

英伟达确认以129.3亿美元收购AI模型托管平台Hugging Face。Hugging Face拥有300万个模型、100万个应用和50万个数据集，服务超过1800万开发者。英伟达CEO黄仁勋表示，Hugging Face将继续作为开放平台，支持开源和开放权重模型，且不强制使用英伟达计算。此次收购旨在扩大开发者访问，并可能将英伟达的算力与Hugging F

另有 1 家信源报道

英伟达129亿美元收购Hugging Face，巩固AI生态

英伟达宣布以129.3亿美元收购开源AI平台Hugging Face，后者被称为“AI界的GitHub”，提供模型、数据集和工具的托管服务。此次收购旨在巩固英伟达在AI硬件领域的领导地位，应对OpenAI、Anthropic等闭源AI公司自研芯片的挑战。Hugging Face将保持开放，开发者可自由选择模型、框架和计算平台，英伟达计算并非必需。

另有 2 家信源报道

Legora 用 GPT-6 Astra 数分钟审阅 41 份文档

Legora 使用 GPT-6 Astra 在几分钟内审阅了 41 份文档，找出了全部四个预设错误，并在该财务审阅工作流中性能提升近 40%。

Meta 发布 Muse Spark 1.3，以低价策略逼近头部模型

Meta 发布了 Muse Spark 1.3，这是其五个月内的第四款模型，xhigh 版本现已可用，max 版本处于有限预览阶段。该模型在代理任务上表现提升，但整体仍落后于 Claude Fable 5.1 等顶尖模型。其定价为每个任务 0.55 美元，是同性能级别中最便宜的，且 Meta 表示将推出开放权重版本。