人工智能生成的纳维–斯托克斯千禧年大奖问题解答

该消息分享了一份由人工智能生成的纳维–斯托克斯千禧年大奖问题解答，并附有文字说明和使用 Lean 形式化的证明。内容提出了可能取得数学突破的主张，但尚未证明该证明正确，也未显示其经过独立验证。

行业资讯 AI模型研究 2026-09-09 02:30:55 649 阅读阅读约 1 分钟来源：OpenAI

本文来源：OpenAI，仅供学习参考，版权归原作者所有。