📖 AI 总结

OpenAI 宣布其模型对纳维-斯托克斯问题给出了证明，并分别生成了面向人类的数学证明和面向计算机的代码版本，但两者并不一致。文章指出，问题出在将数学内容翻译为代码的环节：面向计算机的版本存在转译错误，导致其与人类可读的证明无法对应。这意味着该“证明”在形式化验证层面并不可靠，也暴露出当前 AI 在数学推理与代码生成之间转换时可能引入偏差。此事的意义在于提醒人们，AI 辅助数学成果需要经过严格的人工与机器双重核验，不能仅凭自然语言证明或代码输出就认定结论成立。