摘要

Simon Willison 评论 OpenAI 用未发布模型在约 88 小时内求解纳维-斯托克斯存在性与光滑性问题，并经 GPT-6 Astra 完成 17 小时 Lean 形式化验证。

原文链接

• Hacker News 热门（buzzing.cc 中文翻译）
• AI HOT 详情页