> - the proof generated by our model was very different from theirs and also goes far beyond the published literature

I'm hearing two completely conflicting stories. Buckmaster is claiming the approach used by OpenAI is so strikingly similar to the one he used, that mere coincidence is astronomically small. Yet OpenAI is claiming that the methods used are entirely different.

Anyone care to provide primary evidence proving one way or the other?