OpenAI称AI攻克纳维-斯托克斯难题遭质疑
发生了什么
据DoNews·快讯报道,OpenAI于2026年9月8日宣布AI系统在88小时内完成纳维-斯托克斯方程证明并发布Lean验证版。多国数学家质疑其未遵循主流路径且未解决核心问题,批评智能体贡献率不足10%,目前全球数学界仍在审查中。
- 证明耗时
- 88小时
- 验证版本页数
- 166
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
- DoNews·快讯自动改写/传播记录
OpenAI称AI攻克纳维-斯托克斯难题,数学界质疑证明有效性
来源关系与证据边界
按已记录的来源角色展示;连线仅表示原生身份流程确认的同稿入口,不表示独立佐证或跨报道引用。
- 来源报道1 个发布入口