OpenAI宣布攻克千禧年难题 AI数学研究新里程碑
OpenAI宣布攻克千禧年难题 AI数学研究新里程碑。OpenAI 最近宣布使用一种比 GPT-6 Astra 更强大的、未公开的下一代前沿大模型，联合约 10000 个并发协作的 AI Agent，在88小时内攻克了克雷数学研究所设立的七大千禧年难题之一——纳维-斯托克斯方程的存在性与光滑性问题。这道题过去90年来无人攻克，每个悬赏100万美元。
随声明一同发布的还有一份长达166页的完整数学推导论文及配套的Lean形式化数学验证代码。OpenAI表示将放弃申领该难题附带的100万美元大奖，强调这项成果的核心价值在于展示通用人工智能（AGI）正在转变为推动人类前沿科学探索的引擎。
Sam Altman称这是他在OpenAI历史上最震撼的时刻之一，而Greg Brockman则认为这标志着AI与数学领域的重大里程碑，预示着科学探索即将迎来全新的复兴。
纳维-斯托克斯方程可以理解为流体世界里的牛顿第二定律，描述水、空气乃至血液如何运动。困扰数学界的问题是：如果三维流体一开始足够平滑，它能否永远保持平滑，还是会在有限时间内突然出现奇点？奇点意味着方程计算出的局部流速在有限时间内无限增大，代表连续流体模型在这一时刻失效。
关闭