On the Navier–Stokes Millennium Prize Problem

📋总体概括

相关方发布了一份AI生成的纳维-斯托克斯千禧年大奖难题的求解材料，包括文字论述与一份形式化证明。纳维-斯托克斯方程解的存在性与光滑性问题是克雷数学研究所2000年设立的七大千禧年难题之一，悬赏百万美元至今无人攻克。此次发布的特点在于同时提供了可在Lean证明助手中机器验证的形式化证明，若经社区检验成立，将是AI在顶级数学难题上的历史性突破；但目前公开信息仅为一句话公告，证明的严谨性与完整性尚待数学界审查确认。