RecodeX 重构消息,OpenAI此前宣布给出纳维-斯托克斯问题的意外解法,并分别提供了面向人类阅读的证明和面向计算机验证的证明。但最新披露指出,这两份证明并不匹配,原因是OpenAI在将数学内容翻译为代码时出现错误。