Пару месяцев назад мы с Дамеком Дэвисом запустили первый математический конкурс в Фонде SAIR, направленный на «дистилляцию» способности решать 22 миллиона задач универсальной алгебры в сжатую форму. Первый этап этого конкурса завершен, и было создано несколько эффективных «шпаргалок» для угадывания истинности или ложности […]