资讯
Drama swirls around OpenAI’s legendary mathematical milestone
📋总体概括
OpenAI宣称其AI模型在纳维-斯托克斯方程这一悬置约90年的千禧年数学难题上取得突破性进展，消息经纽约时报、Wired等主流媒体报道后引发巨大争议。数学界对结果的严谨性、验证方式及是否真正构成形式化证明提出质疑，业界则借此审视AI在基础科学研究中的真实能力边界，事件本身也成为AI宣传与学术审慎之间冲突的典型样本。
⚡关键信息
- ▸OpenAI在博客中宣布其AI找到纳维-斯托克斯问题的解，该难题悬置约90年，属千禧年七大数学难题之一
- ▸消息先由纽约时报与Wired报道，OpenAI随后官方发布，宣传节奏明显经过精心安排
- ▸数学界对此反应审慎，质疑AI结果是否经过严格同行评议与形式化验证
- ▸争议焦点在于：求出特例解、数值模拟与完整数学证明之间存在本质区别
- ▸事件折射出AI公司热衷以重大科学突破做品牌叙事，而学术共同体更看重可验证性
🔥犀利点评
这出戏的本质不是数学，而是营销。千禧年难题的证明需要形式化、可复现、经数学界逐行检验，而OpenAI选择先放风声给媒体再发博客，跳过了学术圈最看重的验证环节。即便AI真的辅助完成了关键推导，用「传奇里程碑」包装尚未被同行接纳的结果，透支的是公众信任。克雷研究所没点头之前，这故事请先当预告片看。
📰 相关资讯（与本文相关的其他资讯）
资讯Elroy Air’s Chaparral flies pilot-free under FAA oversight🔥9.0
DroneDJ·2026/9/8
资讯Industry pushes back: Public comments flood the FCC over proposed “military-grade” foreign drone ban🔥8.0
Drone Girl·2026/9/8
资讯Flying car developer PAL-V reaches key certification milestone with EASA🔥8.0
AeroTime·2026/9/7
公司Archer Launches ‘No Roads’ Flight Tour Ahead of LA28 and U.S. eVTOL Pilot Program🔥8.0
eVTOLInsights·2026/9/4
本文由本站自动聚合，以下为原始来源：前往 The Verge 阅读全文 →