1 related articles
OpenAI has allegedly completed the first construction of a nonsofic group in mathematical history. If proven valid, this would resolve a core open problem in group theory that has stood for over twenty years.