1 Aug 2026, 11:30 UTC641 views23 reactionsread 7 August 2026 слайды я пока не смотрел. давайте тоже выдам чёто про ИИ в математике (и больше к этой теме постараюсь не возвращаться — и так везде обсуждают).
в-нулевых, я нейросетями всерьез не пользуюсь (в т.ч. потому что боюсь выработать толерантность к буллшиту (см. также)). это старомодная и во многом иррациональная позиция, но последствия меня ещё не коснулись. скоро коснутся.
во-первых, сейчас я всё-таки занимаю ксенофобс…
❤11💋5👎2👏2👻2👍1
1 Aug 2026, 11:05 UTC632 views6 reactionsread 7 August 2026 (из комментов к https://t.me/tropicalgeometry/1159 )
💋6
1 Aug 2026, 11:05 UTC633 views4 reactionsread 7 August 2026 https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf
💋4
1 Aug 2026, 11:05 UTC718 views19 reactionsread 7 August 2026 Photo
Интересная идея, но я думаю лучше исходить из слайдов Т.Тао:
что мы хотим от людей с math PhD? Хотим proof digestion. Тогда за это и надо давать PhD
🥴9👍6💋3🤔1
21 Jul 2026, 06:07 UTC≈1,120 views28 reactionsread 7 August 2026 https://zzhang-iu.github.io/papers/direct-consequences-jacobian/
🔥15😢8👍3💋1🥱1
4 Jul 2026, 06:49 UTC≈1,720 views50 reactionsread 7 August 2026 Photo
легенды дизайна кстати
https://erlagol.ru/arhiv/
❤🔥26🏆10💋5😁3custom 54651612435159530333❤1👻1🤯1
20 Jun 2026, 14:35 UTC≈2,130 views18 reactionsread 7 August 2026 Photo
лемма, кстати, — первый шаг вот в каком симпатичном результате So, Theriault: если у (замкнутого ориентированного) четырёхмерного многообразия нет 2-кручения в первых гомологиях, то надстройка у него "наипростейшая возможная"
(наличие или отсутствие CP^2 — это вопрос о том, есть ли во вторых когомологиях класс с нечётным квадратом; по формуле Ву это равносильно нетривиальности второго числа Штифеля—Уитни, то есть от…
🤯10❤4💋3👍1
20 Jun 2026, 14:26 UTC≈1,520 views5 reactionsread 7 August 2026 Photo
Почему с кручением так не получится? Давайте попробуем победить всю группу π=π_2(Y) сразу.
Пришёл, заклеил, запетлил:
Y' -> Y -p-> K(π,2),
ΩY' -> ΩY -Ωp-> K(π,1).
Так как π=π_1(ΩY)=H_1(ΩY),
возникает отображение
s: M(π,1) -> ΩY
(изоморфизм на π_1).
Это и есть наше "сечение". Его композиция с проекцией — это стандартное вложение
M(π,1) -i-> K(π,1).
Если π=Z — эквивалентность, победили. Если π конечна — у пространст…
🤯3💋2
20 Jun 2026, 14:05 UTC992 views6 reactionsread 7 August 2026 Это кажется мне красивым по двум причинам.
Во-первых, конструкция похожа на башню Уайтхеда ("убивание гомотопических групп"), только мы убиваем не всю π_2(Y), а только свободную часть. Но если эта группа свободная, то "первое расслоение в этой башне после запетливания имеет сечение и поэтому становится тривиальным".
Во-вторых, для меня было неожиданностью, что сюжет "расслоение такое, что Ωp имеет сечение" проявляе…
💋6
20 Jun 2026, 13:58 UTC≈1,050 views11 reactionsread 7 August 2026 Второе расскажу, первое — упражнение (по аналогии (arXiv:1909.11129, Lemma 5.1)).
Y односвязное конечного типа; обозначим k=b_2(Y). Тогда факторгруппа π_2(Y)/Tors(π_2(Y)) изоморфна Z^k.
Возьмём гомотопический слой F у композиции
p: Y -> K(π_2(Y),2) -> K(π_2(Y)/Tors,2),
где первая стрелка — это "заклеивание" старших гомотопических групп.
Получается расслоение
F -> Y -p-> K(π_2(Y)/Tors,2)
и, следовательно, расслоение…
❤7💋2custom 54651612435159530332
20 Jun 2026, 12:28 UTC≈1,020 views24 reactionsread 7 August 2026 Photo
окружность — одновременно и пространство Мура, и пространство Эйленберга—Маклейна. Следствия забавные: от надстройки можно отщепить букетом все вторые когомологии, а от пространства петель можно отщепить множителем все первые. (H_2(ΣC) = Tors H_2(ΣX) и H_1(ΩF) = Tors H_1(ΩY) так уже не убрать)
custom 546516124351595303316💋4❤3🤯1
12 Jun 2026, 14:46 UTC≈1,680 views54 reactionsread 7 August 2026 Photo
у этой* статьи 3285 цитирований
*Maxim Kontsevich. Deformation quantization of Poisson manifolds (2003), arXiv'ная версия (1997)
custom 546516124351595303329❤🔥14😁6😢2❤1👻1💋1
Showing the 12 most recent of 19 posts we hold for @sweet_homotopy. View and reaction counts are the latest single reading for each post, not a live figure, and a recent post is still accumulating both. A view count marked ≈ was rounded by Telegram before we ever saw it — t.me prints views in full below 1,000 and to three significant figures above, so ≈1,200,000 means somewhere between 1,150,000 and 1,249,999. Unmarked counts are exact. Text is reproduced from the public post preview and truncated for length.