AI圈报
观点 / 方法精选

Simon Willison 评 OpenAI 用未发布模型求解 Navier-Stokes 千禧年大奖难题之争

信息来源:Simon Willison 博客·
原始标题:On the Navier-Stokes Millennium Prize Problem

内容摘要

OpenAI 用未发布模型在约88小时内给出 Navier-Stokes 存在与光滑性问题(七大千禧年难题之一)的解答,并通过 GPT-6 Astra 完成17小时 Lean 形式化验证,全程发送490万条消息、消耗约3000亿输出 token。
内容分类AI 观点与方法
内容层级精选情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源Simon Willison 博客
站内情报编号intel-c25c5b6c3693b91c52319d63