数学界正面临一场前所未有的冲击，AI已经逼近了人类认知的防线。OpenAI近日发布重磅博文，宣布其新模型在短短24天内攻克了百余道世界级数学难题，横跨数学主要领域。其中最引人注目的，是成功攻克了困扰数学界多年的“纳维-斯托克斯”千禧年难题。这种惊人的进化速度令OpenAI内部数学家都感到意外。为此，OpenAI邀请了包括菲尔兹奖得主在内的9位全球顶尖数学家成立独立顾问组，阵容堪称数学界的“复仇者联盟”。
回溯至9月8日，OpenAI的另一款内部模型在短短88小时内便给出了纳维-斯托克斯方程的证明，并同步公开了166页论文及Lean形式化验证代码。该成果验证了在光滑外力作用下，三维不可压缩流体可以在有限时间内形成奇点。这背后是1万多个并发智能体的协同探索，配合人类研究员的引导与资源调配，最终由GPT-6 Astra完成了形式化验证。
然而，就在OpenAI宣布突破的几天后，数学界炸锅了。27位菲尔兹奖得主联合发表公开信，直指AI巨头将数学难题视为“刷榜”工具，功利化且黑箱化的解题方式破坏了数学研究的本质。陶哲轩、邓煜、吴宝珠等数学泰斗的集体发声，引发了关于“如何审查、如何发布”的深刻反思。
面对质疑，OpenAI迅速回应，正式成立了由9位顶尖学者组成的独立数学顾问组。成员包括Timothy Gowers、Martin Hairer、Edward Witten等大师。这支队伍不拿薪水，拥有公开批评的权利，但限制在于无法控制AI的研发进度。他们的职责是评估成果价值、决定发布规范以及维护学术伦理。
在AI以惊人的速度产出海量证明的背景下，人类面临的最大挑战不再是“能否解出”，而是“能否审完”。数学家Buckmaster曾将AI生成的初稿斥为“泔水”。如今，OpenAI确立了新的规则：发现归机器，验收归人类。数学家正从“解题者”被迫转型为“判断者”。数学界已意识到，必须彻底重构激励机制与评价体系，以迎接这场技术海啸。