Did OpenAI use the work of mathematicians to solve a Millennium Prize Problem?

OpenAI claimed that it has cracked the Navier-Stokes existence and smoothness question, one of the seven Millennium Prize Problems declared by the Scientific Advisory Board of the Clay Mathematics Institute of Cambridge, Massachusetts (CMI). However, the harder problem to solve might be convincing a public gallery that has grown more skeptical of the giant AI...