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

**Published:** 27 октября 2026 г.
**Author:** Machinelearning
**Source:** Telegram — AI Machine Learning Big Data
**Language:** ru-RU
**HTML:** https://aiqazaqstan.com/ru/articles/ii-za-24-dnya-formalizoval-samoe-dlinnoe-dokazatelstvo-v-istorii-matemat

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

> Материал агрегирован из первоисточника: **Telegram — AI Machine Learning Big Data**
> [Читать полностью в 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.*