More on OpenAI's proofs:

1. French mathematician Sylvia Serfaty: Most of OpenAI's results would deserve the Fields Medal. The proofs are of incredible complexity and also sometimes of striking beauty. That is to say, we do not have the monopoly on beauty.

Source: https://www.youtube.com/watch?v=m6JLrjfUL_c

2. “Rumors that OpenAI’s “Navier-Stokes” solution stole the work of two mathematicians may have been overblown … When you go to the details, it is a different approach,” says Gonzalo Cao-Labora, a mathematician at EPFL … All said that it’s increasingly clear that the company’s proof does not follow the Spanish program.”

Source: https://www.scientificamerican.com/article/openais-blockbuster-navier-stokes-proof-isnt-what-we-thought-it-was/ [no paywall: https://archive.is/g6zy3]