AI 攻克数学难题，安全防线却后撤 | AI周刊 Vol.23

2026.05.23 — 05.24

头条

OpenAI 官网联合 arXiv 宣布：内部通用推理模型独立证伪了 1946 年的平面单位距离猜想，其 125 页的证明依据代数数论的类域塔及 Golod-Shafarevich 理论——该过程未经过专门训练，也未检索外部答案。

经 Princeton Sawin 优化后，改进指数 delta 被修正为 0.014

九位数学家在 arXiv 2605.20579v1 上共同署名予以验证

白宫原定要求前沿 AI 模型上线前进行 90 天安全审查。但在三位科技巨头同日致电后，该行政令被撤销。特朗普直言：「我不想做任何阻碍我们领先的事情。」

安全警报

TeamPCP 利用 VS Code Marketplace 上一个仅存活 18 分钟的恶意插件，攻陷了微软、OpenAI、Mistral AI 及欧盟委员会等机构的代码仓库。攻击目标涉及 Claude Code 配置、AWS 密钥及 npm 凭证。

大厂与资本

预测在 12 个月内实现诺贝尔级 AI 科学发现，18 个月内 AI 运营公司实现百万收入，2028 年底前 AI 将完全自主训练下一代模型。同时，也承认了非零概率的灭绝风险。

在红杉 AI Ascent 大会上，NVIDIA 高级科学家提出新范式——通过互联网级人类第一人称视频学习，仅用 4 小时遥操作数据便发现了灵巧度的神经标度律。

泄露的音频显示，其 MCI 计划持续监控员工 Gmail、VS Code 和 Metamate 活动以用于 AI 训练。这是 All in 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日