[Перевод] Агенты Axiom Math доказали полноту классификации конечных простых групп всего лишь в 41,3 млн. строчках кода Lean
26 октября 2026 года компания Axiom Math сообщила о завершении полной формализации Теоремы о классификации простых конечных групп. В международном математическом сообществе теорема известна как CFSG —…
Хабр
Повний текст, переклад і AI-підсумок — після входу
- Повний текст статті вашою мовою
- AI-підсумок і переклад з оригіналу
- Той самий акаунт працює в додатку Suviy
Схожі матеріали
Коментарі
Увійдіть, щоб долучитися до обговорення. Увійти
Коментарів поки немає.