OpenAI used private Codex sessions data to produce its Navier-Stokes proof