An AI-generated solution to the Navier-Stokes Millennium Prize Problem has been shared, accompanied by a detailed writeup. The submission also features a formal mathematical proof written in the Lean theorem proving language.