资讯
88小时vs90年，当AI暴力给出答案，人类研究是否还有意义？
📋总体概括
OpenAI宣称用大规模AI协作在约88小时内得到纳维-斯托克斯难题的证明，该项目发布于Astra之后第五天，引发围绕结果真实性、两位数学家署名归属与研究数据开放的争议。这一事件把克雷千禧年难题悬置90年无人攻克的历程与AI暴力求解的效率形成刺眼对照，核心追问是：科学需要的究竟是答案，还是通向答案的理解，以及科学界将如何面对AI驱动的激进研究范式。
⚡关键信息
- ▸OpenAI宣称通过大规模AI协作得到纳维-斯托克斯难题证明，耗时约88小时，发布于Astra之后第五天即9月8日前后
- ▸纳维-斯托克斯方程是克雷千禧年七大难题之一，悬置约90年无人给出完整证明
- ▸解题过程涉及两位数学家，围绕署名归属产生争议，OpenAI被指未充分开放研究数据
- ▸争议焦点不在答案本身，而在AI求解缺乏可理解的推导路径，冲击数学界对「证明」的定义
- ▸事件折射OpenAI在AI竞赛压力下的科学激进主义，科学界被迫重新面对AI角色
🔥犀利点评
88小时对90年，数字很燃，但这恰恰是事件最可疑的地方。数学证明的价值从来不只是结论，而是那条可被同行检验、能繁殖新知识的路径。OpenAI若不能公开完整推导和数据，所谓「证明」更像一场配合产品发布的营销烟花——Astra后五天精准放出，时间点聪明得过分。署名争议更是照出AI时代科研伦理的裸奔：数学家的贡献成了大厂叙事的注脚。科学界真正该警惕的不是AI解题太快，而是答案先于理解、叙事先于验证的坏先例。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 虎嗅 阅读全文 →