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

> 全文为俄语

**Published:** 2026年10月27日
**Author:** Machinelearning
**Source:** Telegram — AI Machine Learning Big Data
**Language:** ru-RU
**HTML:** https://aiqazaqstan.com/zh/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.*