AI 攻破数学安全却在退步
2026.05.23 — 05.24
头条
OpenAI 推理模型攻克 80 年未解 Erdos 猜想,9 位顶级数学家联合验证
OpenAI 官方博客与 arXiv 联合发布:内部通用推理模型独立推翻了 1946 年提出的平面单位距离猜想,125 页证明借用代数数论的类域塔与 Golod-Shafarevich 理论——未经过专门训练,未检索外部答案。
Princeton Sawin 精炼后得出改进指数 delta = 0.014
arXiv 2605.20579v1,九位数学家共同署名验证
特朗普取消 AI 安全行政令——马斯克、扎克伯格同日致电游说
白宫原计划要求前沿 AI 模型上线前接受 90 天安全审查。三位科技领袖同日致电后,行政令被取消。特朗普原话:「我不想做任何阻碍我们领先的事。」
安全警报
史上最大 GitHub 供应链攻击:3800 个内部仓库被盗,含微软和 OpenAI
TeamPCP 通过 VS Code Marketplace 上一个仅存活 18 分钟的恶意扩展,入侵微软、OpenAI、Mistral AI 和欧盟委员会等机构仓库。目标包括 Claude Code 配置、AWS 密钥和 npm 凭证。
大厂与资本
Anthropic Jack Clark 牛津演讲:2028 年底前 60%+ 概率「智能爆炸」
12 个月内诺贝尔级 AI 科学发现,18 个月内 AI 运营公司产生百万收入,2028 年底前 AI 完全自主训练下一代模型。同时承认存在非零概率灭绝风险。
NVIDIA Jim Fan 宣布「VLA 已死」:世界行动模型 WAM 时代到来
红杉 AI Ascent 大会上,NVIDIA 高级科学家提出新范式——从互联网级人类第一人称视频中学习,仅 4 小时遥操作数据即发现灵巧度的神经标度律。
Meta 裁员 8000 人,同步用员工数据训练 AI
泄露音频显示其 MCI 计划持续追踪员工 Gmail、VS Code 和 Metamate 活动用于 AI 训练。All in AI 的激进代价。
白宫批准 90 亿美元机密 AI 资金,情报系统全速 AI 化
面向 CIA、NSA 等机构的机密拨款,用于采购先进 AI 芯片和基础设施。配合安全审查取消的决策——美国正在 AI 军备竞赛中全速前进。
本周信号
这 48 小时里,AI 同时冲刺两个方向:能力往前跑出了数学证明,安全往后退掉了行政审查。GitHub 供应链攻击提醒我们,地基还没打牢,楼已经盖到了天上。这不是矛盾,这是焦虑的根源。
一句话
AI 正在用数学证明自己无所不能,同时用安全漏洞提醒我们——它还不是。
参考文献
[1] OpenAI Blog / arXiv 2605.20579v1 — Model Disproves Erdos Discrete Geometry Conjecture (2026-05-24)
[2] 亚洲日报 — Trump cancels AI safety executive order after tech CEOs lobbying (2026-05-23)
[3] BuildFastWithAI — Jack Clark Oxford lecture: 60%+ intelligence explosion by 2028 (2026-05-23)
[4] BuildFastWithAI — TeamPCP GitHub supply chain attack: 3800 repos, CVSS 9.6, CVE-2026-45321
[5] 36Kr / Daft AI — NVIDIA Jim Fan: VLA is dead, WAM +33% zero-shot improvement
[6] BuildFastWithAI — Meta fires 8,000, MCI program trained AI on employee data
[7] Moneycontrol — White House approves secret $9B AI fund for intelligence agencies
AI Weekly · Vol.23 · 2026年5月24日
夜雨聆风