OpenAI宣称用未公开的下一代大模型攻克了纳维-斯托克斯方程的存在性与光滑性问题，但数学家陶哲轩随即警告，从数学整体进步角度看，此类成果可能是净负面的。
陶哲轩指出，纯数学问题的真正价值往往不在答案本身，而在求解过程中催生的新方法、新工具和新理论；若问题被AI以黑箱方式过早解决，人类将失去通过思考获得新理解的机会。
以此次为例，OpenAI虽公开了证明和Lean代码，但270万条Agent消息和1300亿token的内部推理过程并未披露，人们知道结果却不知AI如何想到证明。
陶哲轩强调更理想的路径是开放的人机协作，并澄清截至9月3日纳维-斯托克斯问题并无重大突破。