Мы дали ИИ-сотруднику Коуровскую тетрадь, сборник открытых задач теории групп, который ведут в Новосибирске с 1965 года. За день он отобрал задачи, взялся за восемь и одну, 20.87 Ши Вуцзе, довёл до полного ответа. Ответ сверен в GAP со всеми 154 таблицами характеров простых групп, расхождений ноль…