OpenAI最近在公开场合释放了一个信号:千禧年难题的进展即将公布。时间点可能落在9月29日的DevDay上。

Greg Brockman近期再次提到,OpenAI已经在某个千禧年难题上取得了"重大进展"。按照这个节奏,接下来两周会非常关键。

千禧年难题是什么

千禧年难题是克雷数学研究所在2000年提出的七个数学难题,每个悬赏一百万美元。它们长期被视为数学领域最难啃的骨头,至今只有庞加莱猜想被解决。

如果OpenAI真的在这些难题上有所推进,那意味着AI在数学推理能力上可能跨过了一道此前被认为需要人类顶尖数学家才能触及的门槛。

为什么是现在

DevDay是OpenAI每年对外展示进展的窗口。把千禧年难题的进展放在这个场合公布,符合其一贯的发布节奏——用具体成果回应外界对模型能力的质疑。

Brockman的表态没有给出具体是哪一个难题,也没有说明进展的具体形式。是完整证明、部分突破,还是辅助人类数学家缩短了验证路径,目前都没有进一步信息。

接下来两周,DevDay的议程和OpenAI的官方发布值得盯紧。