So, it seems OpenAI is about to release something like 400 AI-generated proofs on a public server.

To the best of my understanding, people are still trying to figure out how the forced Navier–Stokes example actually works. I know of several experts who are studying it, and it is