AI 日报：破解 80 年数学难题，OpenAI 启动 IPO 进程 | 2026-05-23

AI 行业日报 · 2026.05.23

AI 实现原创数学证明 资本与监管同步布局

▸ 🔬OpenAI 推翻 Erdős 80 年猜想

▸ 🔬Mythos 单月发现 1 万 + 高危 0day

▸ 💰OpenAI 确认提交 IPO 招股书

▸ 🌐白宫拨款 90 亿为情报机构采购 AI 芯片

▸ 🔧codegraph 登顶 GitHub 增速榜首

周六的 AI 领域波澜起伏。一方面，OpenAI 的一款通用推理模型自主推翻了困扰数学界长达 80 年的 Erdős 单位距离猜想，并经由外部数学家逐层验证；另一方面，资本运作与监管动作同日落地——OpenAI 正式确认递交 IPO 申请文件、白宫批准 90 亿美元预算用于情报机构补充 AI 算力、NSA 与 Anthropic 签署机密合作协议。

以下是今日值得您花三分钟阅读的 6 条资讯，每条均附带简短研究点评。

🔬 研究突破 · OpenAI

① AI 自主推翻 Erdős 80 年单位距离猜想

OpenAI 表示，其一款通用推理模型（非数学专用、未针对该问题构建脚手架）自主生成了原创性证明，推翻了 Paul Erdős 于 1946 年提出的平面"单位距离问题"中的一条长期猜想，提供了一组无穷示例并实现了多项式级的改进。该模型未沿用传统几何技巧，而是将问题引向了代数数论。这是首次有著名公开难题被通用 AI 独立解决，相关证明已由外部数学家复核并配套发表研究论文——这明显是对 2025 年 10 月那次后被证伪的数学声明的回应。

▌点评核心在于"通用"与"自主"。以往 AI 在数学领域的成就多依赖专用系统或人工辅助，此次通用模型自行构建了"几何→数论"的非显而易见桥梁——标志着从"解题工具"向"能产生原创思路的合作伙伴"的跨越。但需保持理性：单点突破不代表具备普遍能力，外部复核与配套论文才是此次可信度的真正基石。

🔬 网络安全 · Anthropic

② Mythos 单月挖掘 1 万 + 高危/严重 0day

Anthropic 披露，自 Project Glasswing 启动以来，其与约 50 家关键行业伙伴利用 Claude Mythos Preview，在全球最具系统重要性的软件中发现了超过 1 万个高危或严重级别漏洞。典型案例：Mythos 全自主识别并利用了一个存在于 FreeBSD 中长达 17 年、可导致 NFS 主机被获取 root 权限的远程代码执行漏洞——从首次发出"查找漏洞"指令到发现并利用完毕，全程无需人工干预。参与伙伴包括 AWS、Apple、博通、思科、CrowdStrike、Google、摩根大通、Linux 基金会、微软、英伟达、Palo Alto Networks。

▌点评这是"攻防同源"最犀利的演示：同一项能力赋予防御者是前所未有的扫雷工具，若落入攻击者手中则变为自动化武器。Anthropic 采取限量发布并拉拢关键基础设施合作伙伴的策略，本质上是"让防御跑在攻击前面"的竞赛。一旦"1 万"这个数字得到证实，等于公开承认全球关键软件中堆积着海量未知 0day 漏洞——这正是白宫与 NSA 近期一系列动作的真实压力来源。