Did OpenAI solve the wrong Navier-Stokes problem?

一句话概要

OpenAI’s proof seems eligible for a $1-million prize—but only by using a controversial loophole

原文开头节选

Read about how mathematicians are dealing with the AI takeover of their field in our feature here .

Two weeks ago OpenAI claimed a solution to one of the biggest open problems in math —the Navier-Stokes problem —an achievement worth a $1-million prize from the Clay Mathematics Institute. The proof ignited a powder keg of concern over artificial intelligence companies’ race to disrupt the subject.

But with the dust still far from settled, a different controversy is emerging: Did OpenAI even solve the right Navier-Stokes problem?

Generated by an internal large language model (LLM), OpenAI’s proof relies on an approach that many experts find unnatural. It solves a variant of the problem that mathematicians say is disconnected from reality and thus less interesting. In a sense, the LLM found and exploited a loophole in the framing of the question.

(以上为原文节选,完整内容见下方”原文来源”)

这条动态今日登上 Hacker News 首页(63 赞 / 30 评论,来源 scientificamerican.com)。技术雷达每日自动聚合 AI 工程、后端架构、DevOps 方向的前沿动态;相关工程落地可浏览下方的相关服务与延伸阅读,或直接与我们团队交流。