RecodeX 重构消息，10月6日发布的一篇论文指出，OpenAI用于验证纳维-斯托克斯问题证明的Lean代码与其英文证明内容不一致。作者Alexander Bastounis、Fabian Circelli与Anders Hansen在文中提出这一差异，对OpenAI于9月8日公布的成果提出质疑。