David Budden 声称称形式化解决了 Navier–Stokes 方程解的存在性和光滑性问题，真是一场闹剧。感觉他连找个正经数学家检查一下问题定义都没做。 让我想起禅宗公案，鱼朝恩问慧忠禅师什么是无明，禅师说“佛法衰相今现,奴也解问佛法。”佛法快要衰败了，像你这样的人也懂得问佛法了。 数学衰相也现了。