OmniTools 9月9日消息，IT之家 9月9日消息，OpenAI 于当地时间9月8日宣布，其一款未公开的内部AI模型（性能据称超越最新发布的 GPT-6 Astra）已成功解决“纳维-斯托克斯存在性与光滑性问题”。该问题是克莱数学研究所2000年公布的七大千禧年大奖难题之一，聚焦流体运动方程解的存在性与光滑性，长期悬而未决约90年。
此前，Anthropic 曾披露其一款未公开的 Claude 研究模型在黎曼猜想研究中取得进展，将黎曼 ζ 函数临界线上零点比例的已知下界从41.6%提升至67.2%。
上述进展均源自模型辅助数学研究的初步报告，尚未经数学界独立验证或正式发表。
