NYU数学家与OpenAI就千禧年难题证明爆发争议

RecodeX 重构消息，纽约大学数学家Tristan Buckmaster周二宣布了三项证明，其中包括对千禧年七大难题之一纳维-斯托克斯方程存在性与光滑性问题的初步进展。该研究是与Anthropic数学家Levent Alpöge合作完成，使用了包括Codex在内的多种AI模型。然而，OpenAI随后发布了同一问题的完整证明，引发争议，使该成果蒙上阴影。