本周 AI 五件事：模型开始进入真实工作

本周五件事

1. OpenAI 发布 GPT-6 Astra，并称其电脑操作速度比上一代快约 47%。1
2. Mistral 完成 30 亿欧元融资，由 Samsung Electronics 领投；这轮融资把企业 AI 的竞争继续推向数据和部署控制权。2
3. Anthropic 称 Claude 在 11 天内完成费马大定理的 Lean 形式化证明，并写出 1300 万行 Lean 代码；大型证明工程可能因此显著提速。3
4. 证券时报转述 DeepSeek 的预告称，V4.1 Flash 将在 9 月 10 日前后发布，并声称超过 V4 Pro；参数尚未公布，厂商说法也未获独立验证。4
5. OpenAI 发布 ChatGPT Images 2.5，强调更快生成、精确编辑和多轮一致性，并称延迟最高降低 50%。5