Классификация конечных простых групп, формализованная в Lean с помощью роя ИИ

Математик и философ доктор Сэмюэл Аллен Александр читает и комментирует статью «Классификация конечных простых групп, формализованная в Lean» (автор Axiom) и связанные с ней ссылки.