在九月，OpenAI宣布了解决一个数学千禧年奖学问题的显著成果：Navier-Stokes方程，这是一个关于描述流体行为的长期问题。虽然公司随后发布了数百个结果，但未包含新的千禧年证明，尽管一些发现在五个剩余未解问题上取得了进展。
这些问题是高度专业的，甚至对大多数数学家来说都很困难。一个是黎曼假设，由德国数学家伯恩哈德·黎曼于1859年发表的论文中提出。它涉及素数及其在数轴上的分布。随着数的增大，素数变得更少。黎曼提出了一个假设，提供了精确的公式来估计任何给定数以下存在多少个素数。他于39岁去世，此前未能继续研究此问题。普林斯顿大学和新泽西州安德鲁斯学会的数学家彼得·萨尔纳克称其为一个"伟大的问题”，并指出其证明“在数学上将是巨大的”。
一个与准黎曼假设相关的结果已由Lean（计算机证明助手）验证，被认为可能是正确的。然而，这还不足以解决原始的千禧年问题。拉特茨大学数学系主任亚历克斯·庚托罗维奇将其描述为“根本性的突破”，但指出要证明完整的假设仍需新的思想。
其他剩余问题包括 Birch 和 Swinnerton-Dyer 猜想，由英国数学家Bryan John Birch和Sir Peter Swinnerton-Dyer在早期计算机EDSAC-2上使用60年代初提出。
来源: New York Times Top Stories · 由HeadlinesBriefing整理摘要