fa
Feedback
tropical saint petersburg

tropical saint petersburg

رفتن به کانال در Telegram
3 158
مشترکین
-124 ساعت
+27 روز
+230 روز
جذب مشترکین
ژوئن '26
ژوئن '26
+9
در 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 کانال‌ها
تاریخ
رشد مشترکین
اشارات
کانال‌ها
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
پست‌های کانال
Отсюда, "О преобразовании Гаусса — Ландена", Г. Б. Шабат
Отсюда, "О преобразовании Гаусса — Ландена", Г. Б. Шабат

2
просто картинки по выходным.
просто картинки по выходным.
2 280
3
Друзья, наконец могу рассказать про продолжение нашей ежегодной математической традиции🫨 Опять пробуем новый формат! Что так
Друзья, наконец могу рассказать про продолжение нашей ежегодной математической традиции🫨 Опять пробуем новый формат! Что такое ЛИПС? ЛИПС (летняя исследовательская программа студентов) - это ежегодная школа-конференция для студентов математиков, которую мы организуем на базе Лаборатории комбинаторных и геометрических структур ФПМИ МФТИ. Для кого школа? Мы будем ждать вас, если вы студент-математик старше второго курса бакалавриата и интересуетесь одной из следующих тем исследований: • Комбинаторика (экстремальная комбинаторика, экстремальная теория множеств, теоретическая информатика) • Геометрия (дискретная и комбинаторная геометрия) • Топология (топологическая комбинаторика) Где? На кампусе МФТИ в Долгопрудном. Когда? 13 июля – 15 августа Что даст участие? За 5 недель вы погрузитесь в предметную область, поработаете над проектом в мини-группе под руководством ведущего ученого. Студенты, которые хорошо себя покажут на ЛИПС, смогут получить рекомендацию от руководителя трека. Дедлайн подачи на школу - 20 мая. Ждем ваших заявок! Обязательно изучите все подробности отбора и программы на сайте Лаборатории комбинаторных и геометрических структур. Проект реализуется при поддержке Фонда целевого капитала МФТИ. По вопросам: @thesekunda
1 977
4
Фейсбук показал картинку с выложенной статьёй 72тыс. человек. У меня мало объяснений, а) почему и б) зачем.
Фейсбук показал картинку с выложенной статьёй 72тыс. человек. У меня мало объяснений, а) почему и б) зачем.
1 958
5
а Xin Zhang добил гипотезу Зарембы
а Xin Zhang добил гипотезу Зарембы
3 048
6
Самое лучше эссе о математике и ИИ, что я видел (длинное, правда). Часть тезисов: 1. Математика (зря!) оценивается через “экономику теорем”. Профессиональная система слишком долго считала главным продуктом математики доказанные теоремы, тогда как реальная ценность часто находится в определениях, языке, объяснении и понимании. 2. Формально проверенное доказательство не обязательно становится частью математики. Даже если ИИ выдаёт корректный Lean-доказательный объект, это ещё не означает, что результат стал полезным для математического корпуса. Нужны хорошие определения, переиспользуемость, связь с существующими теориями. Иначе возникает слой “правильных, но непонятных” доказательств. 3. ИИ может быстро извлекать скрытую ценность из уже существующей литературы. Бессис вводит идею “overhang”: в математическом корпусе уже накоплено много неиспользованных связей между задачами, понятиями и областями. Люди видят только малую часть литературы, а LLM потенциально могут находить такие связи систематически. Это может дать реальные открытия, но также может разрушить прежнюю систему признания, где люди долго строят контекст, а ИИ забирает последний шаг.
4 343
7
Красивая формула и доказательство несложное!+1
Красивая формула и доказательство несложное!
2 259
8
Чудище обло, озорно, огромно, стозевно и лаяй : прохуjало с вихором, поносом и предрассудием
2 469
9
Послушал 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 ищет очень много ошибок, которые я глазами не вижу (в том числе математических!), но утверждается, что это ещё на порядок круче.
3 214
10
Десять лет заняло доказательство. Наконец, сделали!+1
Десять лет заняло доказательство. Наконец, сделали!
2 877
11
Интересно бы применить топологический анализ данных (TDA) на игре Го (weiqi). Там явно много визуальной геометрии. В отличие от классической TDA, где просто точки, тут фишки двух цветов (или даже трёх, потому что незанятые клетки тоже важны: глаза, потенциальные глаза и тд). Так что интересная математика тоже должна появиться. Но (мне) пока непонятно, с чего начать. Просто устойчивые гомологии конкретной позиции не выглядят интересным объектом.
3 364
12
Христос Воскресе!
Христос Воскресе!
3 794
13
срезал. 102 минуты размышлений это рекорд. Раньше максимум 30 минут было.
срезал. 102 минуты размышлений это рекорд. Раньше максимум 30 минут было.
3 266
14
Пишут, что AI по имени Chebyshev под руководством Зельманова, Концевича, Окунькова, Перельмана, Смирнова и ещё одного (неназванного) будущего филдсовского лаурета доказала гипотезу Римана. В качестве промпта использовались недавно обнаруженные черновики Чебышёва, где содержался план доказательства.
3 881
15
30 марта 1796 Гаусс построил 17-угольник. Заметка об этом, а затем там ещё доказывают, что бесконечно много простых в прогрессиях nd+1 с помощью циклотомических многочленов, а также что сумма примитивных корней это минус функция Мёбиуса.
3 010
16
День теории игр 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
4 182
17
Зарешали (?) ещё одну задачу Эрдёша (там классный трэд, чат 5.2 не справлялся, а 5.4 справился). Препринт вот не очень длинны
Зарешали (?) ещё одну задачу Эрдёша (там классный трэд, чат 5.2 не справлялся, а 5.4 справился). Препринт вот не очень длинный. Интересно, насколько правильно, я вот не могу проверить.
2 177
18
Любовь. Смерть. Роботы. Космология, Гауссовы процессы. Устойчивые гомологии.+2
Любовь. Смерть. Роботы. Космология, Гауссовы процессы. Устойчивые гомологии.
5 421
19
чукча не читатель, чукча писатель. ныне — чукча не писатель, чукча каюр нейросети, погонщик ИИ и укротитель пропмтов.
2 340
20
Вау, Илья Шкредов доказал гипотезу Зарембы!!!! https://arxiv.org/abs/2603.14116
3 202