OpenAI正在把千禧年数学难题当成LeetCode来刷。
OpenAI已经向《纽约时报》正式确认：在攻克纳维-斯托克斯问题之后，他们在过去五天内，在另一个千禧年大奖难题上取得了实质性进展，目前正在评估如何审慎地公布这些结果。最新的消息显示，这个被推进的难题正是霍奇猜想。如果这些进展全部坐实，意味着人类数学史上封印了几十年的三大千禧年难题，可能会在一个月内被AI相继攻破。大约两周前，OpenAI完成了一个全新内部模型的训练，外界推测其命名为Aeon。AI生成并验证严肃数学证明，代表它已经具备产出全新科学知识、寻找全新创造性解法的能力。几十年来，霍奇猜想和伯奇-斯维讷顿-戴尔猜想一直困扰着顶尖数学家。现在，这扇大门正被AI暴力推开。
这条信息对你有帮助吗？
