OpenAI 公开 Navier–Stokes 千禧年难题的 AI 生成解答

更新摘要

OpenAI 公开一份由 AI 生成的 Navier–Stokes 千禧年难题解答，并同时发布书面论证和使用 Lean 编写的形式化证明。

本页仅索引并客观转述公开信息，产品能力、价格与可用范围以官方原文为准。