С помощью ИИ-агентов математики закрыли последний открытый случай обратной задачи Галуа для спорадических групп — группу Матьё M23
Связка «математик плюс ИИ-агенты» закрывает вопросы, которые висели десятилетиями, — за месяцы вместо поколений.
Обратная задача Галуа спрашивает, какие группы симметрий могут возникать у корней многочленов; для M23 — последней из 26 спорадических групп — ответа не было десятилетиями. Команда Рейчел Прайс, Бьорна Пунена и коллег после майской встречи в Калтехе запустила ИИ-агентов перебирать симметрии и численно приближать уравнения; один агент выбрал рабочую поверхность из семи кандидатов, и из неё получилось семейство многочленов 23-й степени с нужной группой. Параллельно краудсорсинговый конкурс каталогизировал все 25 тыс. соответствий для 24 корней — там победители из Германии использовали ИИ лишь для скрипта загрузки. «Пять лет назад так было невозможно», — говорит Кю-Хван Ли.
Источники 1