[Перевод] Агенты Axiom Math доказали полноту классификации конечных простых групп всего лишь в 41,3 млн. строчках кода Lean
Хабр · 02.11.2026 · 09:04
26 октября 2026 года компания Axiom Math сообщила о завершении полной формализации Теоремы о классификации простых конечных групп.В международном математическом сообществе теорема известна…