从现有信息看，OpenAI宣称解决NS问题，历史上这类世纪猜想的解决宣称多有反复