飞飞的AI实验室

Mistral 9 月 8 日完成 30 亿欧元 D 轮、投后估值超 210 亿欧元，创欧洲科技公司股权融资纪录，三星领投；成立三年估值一年近翻倍，但官方宣传重心已从开源旗手换成主权 AI，叙事身份正在切换。

最高法 9 月 7 日发布《关于依法审理涉人工智能纠纷案件的意见》，5 部分 24 条，首部国家级涉 AI 司法裁判规则文件，明确换脸拟声、网络开盒、杀熟、仿冒带货、自动驾驶的判法，开发者的 AIGC 生成内容在射程内。

OpenAI 给 Astra 发布官方提示词指南，slop 词黑名单与我自建的防 AI 味 grep 矩阵独立收敛出同一条禁令。照官方建议审计自家配置：词表过关、AGENTS.md 缺反问阈值等三条条款、96 万字符规则库是最大兼容风险。

OpenAI 9月6日同日发两篇长文：内部报告披露每 1 个人工日配 3.1 个 agent 工作日、2028 年 3 月冲自动化研究员；首席科学家同日承认没有实验室把对齐监控解决到能继续全速扩展。油门刹车装在同一辆车上。

路透报 Anthropic IPO 推迟至最早 10 月中旬路演、或 11 月中期选举前挂牌，市场押 2 万亿估值。对 6 月旧文逐条对账，时间表方向对、SpaceX 预判命中，最大意外是盈利口径变了。

Anthropic 发布首个机器验证的费马大定理证明，Claude 11 天大体自主写出 1300 万行 Lean 代码、证明 29500 个定理，关键在 Lean 编译器当裁判，验证门越硬 agent 跑得越远。

xAI 9月3日发布 Grok Bot 设计文章，把产品主对象从会话换成有记忆和云电脑的 Bot，用户研究显示人盯 agent 图的是安心而非过程数据，界面用状态、预览、接管三级访问替用户分担盯梢。

英伟达以129.3亿美元收购Hugging Face，预计2027上半年交割。开放平台攒了十几年的中立信任，换东家后变成一家公司的商业承诺，开发者要盯非NVIDIA后端支持、站内推荐与联创去留。

GPT-6 Astra 成为首个踩到 OpenAI 网络安全危急档的模型，发布前几天官方自查不能排除踩线、暂停内部活动、加强管控后自行放行。上次按住它的是政府，这次是 OpenAI 自己，而它的思考过程也更难看清。

Fable 5.1 比 Fable 5 更强，可独立评测说它 max 档每任务约 3.76 美元、贵 20%，官网却说缓存降 45%：都对，按你的活算。更强的模型输出 token 更多，我也更怕它藏着、更难盯。