夜雨聆风今日摘要
• GitHub Copilot 6/1 起按 Token 计费——开发者称月费 29→750 美元级跳涨(✧∀✧)
• OpenAI Codex Pro 2× 容量促销 5/31 结束，6/1 起 100 美元档有效额度减半
• Microsoft Build 6/2–3 旧金山：自研编码模型 + Windows Agent Runtime 成焦点
• Anthropic H 轮 650 亿美元、估值 9650 亿；SpaceX Colossus 约 30 万 GPU 即将接入
• DeepMind AlphaProof Nexus：353 道 Erdős 开放题自主证 9 道，单题推理成本数百美元
产品与功能更新
1. GitHub Copilot 计费切换 Token 制（TechCrunch 5/30）
Microsoft 宣布 6/1 起 GitHub Copilot 由「按请求」改为按 Token 用量计费。社区截图显示部分用户预估月费从约 29 美元 飙至 750 美元 甚至 3000 美元 量级；批评者指 Microsoft 曾鼓励「无节制 vibe coding」后突然涨价。支持者反驳称熟练开发者不应单日烧穿如此多 Token——「补贴时代」正式结束。
2. OpenAI Codex Pro 促销额度到期（OpenAI / aitoolsrecap 5/31）
Codex Pro（100 美元/月）上线初期的 2× 容量倍增促销于 5/31 结束，6/1 起有效推理/任务额度恢复标称值（除非 OpenAI 另行延期）。与 Copilot 同日「账单清算」叠加，编码 Agent 用户正集中评估 Claude Code、Cursor、自托管 OpenCode 等替代路由。
3. Microsoft Build 2026 前瞻：自研编码模型（The Information / Reuters 5/28）
Build 定于 6/2–3 旧金山 Fort Mason 举行，Satya Nadella 主题演讲 6/2 9:30 PT。路透转引 The Information 称 Microsoft 将发布含自研编码模型在内的 MAI 系列，意在降低对 OpenAI/Anthropic 的依赖并提振 GitHub Copilot；同期预期 Windows Agent Runtime、Agent Framework、多模型 Copilot 编排层 与 Azure Agent Mesh——股价报道日曾涨约 3%。
4. OpenAI Rosalind Biodefense 计划（OpenAI 官稿 / Axios 5/29）
OpenAI 推出 Rosalind Biodefense：向经 vetting 的开发者赞助 GPT-Rosalind 访问，并向精选美国联邦与盟友机构开放，用于流行病建模、早期检测、诊断与医疗对策研发。合作方包括 劳伦斯利弗莫尔、约翰霍普金斯 APL、CEPI 等；公司称已简报白宫与多个联邦机构——在特朗普政府推迟「前沿模型发布前审查」行政令后，生物安全领域或成企业自定规则的试验场。
5. Meta 测试 Meta AI 付费订阅（Ground News / it-daily 5/28）
Meta 于 2026 年 6 月在新加坡、危地马拉、玻利维亚等地试点 Meta AI 高级订阅，为其史上首次对核心 AI 助手收费；与 Instagram/Facebook/WhatsApp 订阅扩张同批推进。路线显示 Meta 正把 AI 从广告变现附属项转向独立 ARR 产品线，以对冲 Reality Labs 季度级亏损。
6. Google Gemini 3.5 Pro 定档 6 月 GA（Google 官稿 5/19）
I/O 2026 已全面上线 Gemini 3.5 Flash；Sundar Pichai 称 3.5 Pro 仍在内部测试与 Vertex 有限预览，「下个月」（即 6 月）向全员推出。预期承接原 Ultra 档的长上下文、深度推理与多模态任务——与传闻中的 GPT-5.6、Claude Sonnet 4.8 形成 6 月「模型撞车月」。
前沿研究
1. AlphaProof Nexus 自主攻克 Erdős 开放题（arXiv 2605.22763，DeepMind 5/21）
Google DeepMind 论文称 AlphaProof Nexus 在 353 道形式化 Erdős 开放题中自主证明 9 道（含开放 56 年者），并证明 OEIS 492 条猜想中的 44 条；单题推理成本「数百美元」量级。证明经 Lean 4.27 机器核验，google-deepmind/alphaproof-nexus-results 已公开形式化与自然语言双版本——标志 LLM+形式验证 从竞赛数学迈向真实研究问题。
2. 面壁 ForgeTrain：AI 编写预训练框架（量子位 5 月 / OpenBMB）
面壁智能发布由 AI 端到端生成的生产级预训练框架 ForgeTrain，并用其训练 MiniCPM5-1B（1B 参数、FP16 约 2GB）。官方称同硬件下训练速度较 Megatron 快约 10%，昇腾路径亦有约 10% 加速；提出 Forge Engineering（Harness 自动迭代）与 L3–L4「AI 造 AI」 分级——国产算力软件生态或借 AI 写代码 缩短追赶周期。
3. 何恺明团队 ELF 连续扩散语言模型（量子位 5 月 / arXiv 2605.10938）
ELF（Embedded Language Flows） 在连续 embedding 空间完成扩散生成，末步再离散化为 token。105M 参数、45B 训练 token、32 步采样，在 OpenWebText 上生成困惑度压至 24——训练数据约为同级别扩散模型的 1/10 量级，并在 WMT14、XSum 等任务上超过多种自回归与扩散基线，展示「质量–速度–成本」三角的新帕累托点。
4. HybridQuestion：AI 与人类协作识别高影响科研问题（arXiv 2602.03849）
团队用 LLM 加速文献合成 + 多阶段协作投票，回溯 2025 十大科学突破并前瞻 2026 十大科学问题。AI Agent 在回顾性成就识别上与人类专家高度一致，但在前瞻性、价值驱动议题上分歧显著——提示「AI 科学家」适合事实锚定型任务，主观前沿判断仍需人类守门。
行业展望与社会影响
1. Anthropic 650 亿美元 H 轮、估值 9650 亿美元（Reuters / 财新 5/28–29）
Anthropic 5/28 关闭 650 亿美元 Series H，投后 9650 亿美元，超越 OpenAI 3 月 8520 亿美元 纪录；年化营收 run rate 约 470 亿美元（5 月初约 300 亿）。公司与 Amazon（最高 5GW）、Google/Broadcom（5GW）、SpaceX（Colossus 1/2 GPU） 等签算力协议；Micron、Samsung、SK Hynix 亦入局本轮——IPO 时间窗口或提前至 2026 年内。
2. 「AI 精神病」辩论升温（TechCrunch 5/31）
Box 创始人 Aaron Levie 在 X 称 CEO 因远离「最后一公里」工作而「 uniquely prone to AI psychosis」——需亲自大量使用 AI 才能理解边界。TechCrunch Equity 播客将其与 2026 年前 5 个月 11 万+ 科技 layoff（接近 2025 全年）、ClickUp 裁 22% 并部署 3000 个内部 Agent 等案例并读：高管 AI 叙事与一线体感裂痕正在扩大。
3. DuckDuckGo 安装量 +30%（TechCrunch 5/31）
DuckDuckGo 称在 Google 强化 AI Mode 搜索后，安装量跳涨约 30%——用户以「用脚投票」拒绝默认 AI 摘要改写经典「十条蓝链」体验。评论指 2026 搜索市场出现明确「反 AI 原生」细分赛道，对依赖 SEO+AI Overviews 的内容站与广告模型构成长期分流压力。
4. 开源权重模型「去护栏」工具泛滥（NPR 5/31）
NPR 报道 Hugging Face 上 abliterated（移除安全对齐）模型已从 2024 约 600 个增至 6000+，Heretic 等工具可在数分钟内自动化去护栏。英国政府委托的 International AI Safety Report 称开放权重能力约落后闭源旗舰 1 年以内——但在网络安全等场景，攻击者低成本获得「永不拒绝」模型仍令防御方承压。
5. 五角大楼推进战场 AI 引军方谨慎声音（ABC News 5/31）
在 Hegseth 推动军用 AI 加速、与 Anthropic 因安全红线冲突并转向 OpenAI/Google/SpaceX 之际，SOCOM 司令 Bryan F. Bradley 等高级将领公开强调需保留人工监督与误伤防护。Helen Toner 等观察者指出：指挥官既要「规模化杀伤效应」，也要避免友军误击与平民伤亡——AI 靶场识别 的「功能可用」≠「伦理可部署」。
开源TOP项目
（⭐ 数为 GitHub API 查询所得，实时以仓库首页为准；查询日 2026‑06‑01）
1. agentmemory
链接：https://github.com/rohitg00/agentmemory
（⭐ 20 198）面向 Agent 的跨会话记忆层：5 月 周榜 +5687 星，解决「每次对话从零开始」的生产痛点；常与 LangGraph、CrewAI 等编排栈组合，把用户偏好、任务上下文持久化到可检索存储，代表 2026「Agent 基础设施 > 更大模型」趋势。
2. 12-factor-agents
链接：https://github.com/humanlayer/12-factor-agents
（⭐ 22 878）HumanLayer 维护的「十二因子 Agent」工程指南 + 参考实现：强调可观测、可恢复、人机协同中断与部署边界；5 月 持续合并，被社区当作把 Demo Agent 推向生产的 checklist，与 Cisco 多轮 ASR 等安全讨论同频。
3. bumblebee
链接：https://github.com/PerplexityAI/bumblebee
（⭐ 4 042）Perplexity 官方开源的供应链安全扫描器，检测 AI/ML 依赖与模型制品中的已知风险；5 月 首次进入 trending——标志头部 AI 公司从「只卖模型」扩展到开发者安全工具链，适合在引入第三方 Agent Skills 前做 CI 门禁。
4. ForgeTrain
链接：https://github.com/OpenBMB/ForgeTrain
（⭐ 198）OpenBMB / 面壁 发布的、据称由 AI 自动编写并对齐 Megatron 的预训练框架（5/26 上线）；配合 MiniCPM5-1B 验证 10% 级训练加速。星标尚少但工程叙事新——「Harness 里 AI 写训练代码」或成国产算力软件弯道超车样本，值得跟踪后续 commit 与昇腾/NVIDIA 双路径 benchmark。
社媒分享
1. Copilot「从 29 到 750 美元」截图战（Reddit / TechCrunch 5/30 起）
开发者贴出 6/1 新计费预估：29→750 美元/月 与 50→3000 美元 极端案例刷屏；反驳派称「不会 vibe code 就别怪账单」。高赞评论：Microsoft 才是唯一该背锅的一方——「他们建造并鼓励了烧 Token 的产品形态，现在收网。」
2. Aaron Levie「AI 精神病」与 layoff 数字（X / TechCrunch 5/27–31）
Levie 原话：CEO 离最后一公里太远却相信 PPT 效率。Equity 播客补充 2026 年前 5 个月 11 万+ 科技裁员、ClickUp 裁 22% 换 3000 Agent——社媒口诀：「两个真相同时成立：AI 真在用，人也在真被裁。」
3. 「This is fine」梗图和解（TechCrunch 5/31）
漫画家 KC Green 与 AI 销售助手初创 Artisan 就挪用「My pipeline is on fire」地铁广告达成和解：Artisan 撤下纽约/旧金山侵权素材，Green 删除最初控诉帖。事件成 2026「 meme 作者 vs AI 营销」短期维权样本——也折射 Agent BDR 获客创意撞版权红线的高频风险。
4. DuckDuckGo「我们就是反 AI 搜索」（TechCrunch 评论 5/31）
