📖 AI 总结

这篇文章报道了纽约大学数学家Tristan Buckmaster与Anthropic数学家Levent Alpöge合作，利用AI模型（包括Codex和Claude）在数学领域取得重大突破，宣布了关于Navier-Stokes存在性与光滑性问题的三项证明的初步发现。该问题属于克莱数学研究所的“千禧年大奖难题”之一，悬赏100万美元。然而，研究过程中出现争议：Buckmaster指控OpenAI在得知他们的研究进展后，动用大量计算资源抢先尝试完成完整证明，且最初隐瞒了启动时间和人类参与程度。OpenAI数学研究负责人Sebastian Bubeck则否认这些说法，称其“虚假且具有煽动性”，并强调自己遵循学术规范。这一事件不仅关乎数学突破本身，更引发了对AI研究伦理、学术竞争公平性及资源不对等问题的广泛讨论。