Кофейный теоретик

Lastcall: начинаем через 5 минут!

Напомню про наше завтрашнее мероприятие про LaTeX. Кстати, не знаю как правильно назвать: практикум? Семинар? Мастер класс? Вроде последнее, но есть старый стишок, из-за которого я опасаюсь так называть что-либо: К нам сегодня приходил зоо-некро-педофил Мёртвтый маленьких зверушек он с собою приносил И неожиданно для нас — он устроил мастер-класс! Итак, что я буду, прости господи, демонстрировать. Мне покажут некий текст (который я впрвые увижу на самом мероприятии для чистоты эксперимента). Затем я по шагам, при помощи промтов в ChatGPT буду создавать код в LaTeX и переносить его в редактор (это будет overleaf, который я советую начинающим) и «обрабатывать». То есть будут возникать какие-то ошибки, какие-то трудности с оформлением, а я буду вживую и прилюдно показывать, как эти проблемы решать. На выходе, надеюсь, у нас получится по крайней мере «скелет» текста. Конечно, набивать сам текст мы не будем, сосредоточимся на технических моментах. В конце, покажу как сгенерировать презентацию по тексту. Тоже, конечно, в первую очередь это будет «скелет» презентации. При этом в какие-то моменты я буду честно признаваться, что ту или иную вещь «промтом» задавать не получается, поэтому сделаем ручками то-то и то-то. Какие-то тонкие настройки тоже могут не получиться, извиняйте. Всех слушателей призываю активно участвовать: писать вопросы (у меня чат будет перед глазами), не стесняться просить пояснить «чо деется», и так далее. Вообще, надеюсь, на максимальную интерактивность мероприятия. Участникам будет выслан получившийся файл в оверлифе и, скорее всего, промты тоже туда добавлю. Собственно, какая цель мероприятия: показать всем желающим, что «порог вхождения» в LaTeX с появлением ChatGPT стал достаточно низким, чтобы им могли без ужаса пользоваться все желающие. А целевой аудиторией, как я полагаю, является примерно любой исследователь (академический или корпоративный, без разницы) который пишет текст, содержащий в себе формулы (даже простейшие) или достаточно сложную структуру внутренних ссылок, нумераций и тому подобного. В общем приходите, завтра в 12.

LaTeX и ИИ: тандем для эффективной верстки научных текстов. Проводим практическое занятие! На прошлом вебинаре с Андроником Арутюновым мы узнали, что такое LaTeX и кому он может быть полезен. С тех пор Андроник стал доктором физико-математических наук и стал активно использовать ИИ для работы с LaTeXом. Поэтому есть о чем провести еще один семинар. ⭐️ Занятие будет прикладное. Андроник в прямом эфире будет верстать научную статью в LaTeX, используя для написания кода искусственный интеллект! Причем статью он впервые увидит только на семинаре. Что будем делать на семинаре? 🔘Практически писать код в LaTeX с помощью ИИ. 🔘Верстать текст научной статьи. 🔘Создавать презентацию на основе статьи. Что узнаем? 🟣 Узнаем, насколько легко и быстро можно сверстать текст в LaTeX с помощью ИИ. 🟣Разберемся, как задать правильный промт для ИИ. 🟣Выясним, что все-таки нужно знать о LaTeX, чтобы эффективно использовать ИИ для написания кода. Когда? 15 июня Во сколько? В 12:00 (MSK) Где? https://meet.google.com/etw-kwfv-nfa #промты_для_исследований

Вот запланировали что-то вроде онлайн практикума. Цель: чтобы человек который не умеет в латех (на входе) умел написать простой текст и сделать по нему презентацию (на выходе). TeXникам будет не интересно, а вот для новичков надеюсь что самое оно.

Пишут, что умер Сергей Петрович Новиков. Был Сергей Петрович не добр характер, любителем рассказывать нехорошие вещи про других коллег. Но был и замечательным математиком. В основе моей кандидатской была одна его идея по отождествлению квазипериодический функций с быстр убывающими. Сейчас я разбираюсь для книжки по грубой геометрии с "гипотезой Новикова", которая оказался очень серьёзное влияние на современную алгебраическую топологию. А в контексте ГГ — была главным мотиватором для Джона Роу и Гаоляна Ю. Вживую я его видел один раз. Зашёл к своему шефу на кафедру, и увидел Сергея Петровича, который сидючи на диване активно проповедвал, не помню уж что. Постоял, посмотрел, и ушёл восвояси. В общем, как и многие математические "старики" старого поколения (Адян, Гельфанд, Арнольд, Новиков и проч.) человеком он был весьма не простым. Но об этом забудут. А вот его вклад в современную математику — это навсегда. RIP

