2026年10月17日，OpenAI提交166页纳维-斯托克斯问题解决方案，但数学家指出其方法论与官方描述不符，且模型自身未完全理解证明逻辑。

多个专家团队审查后表示，该证明实际采用的方法与OpenAI公开说明存在显著差异。由于大语言模型的黑箱特性，核心思路来源难以追溯，166页文档中关键推导步骤缺乏可解释性支撑。

166页证明的方法论争议表明，大模型在数学推理任务中仍面临可解释性瓶颈，AI辅助数学证明的可靠性需进一步验证。

来源：权威科技媒体

软盟资讯 news.softunis.com 7×24小时AI快讯