从现有信息看，针对OpenAI宣布解决NS问题的讨论中，有观点认为该NS证明不算