原文：AI又拿下一个千禧年难题？OpenAI总裁亲口证实「进展重大」
据新智元报道，OpenAI联合创始人兼总裁Greg Brockman公开表示，OpenAI在另一个千禧年大奖难题上取得重大进展。此前OpenAI曾宣布「纳维尔-斯托克斯方程」相关突破。文章称外界传闻OpenAI可能已实质性解决六个未解千禧年难题中的两道，并猜测下一个目标可能是P与NP问题、黎曼猜想、杨-米尔斯存在性与质量间隙、霍奇猜想或BSD猜想之一。
据新智元报道，OpenAI联合创始人兼总裁Greg Brockman公开表示，OpenAI在另一个千禧年大奖难题上取得重大进展。此前OpenAI曾宣布「纳维尔-斯托克斯方程」相关突破。文章称外界传闻OpenAI可能已实质性解决六个未解千禧年难题中的两道，并猜测下一个目标可能是P与NP问题、黎曼猜想、杨-米尔斯存在性与质量间隙、霍奇猜想或BSD猜想之一。
此前千禧年难题被认为需人类数学家耗费数十年攻坚，仅庞加莱猜想被佩雷尔曼攻破。若OpenAI确实在多个难题上取得实质进展，意味着大语言模型可能从概率文字补全，转向可产出形式化数学证明的科学发现工具，其影响将超出学术圈。
报道推测OpenAI可能采用智能体蜂群协同方式推进数学推演，但证据未给出具体技术路径或证明细节。若涉及P与NP问题，将直接触及现代密码学体系与非对称加密的算法基础；若涉及黎曼猜想或杨-米尔斯存在性，则影响数论与量子物理的数学根基。
对研发团队而言，若AI可承担形式化证明与复杂推演，数学与算法研究工作流可能部分被自动化，研究周期与人力结构随之变化。对产品侧而言，长期看安全、加密与验证类基础设施可能需重新评估其数学前提，但短期内无直接可落地产品变化。