七大千禧年数学难题均有新进展，多项证明声明与 OpenAI、Anthropic 相关

七个千禧年大奖难题近期均出现新进展，涵盖 P vs NP、黎曼猜想、Yang-Mills 存在性、Navier-Stokes 反例、Hodge 猜想部分证明与 BSD 猜想完整公式，庞加莱猜想已于 2003 年由 Perelman 解决。配图按厂商统计这些声明的归属，显示 OpenAI 与 Anthropic 各对应多项进展。多数声明尚未经同行评审，需谨慎看待。