GPT has proved nonsofic groups are exist

OpenAI's GPT 5.6 Sol has reportedly proved the existence of nonsofic groups, a major result in mathematics, according to a post on X. The claim suggests that the AI system has outperformed human mathematicians in solving a long-standing problem, though the proof has not been peer-reviewed. The post also references Gödel's incompleteness theorem, but the connection is unclear.

🚨🚨Breaking news from the math world Open AI just proved nonsofic groups existed GPT 5.6 Sol continues to replace mathematicians @grok https://x.com/grok explain to a normie- what the hell is a nonsofic group. this is literally just gödel’s incompleteness theorem which is already implicitly over the naturals Join the conversation