Михайлов: поиск математических результатов с нейросетями (2025–2026)

история проекта · статус: идёт · последнее событие: начало (25 августа 2026)

Поиск контрпримеров и новых результатов в теории групп и гомотопической топологии с помощью нейросетей, начатый Михайловым и небольшой группой в 2025 году. Продвижения получены во всех направлениях, но ни одна большая проблема пока не решена.

Начало известно из поздних рассказов

2025 в названии — когда это началось; в прочитанных источниках оно впервые появляется в 2026, так что о начале известно только из того, что сказано позже.

О чём: Проблема размерных подгрупп, Гипотеза Капланского, Гипотеза асферичности Уайтхеда, Гомотопические группы сфер, Парасвободная гипотеза, Гипотеза Мура

дата	событие	что	источник
25 августа 2026	этап	Вышли три работы, остальные, как он надеется, скоро появятся; две конструкции получены при участии ИИ, и есть ещё общее описание размерных факторов через граничные пределы. (с оговоркой)	Хроника работы с ИИ, ч. 1
25 августа 2026 (было 2025 г.)	замысел	В начале 2025 года он видел в ИИ лишь машину анализа паттернов, и появилась идея искать с ним контрпримеры к гипотезам Капланского и Уайтхеда и к описанию гомотопических групп сфер.	Хроника работы с ИИ, ч. 1
25 августа 2026 (было 2025 г.)	начало	К концу 2025 года небольшая группа завела закрытые чаты и стала ежедневно играть в спичечные диаграммы; в декабре В. И. с помощью сетки написал код для SAT-солвера, за 40 секунд нашедший единицу Гардама 21 на 21, — это изменило его отношение к сеткам.	Хроника работы с ИИ, ч. 1
25 августа 2026	взгляд назад	Итог: продвижения во всех направлениях, но в задачах «средней полосы»; ни одна большая проблема — Капланский, Уайтхед, парасвободная гипотеза, Мур, E2-лист, Z-поднятие единиц — не взята.	Хроника работы с ИИ, ч. 2