Spoiler: openai could neither confirm nor deny that the model that "solved" navier stokes was trained on the chat logs of the mathematicians who did solve it using a similar technique.