There is no NS proof here. Its just a counter example. There is another team working on a proof but they aren't associated with OpenAI.