观点 / 方法精选
Simon Willison 评 OpenAI 用未发布模型求解 Navier-Stokes 千禧年大奖难题之争
原始标题:On the Navier-Stokes Millennium Prize Problem
内容摘要
OpenAI 用未发布模型在约88小时内给出 Navier-Stokes 存在与光滑性问题(七大千禧年难题之一)的解答,并通过 GPT-6 Astra 完成17小时 Lean 形式化验证,全程发送490万条消息、消耗约3000亿输出 token。
综合分类、实体标签与信息来源匹配