НС
Нейро-Инсайдер: Слухи об ИИ, Новости про нейросети.
IT и технологии · 27 октября 2026 г.
Формализация математического доказательства на 15 000 страниц
Формализация математического доказательства на 15 000 страниц ИИ-агенты компании Axiom за 24 дня полностью формализовали одно из крупнейших доказательств в истории математики — классификацию простых конечных групп. Исходный труд объемом 15 000 страниц создавался коллективом из 100 ученых на протяжении нескольких десятилетий. Под руководством людей агенты перевели текст на язык Lean, сделав каждый логический шаг компьютерно-проверяемым. В процессе работы нейросети обнаружили и исправили ошибки, содержавшиеся в оригинальных вычислениях. 🧠 📰 Подписаться на канал
2 просмотров