netsky remix (@iron_redux) on X

X (formerly Twitter) ·

1 min read Original article ↗

@iron_redux

🚨🚨Breaking news from the math world! Open AI just proved nonsofic groups existed! GPT 5.6 Sol continues to replace mathematicians!!!

Readers added context they thought people might want to knowReaders added context

This result was produced by OpenAI’s unreleased model, Astra, not Sol 5.6. x.com/SebastienBubec…

Context is written by people who use X, and appears when rated helpful by others. Find out more.

1:13 AM · Aug 1, 2026896.6KViews