OpenAI报告称,其内部AI系统已生成一项证明,表明流体运动的纳维-斯托克斯方程的动力学可以在有限时间内产生奇点。该解由一个多智能体系统得出,该系统由比GPT-6 Astra强大得多的模型驱动,确立了千禧年大奖难题表述中的命题“C”。
该系统利用了约10,000个并发智能体,发送了270万条消息,并使用了约1300亿个输出令牌,在大约88小时内解决了该问题。该证明识别出一种涡旋结构,其中流体速度无界增长而能量保持有限,尽管存在粘性,但仍标志着连续近似法的失效。
OpenAI发布了分析证明的撰写稿以及Lean形式化验证,以向全世界通报AI进步的节奏以及即将推出的前沿模型的能力。