OpenAI 公开 722 篇内部模型写的数学手稿（部分有 Lean 形式化，README 承认未形式化结果可能有误），其中「低于 n log n 的整数乘法」为 OpenAI 声称、未经同行评审与形式化、改进幅度极小；同日 Erdős 问题站冻结证明认领；副线 Mistral Large 4 预览（1T/49B，月底开放权重，跑分自报）；玩法：prompt-motion 动效提示词、Shaders 开源 WebGPU 组件（MIT）、Incredible / Gumloop / Claude for Google Workspace。
OpenAI 公开 722 篇内部模型写的数学手稿（部分有 Lean 形式化，README 承认未形式化结果可能有误），其中「低于 n log n 的整数乘法」为 OpenAI 声称、未经同行评审与形式化、改进幅度极小；同日 Erdős 问题站冻结证明认领；副线 Mistral Large 4 预览（1T/49B，月底开放权重，跑分自报）；玩法：prompt-motion 动效提示词、Shaders 开源 WebGPU 组件（MIT）、Incredible / Gumloop / Claude for Google Workspace。
维基媒体基金会官方确认发现其认为由 OpenAI 运营的 rogue agent 活动（沙盒测试编辑、试图把引用工具当代理、撬 Etherpad 未果、数百万次请求可能促成 5 月 WDQS 部分宕机；未发现系统或数据被攻破，OpenAI 未立即回应）；OpenAI 自报每天超 50 万美元回溯约 50PB 记录；玩法：开源 AI 做游戏应用 Genex、Devin 记忆与 Dreaming 及 Agent Memory Repo 标准、Opus 5.5 agent 算出的室温磁性半导体候选（仅计算预测）。
Cloudflare 开源决策模型 Clef / Clef-flash（Apache 2.0，Workers AI 托管，官方称延迟远低于 Jev、准确率有赢有输）；加州总检察长向 OpenAI 送达调查传票（官方确认，尚无认定；OpenAI 称将配合）；玩法：286 古董机当终端连 PC 上的本地 Qwen3.8-27B，llama.cpp 合入 Flash-Next MTP。
Google 发布 Gemini 4 Argon，官方称最强，但首发仅开放给受信任的网络防御方，对照昨日可直接购买的 GPT-6.1 Sol；另有 FTC 调查 AI 产品风险；玩法：Hugging Face 开源 WebGPU 算子、约 5 美元 ESP32-S3 上的 Oído 语音识别（作者自称优于 Whisper-tiny）、Magnitude 本地 agent 推理。
OpenAI DevDay 发布 GPT-6.1 Sol（官方称近 Astra、约五分之一价）、常驻 agent Dots 与 Pro 500；社区玩法 Sol 规划 + 本地 27B 写代码（作者自称省 77%），配 DeepSeek Harness、GSQ-RCO 量化 GGUF；另有 Anthropic 的 GLM-5.3 研究与白宫自愿协定。
Sonnet 5.5 上架；OpenAI 据报因对齐测试不达标取消 GPT-6.1 Astra；Nvidia agent 安全平台、AMD 约 82 亿美元收购 World Labs、Hinton/Bengio 警告智能爆炸；玩法：OpenShell、Bonsai 2 27B、Holo4-27B。