📖 AI 总结

OpenAI近日宣称其AI系统成功解决了困扰数学界200年的纳维-斯托克斯方程问题，该方程描述流体自然行为，属于克莱数学研究所的百万美元悬赏难题之一。OpenAI表示，公司于8月28日开始训练具备高级数学能力的AI模型，投入超过千个智能体、耗时50多小时，最终借助Lean编程语言形式化验证了解决方案，计算成本高达数百万美元。然而，这一声明引发争议：纽约大学数学家Tristan Buckmaster指控OpenAI在得知他和Anthropic研究员Levent Alpöge的进展后仓促行动，并试图影响成果归属，包括提出排除Alpöge署名的发表方案。OpenAI否认查看用户数据，但未回应训练相关问题。该事件凸显了AI在数学发现中的潜力，也引发关于科研伦理和成果归属的激烈讨论。