问题

Buckmaster发布声明后不久，OpenAI公布了纳维-斯托克斯存在性与光滑性问题的完整证明，而Buckmaster的研究成果已为该证明的得出迈出了关键一步。

两人随后联系OpenAI，对方告知他们，OpenAI已经完成了这一核心问题的完整证明。