This article explains the controversy and the mathematical problem much better than the tweet and toots: https://www.science.org/content/article/how-ai-math-breakthr...
Gromov’s soficity conjecture isn't even mentioned in the article you shared.
Why are you saying that this article explains it much better than the tweet that you clearly didn't even read..
I prefer to read the actual sources for anything related to AI companies given how much AI nonsense journalists seem to accept without any skepticism