千禧数学七大猜想：百年仅拿下一题，网传AI短时间连破两道难题，但还有待数学家验证千禧数学七大难题由美国克雷数学研究所在2000年公布，单题奖金100万美元。漫长时间里，七大猜想仅有庞加莱猜想由人类数学家完成正式证明。网传OpenAI在很短时间内接连取得突破，攻克霍奇猜想、纳维‑斯托克斯方程；目前两项成果都没有获得数学界公认：纳维‑斯托克斯方程是OpenAI单方面发布证明论文，正在接受学界核查；霍奇猜想至今仅为网络传闻，OpenAI没有正式发布完整证明。完整清单1. P对NP问题：1971年提出，未解决2. 霍奇猜想：1950年提出，网传AI近期突破，无正式证明公布，待核验3. 庞加莱猜想：1904年提出，2006年人类完成证明 ✅4. 黎曼猜想：1859年提出，未解决5. 杨‑米尔斯存在性与质量间隙：1954年提出，未解决6. 纳维‑斯托克斯方程解的存在性与光滑性：1822年提出，OpenAI发布证明，数学家正在独立评审，尚未最终认可7. BSD猜想（贝赫和斯维讷通‑戴尔猜想）：1960年代提出，未解决历经上百年时间，人类数学家仅仅证明了其中一题；而相关消息显示，AI在极短时间内接连完成另外两道难题的突破，令人震撼。补充：按照克雷数学研究所规则，一份证明发表后还需要至少两年独立检验，才能被正式认定为解决该猜想，克雷官网至今仍然将纳维‑斯托克斯方程标注为未解决。