从现有信息看，OpenAI用内部模型解决了纳维-斯托克斯千禧年难题，还引发了数据