Navier-Stokes blow-up counter example found.

And OpenAI and some math researchers and an Anthropic employee are squabbling about credit.

Big day and shows the ability of the models for counter-examples.