数学家称OpenAI并不理解其自身的纳维-斯托克斯证明
decoder ·
数学家批评OpenAI近期声称已解决纳维-斯托克斯方程问题,指出尽管其提出的证明已通过Lean形式化验证,但缺乏实质深度。专家指出,虽然该方法在表面上与西班牙数学家的研究相似,但详细分析显示两者在方法论上存在显著差异。纽约大学特里斯坦·巴克马斯特(Tristan Buckmaster)指控OpenAI利用了此前未发表的工作,而该公司对此予以否认。此外,OpenAI在GitHub上发布了约400项额外结果,此举令许多数学界人士感到沮丧,认为其轻视了严谨的学术标准。争议的一个焦点是AI智能体的作用,研究人员诺姆·布朗(Noam Brown)承认,目前尚不清楚1万个实例组成的庞大集群究竟贡献了多少。布朗表示,成功中不到10%源于多智能体设置,大部分成果归功于基础模型的持久力和并行处理能力。因此,批评者认为OpenAI并未完全理解其自身计算工作的机制或价值。随着关于AI在高等数学中作用的争论日益激烈,克雷数学研究所仍在审查这一潜在解。
decoder