У нас тут с Таней Казанцевой вышла статья в матпросвещении. Прорекламирую, с вашего позволения. Статья из двух частей: в первой мы доказываем теорему Халина (на самом деле это лучше структурированный перевод элементарного доказательства Дестеля), а во второй применяем эту самую теорему к вершинно-транзитивным графам. О чём теорема Халина. Пусть у нас есть бесконечный граф, в котором есть хотя бы один толстый (нейминг не мой :-) ) конец. Это значит, что в графе есть бесконечно много попарно непересекающихся эквивалентных лучей (два луча эквивалентны, если найдется третий, который пересекает каждый из них бесконечное число раз). Так вот, если у нас сложилась именно такая ситуация, то в графе оказывается найдётся гексагональная решётка. Это можно понимать как бесконечное число параллельных прямых (не лучей!) где соседние прямые соединены «перемычками». Картинку в статье посмотрите. Во второй части мы смотрим на такую штуку как рост графа. Это, грубо говоря, функция числа точек на расстоянии не более чем N от данной вершины. У прямой рост линеен, у плоскости квадратичен и так далее. Довольно просто проверить, что если в графе есть толстый конец, то он не может иметь линейный рост (сразу из теоремы Халина). Точнее так: если граф линейного роста, то все его концы тонкие. А вот обратное — вообще говоря неправда. Например бывает граф с одни тонким концом, но при этом экспоненциального роста (ну и ещё там несколько примеров с приятными картинками). А вот для вершнно-транзитивных графов при условии конечности числа концов обратное утверждение имеет место. Конечность числа концов значит, что для некоторого C количество бесконечных компонент связности после выкидывания любого конечного подграфа — не более чем C. Доказательство не очень трудное, картинки симпатичные, в общем почитайте. В принципе, вся статья писалась так, чтобы быть доступной для матшкольника. Единственное, само доказательство теоремы Халина довольно длинное. Почему я обращаю на это всё внимание и почему вообще мы взялись за такую статью. В школе обычно сосредотачиваются на конечных графах, а бесконечные или просто «очень большие» графы толком и не рассматривают. Но ведь зря! Они и во «взрослой» математике часто встречаются, да и для приложений полезны. Как и привычка работать с системами, которые не уместишь на листочке: абстрактное мышление, ага. На самом деле из этого всего можно сделать интересный факультатив для школьников, и придумать массу задач что для олимпиад, что для «проектов». Например предложить реализовать алгоритм поиска решётки из доказательства (он конструктивный). * Вот сама статья * Моя статья про графы Кэли (пример вершинно-транзитивных графов) * И про грубую геометрию (там немного больше про грубый контекст этой задачи) Ну и последнее. Если Вы хотите помочь МЦНМО и\или почитать мою статью в бумажном виде -- то матпросвешение продаётся (журнал! Само просвещение -- не продаётся). 450 целковых.

Вчера погиб моноколёсник на ленинградке. 88-го года рождения (как и я) и на колесе KS22 (как и у меня). Если вдруг кто-то видел такую новость и начал переживать за меня — то не переживайте. На его месте мог быть я, но я стараюсь всё же избегать магистральной ПЧ. Вообще-то моноколёса (несмотря на новость) достаточно безопасный вид транспорта. Например по подсчётам сообщества, число погибших райдеров на данный момент равно 11. В мире, если что. За всю историю. Понятно, что это связано и с тем, что моноколёсников ничтожно мало по сравнению с самокатчиками или мотоциклистами. Но ещё это связано с тем, что райдеры часто носят защиту, особенно на больших скоростях, общий уровень адекватности несколько выше чем среди многих других симоводов. И ещё с тем, что моноколесо в целом безопаснее (сюрприз): крайне маловероятно вторичное травмирование аппаратом (как в случае с велосипедами и самокатами), легче отделение от колеса в случае ЧП плюс очень высокая маневренность и скорость реакции на движение райдера (в отличии от тех же самокатов). Но, увы. Переходя из лиги небольших городских колёс (доехать до работы и покататься в парке) в лигу тяжёлых скоростных растёт и риск вместе с ценой ошибки. Тоже самое, что и в outdoorе: можно гулять по известным маршрутам, можно лезть во что-то интересное и дикое. Можно плавать на байдарке по озеру, можно фигачить пороги. В первом случае вы рискуете сломать конечность, во втором ставки выше. Риск это цена которую платят те, кто хочет чего-то нового, настоящего. Чего-то большего, чем вылизанные туристические достопримечательности. К сожалению, райдер на Ленинградке заплатил самую высокую цену. Мир ему. А нам — память. Быть осторожнее. Лето только начинается! Всем райдерам — безопасной езды, а туристам незапоминающихся походов. Ну и мне того же 😊

Now officially. Мой первый и последний красный диплом:-) какие есть лайфхаки? Дырку на стене закрывать можно -- я понял. А как подставку для кофе норм?