Math drama on X.

Math drama on X. Mehdi is furious about the “we solved Navier-Stokes” framing, calling it “pure scientific vulgarity” and saying “the ai did not understand fluid mechanics it simply navigated a continuous search space previously mapped out and constrained by the monumental work of human mathematicians.” The whole thread is basically: formalizing a forced blowup case in Lean is a compute and software engineering win, not the Clay Millennium Prize claim. ~ learn more