水和空气的运动通常用Navier–Stokes方程描述,但数学家一直不知道:三维流体从平滑状态出发,会不会在有限时间内出现奇点——也就是方程给出的速度突然变成无穷大。OpenAI于9月8日声称,它生成了一份证明,表明这种失控确实可能发生。若获确认,这将首次由计算机解决真正重大的数学开放问题之一。
据《Nature》报道,OpenAI先让1,000个AI智能体——可并行处理任务的模型实例——用50小时解决简化版本,随后把规模扩大到10,000个智能体,进攻完整问题。公司称,证明构造出一种起初完全正常、却在有限时间达到无限速度的流体;这也意味着方程在某些情况下可能无法可靠映照真实流体。
目前这仍是OpenAI的突破主张,而非已经成立的数学结论。千禧年大奖难题每题奖金100万美元;正式认定要求解答公开发表、至少经过两年,并获得全球数学界普遍接受,模型输出和公司声明都不能替代逐步核查。