A Proof Of Existence Of Smooth Classical Solutions Of Navier-Stokes Equations (PDF)
A solution of Navier-Stokes Clay Math Millennium Prize Problem using my theorem that lim (limit) functional can be linearly extended to the entire space of functions, in collaboration with LLM.
Before I proved the above very powerful theorem (without use of AI). Then I tried to ask ChatGPT to prove Navier-Stokes Clay Math Problem using this theorem. ChatGPT claimed to have successfully done it.
I rewrote and checked for errors the ChatGPT's proof.
I started an attempt to formalize in Lean all math necessary to verify my NSE solution. I am unsure how much I can advance (I am not as good in formalization as in producing ideas.) But here is the formalization attempt - please submit pull requests to finish checking my proof.