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

Автоматизированная система, которую авторы называют ИИ-сотрудником, за день просмотрела 1072 открытые задачи из Коуровской тетради — сборника нерешённых вопросов по теории групп, который ведут в Новосибирске с 1965 года. Из них она выбрала восемь и по одной, задаче 20.87 Ши Вуцзе, довела рассуждение до полного ответа.

Результат сверили в GAP — системе компьютерной алгебры для вычислительной теории групп. Сверка шла по всем 154 таблицам характеров простых групп, расхождений не обнаружено. Препринт с решением отправлен редакторам тетради 18 октября, код проверки открыт.

Людьми решение пока не проверено. Это ключевая оговорка: сверка в GAP подтверждает совместимость ответа с известными таблицами, но не заменяет рецензирования специалистами по теории групп.