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

> Толық мәтін орыс тілінде

**Published:** 2026 ж. 27 қазан
**Author:** Machinelearning
**Source:** Telegram — AI Machine Learning Big Data
**Language:** ru-RU
**HTML:** https://aiqazaqstan.com/kk/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.*