热点智搜··AI 生成
OpenAI用AI攻克纳维-斯托克斯问题引发争议
OpenAI宣布其AI系统在88小时内破解了纳维-斯托克斯千禧年难题，但此举引发了关于学术优先权和数据使用的巨大争议。文章详细描述了AI系统的协作过程、形式化验证结果以及OpenAI放弃奖金的态度。适合关注AI前沿应用、数学难题解决以及学术伦理的读者阅读。原文 ↗原文 ↗
核心观点
- ▍OpenAI用AI系统在88小时内攻克了纳维-斯托克斯千禧年难题，但这一成果引发了关于学术优先权和数据使用的争议。
- 01OpenAI的AI系统动用了约10000个智能体并发探索，发送270万条消息，消耗约1300亿输出Token。
- 02AI系统生成了一份165页的论文，并由GPT-6 Astra耗时17小时完成Lean编程语言的形式化验证。
- 03OpenAI明确表示不打算申领该难题附带的100万美元奖金，旨在展示AI能力的跃升。
反方 / 局限
- — 克雷数学研究所官网目前仍将该题列为未解决状态，正式认定需经严格的同行评议。
- — 文章未提及AI系统在训练过程中使用的数据来源和可能存在的版权或伦理问题，这是潜在的争议点。
- — 文章未讨论AI系统在解决此类开放科学问题时的可重复性和透明度问题，这是学界关注的核心。
前置背景
平行视角
未来推演