Steve McCormick
@Quasilocal
Mathematician (Math.DG / gr-qc).
+3 Fire damage.
362 Following 9.2K Followers
The plot thickens.
"We show that the formalised Lean proof does not correspond to the [written paper] proof of blow-up of solutions to the Navier-Stokes equations."
The entire AI world right now
