OpenAI新模型在24天内解决100多个数学悬而未决的问题

近日，OpenAI宣布一项重大的进展：其最新的内部模型自8月28日开始训练，短短24天内便成功解决了超过100道世界级的数学难题，涉及数学多个领域。其中最引人注目的是它攻克了困扰数学界多年的纳维–斯托克斯千禧年难题。这一快速的进化速度令OpenAI内部的数学专家们感到惊讶。在此基础上，OpenAI今天还成立了一个独立的数学顾问团队，邀请了9位世界顶尖的数学家，包括菲尔兹奖得主Timothy Gowers、Martin Hairer及理论物理学家Edward Witten。这一团队将研究AI在高效率解决数学难题后，数学界应如何适应这一变化。

早在9月8日，这款新模型便在短短88小时内成功解决了纳维–斯托克斯的方程存在性及光滑性问题，并公开了相关的研究论文和验证代码。模型的研发运用了一万多个并发的智能体，这些智能体能够共同研究并迅速获取互联网的数据和解法。随着OpenAI新成果的披露，涉及的难题范围也在迅速扩大。

然而，就在OpenAI宣布这些成果的三天后，27位菲尔兹奖得主联名发布了一封引发广泛关注的信件，他们批评AI公司忽视数学研究的严谨性，将难题简化为评分的基准，损害了数学的深厚历史与价值。尽管他们承认AI可能加速真正的数学研究，但他们对解题结果的哪里和方式感到担忧。 球友会

在这场AI与数学界的博弈中，OpenAI已经意识到需要与数学家进行深入对话，因此组建了这个数学顾问团队。该团队的成员不仅来自著名学术机构，还拥有深厚的研究背景，他们的主要任务是评估AI的数学成果的意义、探讨这些成果何时及如何发布，并确保未来的数学研究遵循学术规范。这一团队将无需依赖OpenAI的资金支持，从而保持其独立性和批判性。