近日，OpenAI再次出击，意欲攻克黎曼猜想和P与NP问题，引发广泛关注。近年来，这些人工智能公司似乎在全力竞逐「千禧年问题」的解决进展。9月8日，NS方程被宣布成功解决，接着在9月11日，又有消息称霍奇猜想的解决方案已近在咫尺。现在，O/A等公司正全力以赴，向BSD猜想发起挑战。而今日，OpenAI正式使用其内部模型开始对黎曼猜想和P与NP问题进行实验，如果P = NP得以证明，计算机科学的基本框架将发生剧变。
这番进展令许多数学家深感愤怒，最近，25位菲尔兹奖得主，包括陶哲轩在内，联合发表声明，直指OpenAI与Anthropic所做的一切，认为他们正在侵蚀数学的根基。在他们看来，数学不应被简化为商业宣传的工具。综合来看，整个数学生态将受到重创。
事件的导火索是OpenAI最近的公告：其内部AI系统以1万智能体在短短88小时内成功攻克了纳维-斯托克斯方程，并发布了相关的验证结果。随后，OpenAI还宣布自愿放弃100万美元的千禧年大奖。仅两天后，OpenAI又向《纽约时报》透露，在霍奇猜想上取得了显著进展。这期间，一张「千禧难题基准测试」的图表在网络上流传，其中不同AI模型和人类数学家的得分对比引起热议。
对于AI公司将数学难题视为展示其技术能力的手段，数学界的反击也在加速。25位菲尔兹奖得主联合提交了一封名为《人工智能在数学领域的严重错位》的公开信，表达他们的不满。名单中的诸多数学巨匠几乎涵盖了当前最顶尖的数学思想者。信中人数呼吁拒绝把数学当作商业游戏的附属品，并指出科技公司将解题用作宣传目的，与数学的核心目标背道而驰。数学的真正价值在于理解其背后的原理和思想，而非单纯获得公式结果。
这些数学家们认为，解决著名问题的过程涉及漫长的研究与交流，这是塑造知识共享的基础。如果结果仅靠机器计算得出，人类的创造性思维将遭遇危机。数学界的珍贵财富在于人和思想，而AI公司的举动正在侵蚀这些宝贵资源。此外，快速发布结果而不进行深入的学术讨论、缺乏对应的文献支持等，造成了严重的归属和抄袭争议。
更引人注目的是，OpenAI被指控有可能窃取人类数学家的未公开研究成果。纽约大学的数学家Tristan Buckmaster对此提出质疑，他与合作者一直在探索NS方程的相关方向，近期也将未公开的研究材料输入到OpenAI的Codex系统中。几日后，OpenAI便提出了NS方程的证明。Buckmaster怀疑，自己的未公开研究是否在不知情的情况下被该模型所吸收。对此，OpenAI否认了相关的盗用说法，声称设定了时间界限，确保此后用户输入不会影响结果。
此外，另一位数学家Andreas Thom也证实了他与OpenAI之间可能的联系。他提到自己花费了二十年时间研究Gromov的soficity猜想，并曾与同事讨论相关问题。当OpenAI宣布解决此问题时，所采用的研究方法与Andreas的思路有高度重合。他向OpenAI询问是否有可能他的私人对话被用于训练数据。虽然OpenAI否认直接访问，但也承认无法排除去标识化数据的可能性。