今天的 AI 动态聚焦于 OpenAI 生成数学证明引发的可读性与同行评议争议，以及《State of AI Report 2026》对行业收入、电力瓶颈和安全问题的年度盘点。AI 产出的成果正在快速增加，但如何理解、验证并负责任地使用这些成果，仍是业界需要面对的核心问题。

行业动态

State of AI Report 2026 速读：AI 加速 AI、千亿收入、电力瓶颈与安全
来源：X：indigo (@indigox)｜今天下午 13:26｜查看原文

Nathan Benaich（Air Street Capital）发布第九份年度 State of AI Report 2026，报告覆盖研究、产业、政治、安全和预测五个部分，并提到 AI 反过来加速 AI、行业收入增长、电力供应瓶颈与安全挑战等关键议题。报告 PDF

技巧与观点

MIT 教授谈 OpenAI 模型解 Navier-Stokes 反例：人类读不懂的证明来了
来源：X：Saito 硬地骇客 (@SaitoWu)｜今天晚上 21:56｜查看原文

MIT 工程教育副院长 Justin Solomon 在播客中谈到，OpenAI 模型上个月给出了 Navier-Stokes 解失效的反例证明，但他和《Odd Lots》主持人甚至无法读完证明的第二页。这起事件凸显了 AI 数学推理成果在可解释性、复核和人类理解之间的落差。

OpenAI 一次性发布 700 多份数学手稿，数学家们反应震惊与反感
来源：The Decoder：AI News（RSS）｜今天晚上 21:03｜查看原文

OpenAI 于 2026 年 10 月 6 日在 GitHub 一次性发布 700 多份手稿，声称解决数百个未解数学问题。数学博客 Proofs and Prompts 收集了 100 多位研究者的回应，相关讨论集中在成果的可验证性、发布方式，以及 AI 是否正在改变数学研究的评价标准。

今日关键词： OpenAI、数学证明、Navier-Stokes、State of AI Report 2026、AI 安全、电力瓶颈