# ИИ за 24 дня формализовал самое длинное доказательство в истории математики, над которым около 100 учёных работали...

> Full text available in Russian

**Published:** October 27, 2026
**Author:** Machinelearning
**Source:** Telegram — AI Machine Learning Big Data
**Language:** ru-RU
**HTML:** https://aiqazaqstan.com/en/articles/ii-za-24-dnya-formalizoval-samoe-dlinnoe-dokazatelstvo-v-istorii-matemat

✔️ ИИ за 24 дня формализовал самое длинное доказательство в истории математики, над которым около 100 учёных работали десятилетиями. Компания Axiom Math объявила о завершении компьютерной проверки теоремы классификации конечных простых групп (CFSG), известной как «Огромная…

> From the original source: **Telegram — AI Machine Learning Big Data**
> [Read full article at Telegram — AI Machine Learning Big Data](https://t.me/ai_machinelearning_big_data/11225)

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*