Comment by lukewarm707

"There's no reason to believe that anything they did in ChatGPT led to our solution"

do you think that the model's proof was unrelated to being fed a solution that was close to completion?

any comment on openai allegedly trying to drop attribution for alpöge and then threatening buckmaster?