#OpenAI宣布攻克千禧年难题#
1 万个 AI 智能体，88 小时，165 页证明，Lean 形式化验证……
OpenAI 说：纳维–斯托克斯“存在性与光滑性”这道千禧年难题，我们解了。
人类卡了 90 年，AI 用算力把时间压缩成三天半。
但别急着封神——还没过同行评审，克雷数学所也没认，100 万美元 OpenAI 自己都说不领。
数学史可能翻页，也可能只是“机器说它证出来了”。
发布于 浙江
不是陈橘子_