主要来源SuperTechFans
查看原文事件专题 ·多源确认
OpenAI解决纳维-斯托克斯方程
OpenAI发布论文证明纳维-斯托克斯方程存在有限时间奇点，使用约1万智能体耗时88小时完成Lean形式化验证。该成果基于比GPT-6 Astra更强大的内部模型，展示了AI在数学前沿的突破性进展。陶哲轩指出AI正不可再生地开采开放数学问题，可能导致有价值问题稀缺。
当前结论
OpenAI用1万智能体解决千年数学难题，88小时完成形式化验证，陶哲轩警告AI改变数学研究生态。
11 个信源73° AI 热度最后更新 2026/9/9 22:57:08
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。