MAA — САП
9 июля 2023 · пост · оригинал
Тема: Математика (также: Прочее) · как говорит: Чужой текст о нём · метки: Индия
Лента телеграм-канала «MAA — САП» (посты 2025–2026): репосты о Конакове, Борисе Останине, Премии Леона Богданова и курсах Куртова, а также математические посты Михайлова — хроника работы его группы с нейросетями (Капланский, Уайтхед, парасвободность, fr-язык, спектралки), новые 3-примарные гомотопические группы 3-сферы, цепочки к гипотезе Уайтхеда и вложение счётных групп в FP_∞.
Математику (32 высказывания) вики не разбирает — здесь только истории, люди и его мысли о мире.
Содержание
- Алексей Конаков о восприятии науки и «феномене Кулагиной» в позднем СССР
- Памяти Бориса Останина; рецензия Куртова на книгу Конакова
- Список открытых вопросов об fr-языке; статья о гомологиях пронильпотентного пополнения
- Премия Леона Богданова, лекция Куртова в семинаре «Языки и пространства», Курс свободного исследования
- Письмо Сереже: хроника работы с нейросетями с начала 2025 по август 2026 и «почти этический» момент
- 3-кручение гомотопических групп 3-мерной сферы до 133-й группы; вложения счётных групп в FP_n
- Чужой пост: предтриангулированная категория без аксиомы октаэдра, построенная с Codex
- Подход к гипотезе асферичности Уайтхеда через цепочки 2-комплексов; вложение счётных групп в FP_∞
Что он говорит
★ — насколько это важно для источника.
- ★★★ У него сложилось впечатление, что это не вероятностные языковые модели, а скоростные монстры, прорывающие семантические слои, с чутьём к метафорам и интуицией; работа с ними похожа на кладоискательство, хотя порой видна их полная беспомощность. > «скоростные монстры, прорывающие семантические слои, прекрасно чувствующие метафоры и имеющие интуицию»
- ★★★ У него есть почти этическое чувство: он вправе заниматься только вопросами, которым отдал десятки лет, и использовать «оракулов» только в мирах, которые сам развивал; на объективную этичность он не претендует. > «Чувствую, что имею право использовать оракулов только в тех мирах, которые сам развивал годами.»
Сюжеты и позиции
- этап · Михайлов: поиск математических результатов с нейросетями (2025–2026) — Вышли три работы, остальные, как он надеется, скоро появятся; две конструкции получены при участии ИИ, и есть ещё общее описание размерных факторов через граничные пределы.
- замысел · Михайлов: поиск математических результатов с нейросетями (2025–2026) — В начале 2025 года он видел в ИИ лишь машину анализа паттернов, и появилась идея искать с ним контрпримеры к гипотезам Капланского и Уайтхеда и к описанию гомотопических групп сфер.
- выход · Михайлов: поиск математических результатов с нейросетями (2025–2026) — К концу 2025 года небольшая группа завела закрытые чаты и стала ежедневно играть в спичечные диаграммы; в декабре В. И. с помощью сетки написал код для SAT-солвера, за 40 секунд нашедший единицу Гардама 21 на 21, — это изменило его отношение к сеткам.
- взгляд назад · Михайлов: поиск математических результатов с нейросетями (2025–2026) — Итог: продвижения во всех направлениях, но в задачах «средней полосы»; ни одна большая проблема — Капланский, Уайтхед, парасвободная гипотеза, Мур, E2-лист, Z-поднятие единиц — не взята.
Упоминания
Главное: fr-язык · Гипотеза асферичности Уайтхеда · Гипотеза Капланского · Гомотопические группы сфер
Также: AIRI · Claude · DeepMind · Lean · OpenAI · Алексей Конаков · Борис Останин · Гипотеза Мура · Гипотеза Эйленберга — Ганеа · Голографический принцип · Гомологии групп · Горький · Дели · Кокрофтов комплекс · Леон Богданов · Лямбда-алгебра · Михаил Громов · Михаил Куртов · Младен Бествина · Нож · Парасвободная гипотеза · Премия Леона Богданова · Проблема размерных подгрупп · Санкт-Петербургский государственный университет · САП · Сергей Иванов (человек, 2016) · Ханс-Йоахим Баус · Хироси Тода · Ян Лири · Яндекс