PDE 学者谈 OpenAI 构造 Navier-Stokes 爆破证明:人类理解从此滞后于证明

soumitrashukla9 · x · 2026-09-14

数学学者 Scott Armstrong 引发讨论:OpenAI 构造的 Navier-Stokes 爆破解是对 PDE 领域的重大贡献,人类数学家可能需要数周到一个月才能充分理解它,届时被困近百年的 Leray 瓶颈有望被突破。Soumitra Shukla 补充观点:传统上重大证明是逐步理解积累的顶点,如今 AI 直接给出证明,学习者需要「倒着学」——先拿到结果再回溯理解其中联系,但最终获得的数学理解在第一近似下是等价的,只是方向反了。这一变化标志着「人类理解通常将滞后于证明」的新常态。