OpenAI的轰动的Navier-Stokes证明并非我们想象的那样

9月初，OpenAI发布了一份166页的Navier-Stokes问题解决方案，这是数学界著名的“百万美元问题”之一。最初的报道，包括OpenAI自己的说法，表明该证明——由内部大型语言模型生成——遵循了西班牙数学家Diego Córdoba和Luis Martínez-Zoroa提出的方法，即所谓的“西班牙纲领”。这引发了与纽约大学数学家Tristan Buckmaster的公开冲突，后者一直与Anthropic的员工Levent Alpöge使用LLM进行该纲领的研究。然而，专家们的进一步审查显示，OpenAI的证明实际上并不遵循西班牙纲领。尽管两者都利用了Clay Mathematics Institute对问题表述中的同一个“漏洞”，通过构造非物理力来导致爆炸，但OpenAI的证明以完全不同的方式构建了这种力。该证明由一个约10,000个数学擅长的LLM副本组成的“代理群”生成，共花费了88小时和1300亿个标记。即使是顶级专家也发现该证明难以理解，现在正在使用Lean代码来理解它。OpenAI最初使用了一个较小的代理团队，可能遵循了西班牙纲领，但完整的代理群采取了不同的路径。LLM的黑箱性质意味着可能永远无法知道确切的推理过程。这一事件突显了OpenAI并不理解自己模型的证明，一个多月后，仍然没有人完全理解。上周，OpenAI又发布了400多项结果，其中一些可能获得菲尔兹奖，引发了对AI驱动数学发现步伐的担忧。

(来源：Scientific American)