📝 #1
OpenAI 模型推翻离散几何中心猜想
Hacker News 头条 (565 票)。OpenAI 宣布其 AI 模型在离散几何中推翻了一个长期存在的核心猜想。文章详细介绍了 AI 如何通过自动定理证明和反例搜索发现传统数学家 30 年来未找到的突破。OpenAI 强调这是一个"AI 辅助数学研究"的里程碑案例，而非 AGI 突破。引发学术界关于 AI 在数学研究中角色的新一轮讨论。
📝 #2
GitHub 确认 3,800+ 仓库因恶意 VSCode 扩展被入侵
Hacker News 热门 (565 票)。BleepingComputer 报道 GitHub 安全团队确认超过 3,800 个仓库因恶意 VSCode 扩展而遭到入侵。攻击链：恶意扩展伪装成常用工具 → 窃取开发者 GitHub Token → 批量注入恶意代码到多个仓库。GitHub 已撤销受影响的 Token 并发布安全公告。建议所有开发者检查已安装的 VSCode 扩展列表，只从官方 Marketplace 安装并启用两步验证 (2FA)。
📝 #3
facebookresearch/vggt-omega — CVPR 2026 Oral：3D 视觉 Transformer
Meta FAIR 团队 (Facebook Research) 的 CVPR 2026 Oral 论文开源项目，1,358 star、42 forks。VGGT Omega 是视频几何引导 Transformer，能从单目视频中高效恢复 3D 场景结构和相机位姿。相比传统方法显著减少计算量同时保持高精度。Python 实现，适合 3D 视觉、SLAM、AR/VR 领域的研究者和工程师。
📝 #4
科罗拉多州修订 SB051 法案：排除开源项目（Age Verification 法案）
Hacker News 热门 (139 票)。美国科罗拉多州对 SB051 法案（年龄验证法案）进行修订，明确将开源项目排除在适用范围之外。此前该法案因可能要求所有在线服务进行年龄验证而受到开源社区的强烈反对——如果通过，GitHub Pages、个人博客等都可能面临合规压力。修订案是开源社区游说和维权的一个标志性胜利。
今天的精选透出几个明确方向。
第一，AI Agent 工具链进入加速标准化阶段。vercel-labs/zerolang 是"Agent 编程语言"的尝试，DenisSergeevitch/agents-best-practices 是"Agent 技能规范"的探索，smallcode 是"小模型驱动 Agent"的实践——三者从语言层、架构层、资源层分别定义了 Agent 开发的三个维度。2026 年 5 月的 obsidian/helm/clawpatch 这些 Agent 工具的井喷，说明开发者社区正在用"涌现"的方式定义 Agent 最佳实践，而非等待某个大厂发标准。
第二，安全事件密度在上升。GitHub 3,800+ 仓库因恶意 VSCode 扩展被入侵，比特沃登翻倍涨价被吐槽，科罗拉多州 SB051 法案——开发者环境的安全威胁不再只是软件漏洞，从 IDE 扩展到法律层面。auto-identity-remove 这类隐私工具走红也说明个人数据保护意识在觉醒。
第三，从"做大模型"到"用大模型"的时代切换。OpenAI 模型推翻数学猜想、MiniMind-o 从零训练全模态模型、facebookresearch/vggt-omega 的 CVPR 2026 Oral——三个方向正好代表 AI 的三种身份：科研工具、个人学习项目、前沿视觉技术。5 月的技术圈不再是"大模型军备竞赛"的单一叙事，而是 AI 能力在多领域的渗透。
另外值得注意的是，DeepSeek 正在组建编程智能体团队（Harness 团队），将对标 Claude Code 和 Codex。这意味着 2026 下半年的 AI 编程工具格局可能从"中美各玩各的"变为短兵相接的竞争。