OpenAI's Navier–Stokes proof — Sources's mentions