西语圈学者质疑：无人读懂 OpenAI 的 Navier-Stokes 证明

学者 Hernán López 公开发帖质疑 OpenAI 关于 Navier-Stokes 方程的证明。他承认 ChatGPT 在数学证明方面进步飞快，但指出至今没有任何人声称自己完整读过并理解了这份证明，因此其正确性仍缺乏社区验证。这一质疑在西语学术圈引发关注，凸显了 AI 生成复杂数学证明面临的可验证性难题。

2026-10-08 ~ 2026-10-09 · 2 条相关