行业动态
newscientist.com ·
@Jacob Aron
OpenAI 在 Navier-Stokes 证明中将数学错误翻译为代码
OpenAI 公布其 Navier-Stokes 问题的意外解法时，分别给出了面向人类的证明和面向计算机的代码版本，但两者并不一致。该报道指出其中存在数学到代码的翻译错误，具体影响与 OpenAI 的回应尚未在摘要中说明。
AI推荐理由 New Scientist 报道 OpenAI 宣称的 Navier-Stokes 问题解法中，面向人类的证明与面向计算机的代码版本不一致，属于对具体技术声明的可验证质疑，信息密度较高且涉及 AI 数学推理能力边界；但摘要未说明错误性质与 OpenAI 回应，结论仍需进一步证据。
78
评论 5
社区积分 56
正文
当前仅保存了标题或简介；并非所有来源都提供正文，可通过下方原文链接查看。