OpenAI's release explicitly says No. But then also caveats that with "we cannot rule out that de-identified data derived from their usage of our products" impacted things.

What's most striking to me, and what may or may not be true, is the "we cannot rule out" bit.

"We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve this problem. While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models . However, our proofs differ significantly and even the precise results proved are different in the Euler case (forced vs unforced)." https://openai.com/index/navier-stokes-solution/

That disclaimer could mean maybe Astra inferred your theory from the pattern of clicks on the Accept button.

Anyways, the moral of the story is: Not your GPU, not your data.