OpenAI数学论文争议

OpenAI于2026年10月7日公开了由内部前沿模型解决的722篇数学论文成果，涵盖计算成本估算及Lean形式化证明，旨在推动人类知识边界【背景】。这一大规模发布并非孤立事件，而是其自2022年起在形式化数学领域持续投入的顶点：从早期解决奥数题，到2026年5月推翻Erdős猜想，再到9月宣称解决千禧年难题Navier-Stokes方程。

然而，伴随技术突破的是激烈的学术伦理争议。针对Navier-Stokes问题的解法，数学家Tristan Buckmaster指控OpenAI在其团队取得进展后窃取方法；OpenAI虽否认并强调独立推导，但承认使用了类似路径，引发对AI“原创性”定义的质疑。批评者如Gary Marcus指出，这些成果更多体现LLM在特定封闭领域的算力优势，而非通用智能，且商业价值有限。

目前，社区仍在消化长达166页的证明细节，尚无定论。读者应关注后续Lean验证的完整性、OpenAI承诺资助的研讨会成果，以及学术界是否建立新的AI贡献署名规范。