9 Aug 2026, 19:18 UTC650 views20 reactionsread 12 August 2026 ✨ Несофическая группа: дайджест
Продолжаем следить за новостями математики в эпоху AI. 1 августа OpenAI опубликовала десять математических результатов, полученных, по заявлению компании, её моделью. Третьим пунктом там стоит построение несофической группы, и многие называют это самым серьёзным результатом в списке. Мне слово «софичность» не говорило ровно ничего, и я решил узнать, почему это интересно
🔥 Софичность …
❤13⚡4🔥3
Signed Vanya Yakovlev
5 Aug 2026, 15:16 UTC≈1,120 views30 reactionsread 12 August 2026 Forwarded from @qtasepPhoto
Слопом заваливает!
😭16🫡7😨5😁2
Signed Vanya Yakovlev
1 Aug 2026, 18:50 UTC≈1,760 views34 reactionsread 12 August 2026 ✨ Гипотеза якобиана пала: дайджест
19 июля Левент Альпёге выложил в X три многочлена и строчку: гипотеза якобиана неверна. Проблема стояла с 1939 года, Смейл ставил её шестнадцатой в списке задач века — а контрпример нашелся с помощью Claude Fable
🔥 Контрпример проверяется мгновенно, но откуда он берется, и как его придумать сразу не понятно. Скоро у примера нашлось очень красивое и простое геометрическое описание,…
❤20🔥9👍5
Signed Vanya Yakovlev
1 Aug 2026, 13:47 UTC≈1,420 views27 reactionsread 12 August 2026 Forwarded from @formallabs
⭐ Теория категорий: запись
Наконец, готова запись и слайды первой лекции курса по теории категорий
Я успел заметно меньше задуманного — больше половины материала осталась на следующий раз. Почти вся лекция ушла на теорию комбинаторных видов. Мне показалась, что это очень естественная мотивация категоричных понятий
🔵 Что такое комбинаторные виды?
Это язык, на котором удобнее формулировать задачи перечислительной ко…
🔥25👍1🆒1
Signed Vanya Yakovlev
1 Aug 2026, 13:47 UTC981 views9 reactionsread 12 August 2026 Наконец выложил слайды. В итоге получилась лекция по теории комбинаторных видов. Это самый разумный вход в теорию категорий, доступный и мотивированный для матшкольников, который я нашел, так что если вы знаете комбинаторику, но не знаете категории, рекомендую разобраться с ними
🔥9
Signed Vanya Yakovlev
29 Jul 2026, 16:57 UTC≈1,190 views2 reactionsread 12 August 2026 Forwarded from @formallabs
Начинаем через 5 минут!
Ссылка на зум на старнице курса
🔥2
Signed Vanya Yakovlev
29 Jul 2026, 16:57 UTC≈1,230 views1 reactionsread 12 August 2026 Подключайтесь на лекции по теории категорий
😱1
Signed Vanya Yakovlev
25 Jul 2026, 16:32 UTC≈1,690 views30 reactionsread 12 August 2026 Forwarded from @formallabs
Posted without readable text
❤19⚡7👍4
Signed Vanya Yakovlev
25 Jul 2026, 16:32 UTC≈1,440 views14 reactionsread 12 August 2026 Хочу поделиться ещё одним анонсом. В среду я выступлю в неожиданной для себя роли — прочитаю онлайн-лекцию по теории категорий
Коллеги запустили курс по теории типов и по просьбам слушателей решили организовать еще один по теории категорий. Несколько вводных лекций позвали прочитать меня, а основную часть возьмёт Василий Ионин
Я совсем не специалист по теоркату, и мне особенно интересно рассказать про нее как про я…
🔥13❤1
Signed Vanya Yakovlev
25 Jul 2026, 14:14 UTC≈1,140 views18 reactionsread 12 August 2026 Photo
✨ За что вручили премии на конгрессе: дайджест
Международный конгресс идёт в Филадельфии с 23 по 30 июля. В первый день объявили лауреатов нескольких премий
🔥 Мне отдельно приятно, что медаль дали Джону Пардону за симплектическую топологию, которой я занимался в аспирантуре — он всегда казался очень ярким. Ещё одна медаль за гипотезу Какея, которую активно обсуждали в прошлом году. А про остальных я ничего не знал…
🔥11👍4⚡2❤1
Signed Vanya Yakovlev
24 Jul 2026, 16:05 UTC≈1,810 views17 reactionsread 12 August 2026 Posted without readable text
🔥9🦄4⚡2❤2
Signed Vanya Yakovlev
23 Jul 2026, 15:51 UTC947 views25 reactionsread 12 August 2026 Forwarded from @cme_channel
mathunion.org/imu-awards/fields-medal/fields-medals-2026
Филдсовские медали-2026
Yu Deng — «For his work in partial differential equations, including the rigorous derivation of the Boltzmann equation from hard-sphere dynamics for rarefied gases, the derivation of wave kinetic equations from nonlinear dispersive systems, and probabilistic approaches to nonlinear Schrodinger dynamics.»
John Pardon — «For his achieve…
🎉16🔥5⚡2❤1😇1
Signed Vanya Yakovlev
Showing the 12 most recent of 16 posts we hold for @turings_crossword. 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.