# GPT has proved nonsofic groups are exist

> Source: <https://twitter.com/iron_redux/status/2083360414037938609>
> Published: 2026-08-01 06:51:25+00:00

🚨🚨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