OpenAI前两天官宣：纳维-斯托克斯方程——七大千禧年难题之一，100万美元悬赏挂了26年、问题悬了90年——被约1万个AI Agent用88小时给出证明，上百页论文和Lean验证全公开。我最服的不是快，是验证：Lean能逐行机器检查证明，AI的幻觉在这儿关得住，数学先破防不是偶然。但先别喊数学死了，宣布不等于承认，最终得数学共同体裁决。更皱眉的是吃相：纽约大学Buckmaster团队8月就在同方向做出突破，OpenAI转头就发公告抢跑，还被质疑要求对方移除合作者才肯分荣誉。技术真能打，姿态真油腻。你说这算AI的胜利还是营销的胜利？ AIOpenAI