Millennium Prize

千禧年大奖难题由克雷数学研究所于 2000 年设立，旨在表彰数学领域的重大突破。七个难题包括 P vs NP、黎曼猜想、杨-米尔斯存在性与质量间隙、纳维-斯托克斯方程存在性与光滑性、霍奇猜想、庞加莱猜想和 BSD 猜想。其中庞加莱猜想由佩雷尔曼于 2003 年证明。这些难题对计算机科学和人工智能有深远影响，如 P vs NP 问题关乎算法效率的极限。