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