Хроника работы с ИИ, ч. 1

25 августа 2026 · пост · Роман Михайлов · MAA — САП · оригинал

Тема: Математика · как говорит: Лекция и объяснение · метки: Индия

Лента телеграм-канала «MAA — САП» (посты 2025–2026): репосты о Конакове, Борисе Останине, Премии Леона Богданова и курсах Куртова, а также математические посты Михайлова — хроника работы его группы с нейросетями (Капланский, Уайтхед, парасвободность, fr-язык, спектралки), новые 3-примарные гомотопические группы 3-сферы, цепочки к гипотезе Уайтхеда и вложение счётных групп в FP_∞.

Математику (9 высказываний) вики не разбирает — здесь только истории, люди и его мысли о мире.

Содержание

• Хроника работы с ИИ, ч. 1

Что говорит Михайлов

★ — насколько это важно для источника.

• ★ В мае 2025 года он рассказывал в Яндексе о гипотезе Капланского и предлагал искать пример с помощью нейросетей. · Гипотеза Капланского
• ★★ К концу 2025 года небольшая группа завела закрытые чаты и стала ежедневно играть в спичечные диаграммы; в декабре В. И. с помощью сетки написал код для SAT-солвера, за 40 секунд нашедший единицу Гардама 21 на 21, — это изменило его отношение к сеткам. · Гипотеза Капланского

Сюжеты и позиции

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

Упоминания

Главное: Гипотеза Капланского · Гомотопические группы сфер

Также: Claude · Дели · Парасвободная гипотеза · Проблема размерных подгрупп · Сергей Иванов (человек, упом. с 2013) · Яндекс

Только в описании или титрах: DeepMind

← Предыдущая: Математика Романа Михайлова (часть 1) · Следующая → Хроника работы с ИИ, ч. 2