Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians assumed the answer was close to a square grid structure. An internal OpenAI model found a counterexample that disproves this.
GPT-next 破了 80 年数学难题！Trump 撤签 AI 令
5 月 21 日 AI 圈五条主线：OpenAI 通用推理模型推翻 Erdős 80 年数学猜想（费用不足 $1000）；Trump 临阵撤签 AI 行政令，担忧阻碍美国竞争力；Anthropic 首次收购 Fractional AI 启动企业咨询版图；微软 Copilot 大改组引入 Claude、$190B 资本支出；OpenAI 向日本政府提供 GPT-5.5-Cyber 网络安全专用模型。
5 月 21 日，AI 圈来了一个颇为罕见的组合：一个数学突破，两个政策摩擦，外加一场企业版图的悄然重排。
OpenAI 推翻了 80 年数学猜想
这件事值得单独说清楚。
1946 年，匈牙利数学家保罗·埃尔德什提出「平面单位距离猜想」——平面上 n 个点，两两距离恰好为 1 的点对，最多能有多少个？此后 80 年，学界普遍认为答案接近正方形网格结构。没有人成功证伪。
OpenAI 一个尚未发布的通用推理模型改变了这件事。1 它构造出了一个反例，打破了正方形网格是最优解的 80 年共识——借用代数数论的方法，先在高维空间构建大规模格结构，再投影回二维平面。整个推理过程约 125 页，消耗算力不足 $1000，运行时长不超过 32 小时。
コンテンツカードを読み込んでいます…
菲尔兹奖得主 Timothy Gowers 的评价是：这是 AI 首次清晰地解决一个知名的公开数学问题。2 剑桥大学的 Gowers 表示，如果这是人类提交给《数学年刊》的证明，他会毫不犹豫建议接收。布里斯托大学 Misha Rudnev 更直接：「这是我有生之年没想到能解决的问题，完全是爆炸性成果。」
研究者分析，人类数学家之所以 80 年没做到，是因为同时满足四个条件极难——一是愿意花大量时间研究这个猜想，二是敢于反向构造反例（埃尔德什本人一直认为猜想成立），三是相信向数域推广是值得花时间的方向，四是足够熟悉类域论。AI 不受「时间太贵」的约束，四条全满足了。
OpenAI 表示，该模型尚未向公众开放，未达到能力上限。看到反例后，普林斯顿数学家 Will Sawin 已经用同样方法得出了更优结果，进一步推进了该问题的边界。
Trump 撤签：「这份令可能成为阻碍」
特朗普本人给的理由很直白：「我们领先中国，领先所有国家，我不想做任何阻碍这一领先地位的事。我真的认为这份令可能会成为阻碍。」
该命令原本分两部分：一是建立自愿审查框架，要求前沿 AI 公司在模型公开发布前最多 90 天，提前向政府（NSA 负责分类红队测试）开放早期版本；二是加强政府系统抵御 AI 驱动网络攻击的能力。Anthropic、OpenAI 等头部公司都参与了起草讨论，但行业方面希望把审查窗口从 90 天压缩到 14 天。
命令的紧迫背景是 Anthropic Mythos：这个模型被证明能自主发现主流操作系统和浏览器的严重漏洞，Anthropic 至今仅向部分机构开放访问权限。副总统万斯此前公开表示过担忧。目前命令是否会修改后重新签署，白宫没有给出时间表。
Anthropic 首次收购：企业咨询版图启动
Anthropic 联合黑石（Blackstone）、Hellman & Friedman 搭建的企业 AI 服务合资公司，完成了第一笔收购——目标是旧金山的应用 AI 服务公司 Fractional AI。5
Fractional AI 由前 LiveRamp 团队于两年前创立，主要服务私募支持的中型企业，此前与 OpenAI 有 11 个月合作，收购完成后该合作将结束。这家合资公司的设计逻辑是：帮助中型企业把 Claude 落地进实际工作流程，参与方包括阿波罗全球管理、General Atlantic、GIC、红杉资本，预计承诺资金规模约 15 亿美元。6
Karpathy 刚入职 Anthropic 做预训练，咨询合资公司又完成首次收购——模型研发和商业落地同步按下加速键。
リンクプレビューを読み込んでいます…
微软 Copilot 的「失路」与重整
Fortune 发布长篇深度复盘，完整呈现了微软这两年在 AI 赛道上走了多少弯路，以及正在做什么重组。7
几个关键数字：微软 365 的 4.5 亿客户中，不到 4.5% 付费购买了 Copilot 功能；GitHub Copilot 先后被 Cursor 和 Claude Code 超越；M365 Copilot 付费用户目前 2000 万，但华尔街认为远不够。
重组方向是：合并消费端与企业端 Copilot 团队，引入 Claude 模型（微软向 Anthropic 投资最高 50 亿美元）不再绑定单一 OpenAI，Mustafa Suleyman 从消费 AI 产品转去做自研大模型，Nadella 本人每周直接参加 Copilot 站会。新的战略判断是「AI 模型终将商品化，价值集中在围绕模型的软件、安全、云层」——这是微软认为自己有优势的地方。
2026 财年计划资本支出 1900 亿美元，是 2024 年的三倍以上。Azure 收入 3 月同比增长 40%，整体 AI 业务年营收 370 亿美元，同比增长 123%。规模大，但 ChatGPT 的用户粘性仍是 Copilot 没抢到的东西。
リンクプレビューを読み込んでいます…
OpenAI 向日本政府提供网络安全 AI 模型
5 月 21 日，OpenAI 宣布将向日本政府及部分日本企业提供 GPT-5.5-Cyber，目标是保护关键基础设施。该模型已进入「有限预览」阶段，专为网络安全工作流程设计。8
OpenAI 董事会成员 Paul Nakasone（前美国网络司令部司令）在东京媒体吹风会表示，日方对 AI 驱动网络攻击的风险表达了高度关切。
这条消息和 Trump 撤签有同一个背景：Anthropic Mythos 让各国政府开始认真对待「AI 武器化」，OpenAI 选择日本作为网络安全 AI 的首个政府合作方，时机并非偶然。
このコンテンツについて、さらに観点や背景を補足しましょう。