Post

OpenAI consistently claims (and I have no reason to doubt) that they thought that 1) it was Anthropic doing it rather than mathematicians, and 2) that it was solved rather than a promising in-progress research. That's presumably how they justified to themselves their attempt to scoop the result.