Did OpenAI solve the wrong Navier-Stokes problem?
4 hours ago
- OpenAI声称解决了纳维-斯托克斯问题，这是一个价值100万美元的克莱研究所奖，但证明中使用了外力，许多数学家认为这是一个不自然的漏洞。
- 纳维-斯托克斯问题询问在现实条件下方程是否会'爆炸'（产生无限流速），但OpenAI解决了一个包含外力（如重力）的变体。
- 最近，三位数学家证明，OpenAI的方法无法扩展到没有外力的完整问题，表明这个漏洞是永久性的。
- 克莱研究所的原始问题陈述中包含允许外力的选项，因此OpenAI的解决方案在技术上对该版本是有效的。
- LLM善于发现显式爆炸，但在证明不可能性方面存在困难，这使人类在完整问题上具有优势。
- 这场争议引发了关于克莱问题陈述是否应包含外力的讨论，并提出了关于AI在数学中角色的疑问。