AI辅助证明

如何看待 Alpöge 和 Buckmaster 关于 Navier-Stokes 方程的工作？

纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge在AI辅助下，针对多个流体方程在平滑强迫下的有限时间爆破问题发布了经Lean验证的证明。该进展被认为是在解决千禧年数学难题之一——Navier-Stokes方程方面迈出的三个重要步骤。然而，该成果引发了关于贡献归属的争议，涉及Anthropic与OpenAI的研究人员。