On September 8, OpenAI announced it had used AI to produce a proof for the Navier-Stokes Existence and Smoothness problem