AI或已解数百数学问题，学界面临新挑战

近日，一位13岁女孩的玩笑引发热议，她的父亲Scott Aaronson是德州大学的教授，曾在OpenAI工作。Aaronson在博文中提到AI近期解答或帮助解决的多个长期未解的数学问题，包括雅可比猜想的反例和费马大定理等。令学界震惊的是，他透露OpenAI在纳维-斯托克斯方程的证明上经历了公众的抵制，现在正在压制一些“极具重要性”的问题的解决方案，等待更合适的时机公开。

沃顿商学院的Ethan Mollick也对此进行了转发并表示这一信息来源于可信的内部人士。随后，纽约大学的数学教授Scott Armstrong表示，自7月国际数学家大会以来，OpenAI至少压制了数百个数学证明的发布。这引发了一个重要的疑问：当一个悬而未解的问题被解开时，我们是否应该立即分享这一发现。

在历史上，数学界对此并不太担忧，更多的是担心是否有人能够解开难题。而如今，然而新出现的焦虑是答案可能早已被机器找到，却不为人知。OpenAI近期公布了十项数学及理论计算机科学的新成果，声称每一项都在推动长期开放问题的解答。在8月初，OpenAI通过强大的模型解决了多个千禧年问题。对于纳维-斯托克斯方程，它的团队利用数万智能体在短时间内完成了证明，计算的耗费以百万美元计，而此时几乎没有人类能够完全理解这个证明。 龙8头号玩家国际

尽管AI逐渐展现出强大的数学解决能力，学术界却与之处于两个截然不同的时间概念中。根据Clay数学研究所的规定，千禧年难题的解决成果需要通过严苛的审查和时间的沉淀才能被接受和认可。但如今，机器所能达到的快速输出，已经使得传统的科研流程显得力不从心。

更为重要的是，数学领域长期以来为了确保知识共享而建立的规则，如今面临失效的风险。Aaronson和Armstrong均表示，AI实验室的秘密积累不仅意味着许多成果在未公开的情况下被锁住，更让知识从“人人可查”转向“只有 insiders 知道”，这可能对数学的发展产生倒退的影响。

在这些变化中，传统的优先权法则同样面临挑战，随着更多成果的涌现，谁先发表将不再是绝对的功劳归属标准。OpenAI的做法已经触动了这些根本性原则，未来的学术交流和成果共享可能会经历前所未有的变革与挑战。 龙8头号玩家国际