Terry Tao's blog hosts a guest post arguing that an AI answer to Navier–Stokes doesn't mean math is solved

After Math

On Sept 8, 2026, OpenAI announced an AI-generated solution to the Navier–Stokes existence and smoothness problem, including a Lean formalization and an informal manuscript. Guest authors Silvia De Toffoli and Eamon Duede argue that a logically valid proof isn't enough—mathematicians also need an intelligible proof they can grasp and build on. They reject the framing that math is just problem-solving. The post does not disclose the model architecture, training data, or compute cost.

Why it matters: Terence Tao's platform, two named scholars, and a direct response to OpenAI's Sept 8 claim make this highly topical. The post goes beyond sentiment — it offers a concrete framework ('understandable proof' vs formal verification) that adds real insight for AI professionals. Sco...