OpenAI于当地时间9月8日宣布，其内部未公开的AI模型已成功解决“纳维-斯托克斯存在性与光滑性问题”，这是克莱数学研究所于2000年提出的七个“千禧年大奖难题”之一。
OpenAI表示，该团队通过让约10,000个AI智能体协作，在约88小时内生成了证明。OpenAI提供了分析证明及Lean编程语言的形式化验证。验证工作由GPT-6Astra在约17小时内完成。OpenAI研究员布贝克否认了这些指控，强调研究人员和AI智能体均未访问具体用户数据。但OpenAI也在声明中承认，“不排除”来自他们使用OpenAI产品的匿名化数据帮助改进了模型。更广泛的影响此次事件凸显了AI在攻克人类智力巅峰时引发的复杂问题。据估算，此次计算成本可能高达1,500万至2,250万美元。
这条信息对你有帮助吗？
