标签: 千禧年难题

0

1万名AI智能体、88小时与一道世纪难题：怎样理解Navier–Stokes方程突破

OpenAI公开三维不可压缩Navier–Stokes方程反例及Lean形式化版本。本文解释它解决了什么、平滑外力为何符合官方命题、多智能体与形式化验证各自扮演什么角色，以及优先权和算力集中带来的新问题。