Astra 用 2000 美元解了十年数学难题，昨天刚说孩子该学数学，今天就来了反证
8 月 1 日，OpenAI 公布了一件让数学界集体沉默的事：它的下一代模型 Astra，用不到 2000 美元的计算成本，解决了十个至少十年没有进展的数学问题。每个问题都不大，但都卡了十年。证明用 Lean 4 形式化语言写就，发布在 GitHub 上，附一篇论文和一份由大模型自己生成的推理过程重...
OpenAI
16 篇文章
同一周的三种信念：十个月回本、3.5万亿债务与一份游说文件
这一周，AI行业同时发生了三件事，彼此没有直接关联，却像三条应力线，共同标定了一个产业的内部断层。
AI 的两本账：一本写着超越人类，一本写着 1.65 万亿
2026 年 7 月 21 日，AI 同时暴露了两件事。
“AI产业的三重炎症：基准通膨、标准转向与平台免疫”
7 月这一周，三个信号落在同一个窗口里，方向看上去相反，但指向同一个病灶。
苹果起诉 OpenAI：当人才流动变成了商业战争
苹果起诉了 OpenAI。罪名是窃取商业机密，用以开发 AI 硬件。
AI 的围墙在两边同时升起——中国限制外国模型，微软替换 OpenAI，同一天收网
7 月 8 日，两条消息，同一堵墙的两面。
Altman 让政府当股东——OpenAI 426 亿美元的赌注与 AI 行业的"找靠山"运动
OpenAI 向美国政府提议：拿 5% 的股份，按最新估值大约 426 亿美元。不是卖，不是融资，是让政府当股东。
Meta 派人假扮未成年人攻击 ChatGPT——AI 安全的另一种武器化
Meta 雇佣承包商假扮未成年人，向 ChatGPT 发送了数万条涉及自残、暴力和性内容的危机提示。目标是系统性测试 OpenAI 的安全防护边界。The Decoder 在 6 月 30 日报道了这件事。
祛魅之后，谁来买单
6 月 21 日，AI 产业收到了四条信号。它们来源不同、语气不同、指向的玩家不同——但放在一起看，它们不是在说"AI 会怎样"，而是在说"AI 正在从什么阶段进入什么阶段。"
工程师在哀叹、OpenAI 在变身、美欧在抢规则
6月8日有三条线，表面看毫不相关。
48小时从800亿到850亿：AI资本加速度、微软去OpenAI化与$1500的真实成本
三件事在同一天出现，但不是同一个级别。把它们放在一起看，才能理解2026年6月初的AI行业正在经历什么。
可靠性临界点：GPT-5.5背后的范式转移
OpenAI Post Training Frontiers的联名负责人Yann Dubois在The MAD Podcast的一小时深度访谈中，说了一句看似平淡但可能是今年AI领域最重要的话：
OpenAI 从比特到原子：Sam Altman 的机器人宣言与 AI 的第四次范式跨越
2026 年 6 月 2 日，Sam Altman 发了两条推文。这两条推文的战略重量，可能超过 OpenAI 过去半年的所有产品发布。
OpenAI 内部的怀疑与确信：GPT-5.5 如何从竞赛数学走向真实世界
2026 年 6 月 2 日，OpenAI Post Training Frontiers 联名负责人 Yann Dubois 在 The MAD Podcast 上做了一期 73 分钟的访谈。
Anthropic 秘密 IPO：当「AI 安全公司」需要向华尔街交季报
2026 年 6 月 1 日，Anthropic 向 SEC 秘密提交了 S-1 注册声明草案。同一天，佛罗里达州总检察长对 OpenAI 提起了 83 页的诉讼，指控其危害儿童安全。
三巨头IPO的"军备逻辑"：SpaceX 1.75万亿要上市、Anthropic 9650亿刚融完、OpenAI还在排队
2026年5月29日，你可能以为自己看到了三条互不相关的财经头条：