OpenAI Says Internal AI System Resolved the Navier–Stokes Problem

🔥犀利点评

先泼冷水再举杯：Lean形式化确实让「AI证明」有了硬门槛，不是嘴上说说——机器可验证的证明作不了假。但「解决千禧年难题」的最终裁判是数学共同体，不是OpenAI的新闻稿。关键在于：证明的核心思想是AI自主发现的，还是人类数学家长期成果的拼装加速？公司公告对此语焉不详。此外，有限时间奇点若成立，奖金归属、署名权、证明可读性都会成为一堆麻烦。在同行评审结果出来前，把这条当重大信号看，别当定论传。