《OpenAI 88小时生成的Navier-Stokes证明: 正确与被理解之间的差距》

摘要

9月8日，OpenAI称1万个智能体运行88小时，产出166页的Navier-Stokes方程证明；该问题自1934年悬而未决，属Clay研究所七大Millennium Prize Problem之一，每题100万美元、迄今仅一题颁奖。OpenAI不领奖，外界估算算力账单为1000万至4000万美元。Clay称问题“显然已解决”，但评审“刻意不慌不忙”：证明须在权威期刊发表并经两年检验，官网现标为“Active”。9月11日，25位Fields奖得主签署宣言，批评AI实验室的做法损害数学；次日陶哲轩邀请Silvia De Toffoli与Eamon Duede撰文，区分可由机器验证的逻辑证明与人类可解释、可延展的可理解证明，指出AI使二者分离，并评价OpenAI“给出的是答案，未必是果实……”