RecodeX 重构消息，《科学美国人》最新追踪报道称，数学家深入研究OpenAI那份166页的纳维-斯托克斯方程证明后认为，其最终构造外力的方法与此前普遍认为的“西班牙路线”并不相同。瑞士洛桑联邦理工学院数学家Gonzalo Cao-Labora表示，深入细节后会发现这是一种不同的方法。

OpenAI在9月8日公布成果时曾称证明沿用了西班牙数学家的研究路线，但外部专家发现，其早期较小规模Agent团队完成的中间证明可能沿用该路线，而扩大到约1万个Agent的系统最终采用了另一套方法。报道由此判断，OpenAI并未真正理解自家模型给出的证明，数学界至今也尚未完全理解。

该证明同时生成了Lean形式化代码，可逐步检查推导是否成立，但形式逻辑成立与人类理解数学思想仍是两回事。OpenAI此前还公开了722篇数学手稿、涵盖372组研究成果，涉及霍奇猜想、BSD猜想等问题。