数学界与AI实验室的正面冲突,这次以指控开场。NYU数学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge,公布针对Navier-Stokes千禧年难题的三项初步证明。爆炸点不在数学,而在他们指控OpenAI:研究信息遭泄露,对方用大量算力追赶自己的独特证明路线。
Navier-Stokes是克雷数学研究所悬赏的千禧年难题之一,关乎流体运动数学根基,几十年无人完整攻克。一次出现三项初稿本就震撼,还叠上“路线被偷跑”的疑云。双方公开回应后,争议更烈:学者们分裂成两派——一派要求公开通信与算力日志,另一派则认为,就算OpenAI拿到思路,能迅速堆算力验证并推进,已经说明AI参与数学研究的方式,从辅助变成了竞争。这不再是传统剽窃,而是AI时代独有的信任裂缝。
无论指控是否成立,一个问题已被摆上台面:当AI能瞬间“接住”人类数学家的思维路径,发现的优先权还属于第一个写出完整证明的人吗?独立性与独创性,正被算力规模和流动数据重新定价。Navier-Stokes的真相未必沉没,但被搅浑的水域早已超出方程本身——同行评审尚未开始,算力军备赛已经抢跑。这或许就是未来数学生态最真实的预演。

