北京
IT时代网10月10日消息，据Chosun报道，OpenAI此前公布的人工智能数学成果仍在发酵。一方面，其解法是否经过妥当验证引发争议；另一方面，该公司另外三份数学草稿因计算错误被撤回。
数学界对一道难题的解法给予认可，通常需要经过同行评审，以确认逻辑成立且可被理解，由提出方解释逻辑并接受检验。即便是由人工智能生成的解法，同样绕不开这一环节，当前的争议正集中在验证与解释过程上。
来自剑桥大学与伦敦国王学院的研究人员发现，OpenAI对其纳维–斯托克斯方程解法的说明，与用于计算机验证的代码之间存在出入。OpenAI使用的是Lean这一工具，可逐步检查数学证明中的逻辑错误，使用前需要把人类可读的解法翻译成代码。
研究人员指出，验证论文中某一步中间计算的代码，加入了比文档声明更强的条件：论文称该计算在更少条件下即可成立，计算机却只在附加约束下完成了验证。这意味着代码跑通并不必然证明论文中的说明成立。不过他们也澄清，仅凭这一差异并不足以否定纳维–斯托克斯解法的最终结论。
与此同时，OpenAI此前公开的另外三份数学草稿因计算错误被撤回。其中一份在推进证明时需要某个特定值为零，却在加减号上出现错误，把“－1加－1等于－2”写成了“－1加＋1等于0”，导致必要条件失效，这份草稿以及依赖其计算结果的另外两份一并撤回。涉及纳维–斯托克斯方程的草稿未被撤回。OpenAI表示，相关错误是在内部审查中发现的，将尽快更正，若无法修正则会撤稿。
此前，本站曾报道过陶哲轩谈AI数学：警惕无人能消化的证明。
编辑：林一舟
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
