TL;DR:

It seems the AI wrote code in Lean that proves there are solutions to Navier-Stokes that can blow up, but...

the AI's explanation of the code, in natural language, does not correspond to the Lean proof!

That is... so rich with irony.