【OpenAI攻克千禧年难题AI用88小时解出90年数学谜题】OpenAI 于当地时间9月8日宣布，其内部未公开模型（性能远超GPT-6 Astra）成功解决“纳维-斯托克斯存在性与光滑性问题”，这是克莱数学研究所2000年提出的七大“千禧年大奖难题”之一，已困扰数学界约90年。团队调动约1万个AI智能体协作，在88小时内生成证明，并由GPT-6 Astra在17小时内完成形式化验证。此次计算成本估算高达1500万至2250万美元，OpenAI表示不申领100万美元奖金。（IT之家）