ch
Feedback
tropical saint petersburg

tropical saint petersburg

前往频道在 Telegram
3 155
订阅者
+224 小时
无数据7
-430
吸引订阅者
六月 '26
六月 '26
+18
在0个频道中
五月 '26
+31
在3个频道中
Get PRO
四月 '26
+32
在0个频道中
Get PRO
三月 '26
+45
在3个频道中
Get PRO
二月 '26
+41
在3个频道中
Get PRO
一月 '26
+39
在2个频道中
Get PRO
十二月 '25
+91
在2个频道中
Get PRO
十一月 '25
+54
在2个频道中
Get PRO
十月 '25
+67
在4个频道中
Get PRO
九月 '25
+45
在3个频道中
Get PRO
八月 '25
+59
在4个频道中
Get PRO
七月 '25
+89
在2个频道中
Get PRO
六月 '25
+110
在10个频道中
Get PRO
五月 '25
+35
在0个频道中
Get PRO
四月 '25
+38
在1个频道中
Get PRO
三月 '25
+53
在2个频道中
Get PRO
二月 '25
+41
在0个频道中
Get PRO
一月 '25
+59
在1个频道中
Get PRO
十二月 '24
+100
在3个频道中
Get PRO
十一月 '24
+64
在2个频道中
Get PRO
十月 '24
+78
在2个频道中
Get PRO
九月 '24
+101
在3个频道中
Get PRO
八月 '24
+79
在2个频道中
Get PRO
七月 '24
+85
在5个频道中
Get PRO
六月 '24
+86
在5个频道中
Get PRO
五月 '24
+68
在1个频道中
Get PRO
四月 '24
+89
在1个频道中
Get PRO
三月 '24
+62
在0个频道中
Get PRO
二月 '24
+75
在1个频道中
Get PRO
一月 '24
+168
在11个频道中
Get PRO
十二月 '23
+123
在6个频道中
Get PRO
十一月 '23
+71
在0个频道中
Get PRO
十月 '23
+89
在0个频道中
Get PRO
九月 '23
+88
在0个频道中
Get PRO
八月 '23
+98
在0个频道中
Get PRO
七月 '23
+56
在0个频道中
Get PRO
六月 '23
+70
在0个频道中
Get PRO
五月 '23
+264
在0个频道中
Get PRO
四月 '23
+55
在0个频道中
Get PRO
三月 '23
+75
在0个频道中
Get PRO
二月 '23
+84
在0个频道中
Get PRO
一月 '23
+41
在0个频道中
Get PRO
十二月 '22
+47
在0个频道中
Get PRO
十一月 '22
+33
在0个频道中
Get PRO
十月 '22
+122
在0个频道中
Get PRO
九月 '22
+95
在0个频道中
Get PRO
八月 '22
+33
在0个频道中
Get PRO
七月 '22
+20
在0个频道中
Get PRO
六月 '22
+11
在0个频道中
Get PRO
五月 '22
+14
在0个频道中
Get PRO
四月 '22
+9
在0个频道中
Get PRO
三月 '22
+19
在0个频道中
Get PRO
二月 '22
+39
在0个频道中
Get PRO
一月 '22
+49
在0个频道中
Get PRO
十二月 '21
+58
在0个频道中
Get PRO
十一月 '21
+95
在0个频道中
Get PRO
十月 '21
+59
在0个频道中
Get PRO
九月 '21
+106
在0个频道中
Get PRO
八月 '21
+127
在0个频道中
Get PRO
七月 '21
+95
在0个频道中
Get PRO
六月 '21
+68
在0个频道中
Get PRO
五月 '21
+80
在0个频道中
Get PRO
四月 '21
+94
在0个频道中
Get PRO
三月 '21
+41
在0个频道中
Get PRO
二月 '21
+95
在0个频道中
Get PRO
一月 '21
+206
在0个频道中
Get PRO
十二月 '20
+624
在0个频道中
日期
订阅者增长
提及
频道
24 六月0
23 六月+3
22 六月0
21 六月+3
20 六月0
19 六月+1
18 六月0
17 六月+1
16 六月+1
15 六月0
14 六月0
13 六月+1
12 六月0
11 六月+1
10 六月0
09 六月+1
08 六月0
07 六月+1
06 六月+2
05 六月0
04 六月+1
03 六月+1
02 六月+1
01 六月0
频道帖子
По-моему, прикольная формула. (тут, стр. 5, доказательства где-то внутри 116ти-страничного текста, среди кучи всякого другого
По-моему, прикольная формула. (тут, стр. 5, доказательства где-то внутри 116ти-страничного текста, среди кучи всякого другого (симплектического, тропического, решёточного) винегрета).

2
Маятник Фуко позволяет увидеть (не глядя на неподвижные звёзды!) вращение Земли вокруг своей оси: маятник последовательно сби+4
Маятник Фуко позволяет увидеть (не глядя на неподвижные звёзды!) вращение Земли вокруг своей оси: маятник последовательно сбивает предметы, расставленные по кругу, а значит, поворачивается относительно пола. Как связаны вращение Земли вокруг оси и поворот плоскости колебаний маятника Фуко? Почему на полюсе маятник Фуко делает полный оборот за сутки, а на экваторе его плоскость колебаний вращаться не будет? Какую часть круга заметёт за сутки маятник Фуко, находящийся на данной широте? Наглядный и запоминающийся ответ на эти вопросы даёт геометрический подход, представленный в фильме «Маятник Фуко». Правило для запоминания: на данной параллели маятник Фуко за сутки заметает сектор, являющийся развёрткой конуса, касающегося сферы по этой параллели. Объяснение для интересующихся: поворот маятника Фуко — это параллельный перенос (в смысле дифференциальной геометрии) вектора вдоль параллели — замкнутого пути, не являющегося кратчайшим на сфере. Этим фильмом «Математические вторники» 2025/2026 завершаются.
701
3
Отсюда, "О преобразовании Гаусса — Ландена", Г. Б. Шабат
Отсюда, "О преобразовании Гаусса — Ландена", Г. Б. Шабат
2 082
4
просто картинки по выходным.
просто картинки по выходным.
2 277
5
Друзья, наконец могу рассказать про продолжение нашей ежегодной математической традиции🫨 Опять пробуем новый формат! Что так
Друзья, наконец могу рассказать про продолжение нашей ежегодной математической традиции🫨 Опять пробуем новый формат! Что такое ЛИПС? ЛИПС (летняя исследовательская программа студентов) - это ежегодная школа-конференция для студентов математиков, которую мы организуем на базе Лаборатории комбинаторных и геометрических структур ФПМИ МФТИ. Для кого школа? Мы будем ждать вас, если вы студент-математик старше второго курса бакалавриата и интересуетесь одной из следующих тем исследований: • Комбинаторика (экстремальная комбинаторика, экстремальная теория множеств, теоретическая информатика) • Геометрия (дискретная и комбинаторная геометрия) • Топология (топологическая комбинаторика) Где? На кампусе МФТИ в Долгопрудном. Когда? 13 июля – 15 августа Что даст участие? За 5 недель вы погрузитесь в предметную область, поработаете над проектом в мини-группе под руководством ведущего ученого. Студенты, которые хорошо себя покажут на ЛИПС, смогут получить рекомендацию от руководителя трека. Дедлайн подачи на школу - 20 мая. Ждем ваших заявок! Обязательно изучите все подробности отбора и программы на сайте Лаборатории комбинаторных и геометрических структур. Проект реализуется при поддержке Фонда целевого капитала МФТИ. По вопросам: @thesekunda
1 977
6
Фейсбук показал картинку с выложенной статьёй 72тыс. человек. У меня мало объяснений, а) почему и б) зачем.
Фейсбук показал картинку с выложенной статьёй 72тыс. человек. У меня мало объяснений, а) почему и б) зачем.
1 958
7
а Xin Zhang добил гипотезу Зарембы
а Xin Zhang добил гипотезу Зарембы
3 048
8
Самое лучше эссе о математике и ИИ, что я видел (длинное, правда). Часть тезисов: 1. Математика (зря!) оценивается через “экономику теорем”. Профессиональная система слишком долго считала главным продуктом математики доказанные теоремы, тогда как реальная ценность часто находится в определениях, языке, объяснении и понимании. 2. Формально проверенное доказательство не обязательно становится частью математики. Даже если ИИ выдаёт корректный Lean-доказательный объект, это ещё не означает, что результат стал полезным для математического корпуса. Нужны хорошие определения, переиспользуемость, связь с существующими теориями. Иначе возникает слой “правильных, но непонятных” доказательств. 3. ИИ может быстро извлекать скрытую ценность из уже существующей литературы. Бессис вводит идею “overhang”: в математическом корпусе уже накоплено много неиспользованных связей между задачами, понятиями и областями. Люди видят только малую часть литературы, а LLM потенциально могут находить такие связи систематически. Это может дать реальные открытия, но также может разрушить прежнюю систему признания, где люди долго строят контекст, а ИИ забирает последний шаг.
4 343
9
Красивая формула и доказательство несложное!+1
Красивая формула и доказательство несложное!
2 259
10
Чудище обло, озорно, огромно, стозевно и лаяй : прохуjало с вихором, поносом и предрассудием
2 464
11
Послушал Daniel Litt, Integrating AI tools into day-to-day mathematical work. Конспект неочевидных вещей: 1) AI продуцирует много неверных утверждений и кода, это надо ожидать, и жестоко бороться (вторая часть неочевидна). 2) он, например, если видит доказательство, похожее на правильное, не копирует кусок текста, а пытается сам перепридумать и написать (видимо, так, как минимум, мозги не отсохнут), потому что что часто бывает очень правдоподобно, но всё же неверно. 3) если видишь что-то, что кажется не просто неверным, а непонятным, дальше не читаешь. 4) руками посчитать большое количество примеров и на них уже тестить, сравнивать с тем, что AI выдаёт. 5) можно очень быстро ставить эксперименты и считать примеры, что раньше мог делать, условно говоря, только очень хороший студент. 6) надо не только просить доказать, но "доказать или опровергнуть" 7) никогда не просить его писать текст (потому что почти наверняка там будут ошибки, которые очень сложно выловить), только выдавать построчные комментарии. Гораздо лучше большинство редакторов или рецензентов в том, что касается мелких деталей. ещё порекомендовал https://www.refine.ink/faq и https://coarse.ink/setup для вычитки статей (кто-нибудь пользовался?) ChatGPT Plus ищет очень много ошибок, которые я глазами не вижу (в том числе математических!), но утверждается, что это ещё на порядок круче.
0
12
Десять лет заняло доказательство. Наконец, сделали!+1
Десять лет заняло доказательство. Наконец, сделали!
0
13
Интересно бы применить топологический анализ данных (TDA) на игре Го (weiqi). Там явно много визуальной геометрии. В отличие от классической TDA, где просто точки, тут фишки двух цветов (или даже трёх, потому что незанятые клетки тоже важны: глаза, потенциальные глаза и тд). Так что интересная математика тоже должна появиться. Но (мне) пока непонятно, с чего начать. Просто устойчивые гомологии конкретной позиции не выглядят интересным объектом.
0
14
Христос Воскресе!
Христос Воскресе!
0
15
срезал. 102 минуты размышлений это рекорд. Раньше максимум 30 минут было.
срезал. 102 минуты размышлений это рекорд. Раньше максимум 30 минут было.
0
16
Пишут, что AI по имени Chebyshev под руководством Зельманова, Концевича, Окунькова, Перельмана, Смирнова и ещё одного (неназванного) будущего филдсовского лаурета доказала гипотезу Римана. В качестве промпта использовались недавно обнаруженные черновики Чебышёва, где содержался план доказательства.
0
17
30 марта 1796 Гаусс построил 17-угольник. Заметка об этом, а затем там ещё доказывают, что бесконечно много простых в прогрессиях nd+1 с помощью циклотомических многочленов, а также что сумма примитивных корней это минус функция Мёбиуса.
0
18
День теории игр 3 апреля. Приглашаем вас, ваших сотрудников и студентов посетить День теории игр в пятницу 3 апреля 2026 года. "День теории игр" (https://game.hse.ru/gtday2026) -- это научно-популярный онлайн лекторий о применении теории игр в разных главах теоретической экономики и других общественных науках. Мы расскажем о главных результатах и новых вопросах в главных разделах теории игр: аукционы, дизайн механизмов, военная наука, устройство рынков, сети, общественный выбор, дизайн информации и не только. Встреча пройдёт онлайн, ссылку вы получите после регистрации: https://forms.yandex.ru/u/69c24ae4eb61462a814aac12 Содержание: 11:15 Приветствие 11:30-12:00 Алексей Кондратьев, ВШЭ Петербург (https://www.hse.ru/org/persons/214098890/) "Теорема Эрроу и геометрическая прогрессия" 12:00-13:00 Олег Баранов, ВШЭ Москва (https://www.obaranov.com/index.html), "Аукционы -- теория, практика и снова теория". 13:00-13:30 Алексей Савватеев, МФТИ, АГУ, ЦЭМИ РАН (https://savvateev.xyz/), "Полковник Блотто приехал на фронт со своей молодой женой". 13:30-14:00 Александр Нестеров, ВШЭ Петербург (https://www.hse.ru/staff/asnesterov), "Задача трёх тел в экономике" + Анонс летней стажировки в Лаборатории теории игр. 14:00-15:00 Арсений Самсонов, ВШЭ Петербург (https://sites.google.com/view/asamsonov) Коллективный выбор устройства информации. 15:00-15:30 Татьяна Майская, ВШЭ Москва (https://www.tmayskaya.com/) "Я ловлю, ловлю сигналы" или "Тайная ценность тяжкого труда" 15:30-16:00 Иван Самойленко, ВШЭ Москва/Петербург (https://www.hse.ru/org/persons/208522817/), "Тятя, тятя, наши сети" 16:00-16:30 Василий Гусев, ВШЭ Петербург (https://www.hse.ru/org/persons/325138730/), "Значение Шепли (для науки и мира)". 17:00-18:00 Сергей Измалков (https://www.nes.ru/about/profiles/faculty/lecturers/Sergei-Izmalkov), "Рынок такси, рынок рекламы и кое-что совсем другое". 18:00-19:00 Михаил Решетов (https://economics.ucla.edu/person/mikhail-reshetov/), "Идентификация в аукционах, макро, эконометрика и саморефлексия". ------------приложение--------------- ссылки на прошлые дни теории игр с подробностями: день теории игр на матфаке 2022 - https://math.hse.ru/announcements/582587008.html - лекция Сергея Измалкова "аукционы и механизмы" оттуда - https://rutube.ru/video/797474bb80d499839d6855e52aeb36c3/?r=wd день теории игр на матфаке 2023 - https://math.hse.ru/announcements/826672843.html день теории игр на матфаке 2024 - https://telegra.ph/Den-Teorii-Igr-na-Matfake-04-13 - полная запись (6 часов!!!) - https://www.youtube.com/watch?v=r5q0p19pv9o день теории игр в РЭШ 2024 - https://events.nes.ru/events/v-resh-projdet-tretij-den-teorii-igr/ день теории игр на МКН СПбГУ 2024 - https://vk.com/wall-25595467_5184
0