ИИ-ассистент решил одну из 1072 открытых задач теории групп

Нейросеть обработала Коуровскую тетрадь, содержащую 1072 нерешённые задачи, и нашла полное решение для задачи 20.87. Результат был верифицирован с помощью системы GAP по таблицам характеров простых групп без расхождений.