Comment by nl

> Our proofs also differ significantly. In the Euler case, Alpöge and Buckmaster proved a result with external forcing, while OpenAI’s system proved a result without external forcing.

https://openai.com/index/navier-stokes-solution/