> We did not rush to publish even though the other team wasn't communicating with us.

Pretty clear this was rushed: there are no comments from external mathematicians, unlike the Erdős announcement:

https://openai.com/index/model-disproves-discrete-geometry-c...