从现有信息看，OpenAI宣布攻克纳维-斯托克斯千禧年难题后，有数学家质疑其利用