OpenAI人工智能模型解决了Navier-Stokes千禧年数学难题

Timeline of Events

• 2000年5月24日，克雷数学研究所公布了千禧年大奖难题。
• 2026年8月28日，OpenAI启动了新模型的训练。
• 2026年9月1日，OpenAI评估了公开的千禧年数学难题。
• 2026年9月8日，OpenAI公开宣布了纳维-斯托克斯方程的证明。
• 2026年9月8日，研究人员发布了分析证明和Lean证明。
• 2026年9月8日，数学家特里斯坦·巴克马斯特对优先权提出争议。
• 2026年9月8日，OpenAI否认使用了非公开的用户数据。
• 2026年9月9日，独立数学家开始审查正式证明。
• 2026年9月9日，科学界就高级人工智能能力展开辩论。
• 在接下来的几个月里，全球数学家将对这些证明进行全面审计。