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

OmniTools 9月9日消息，据 Simon Willison 博客 9 月 8 日消息，OpenAI 使用一款未发布模型在约 88 小时内对 Navier-Stokes 存在与光滑性问题（七大千禧年大奖难题之一）给出了解答，并通过 GPT-6 Astra 在 17 小时内完成 Lean 形式化验证。整个过程共发送约 490 万条消息，消耗约 3000 亿输出 token。