Forwarded from CS Space
Митап: LLM в математике и алгоритмах ⤵️
Развитие и внедрение рассуждающих языковых моделей всё больше влияет на фундаментальные области науки, образования и индустрии. Мы приглашаем исследователей, математиков и алгоритмистов, интересующихся, как LLM справляются с интеллектуальными задачами, на обзорный митап, где попробуем разобраться:
– Как модели уже сейчас помогают в науке? Как проверять их успехи и определять применимость?
– Какие best practices существуют и используются учёными и алгоритмистами?
– Где граница возможностей state-of-the-art технологий в применимости к исследованиям?
В программе три доклада и развлекательная часть!
⚡️ Сергей Николенко — AI и математика: что модели могут сейчас и куда мы идём?
⚡️ Фёдор Петров — Успехи ИИ в математике и их верификация.
⚡️ Данил Сагунов — Может ли LLM пройти алгоритмическое собеседование?
💬 Развлекательная и интерактивная часть
После докладов мы предложим серию мини-игр в форматах, проверяющих границы возможностей LLM:
– Квиз против LLM от Сергея Николенко
– LLM math frontier: где граница рассуждающих возможностей?
– VibeCoding: творческое программирование!
– AI Safety Challenge: сможете ли вы обойти защиту модели?
📃 Подробное расписание смотрите на сайте.
Дата и место
🟡 5 июля, 17:00 – 23:59
🟡 Mishka Бар, Конногвардейский бул., 4, Санкт-Петербург
🟡 Регистрация открыта. Участие свободное, количество мест ограничено.
⭐️ С радостью объявляем, что мероприятие поддерживают Pinely — верим, что впереди нас ждёт продуктивное и долгосрочное сотрудничество.
Развитие и внедрение рассуждающих языковых моделей всё больше влияет на фундаментальные области науки, образования и индустрии. Мы приглашаем исследователей, математиков и алгоритмистов, интересующихся, как LLM справляются с интеллектуальными задачами, на обзорный митап, где попробуем разобраться:
– Как модели уже сейчас помогают в науке? Как проверять их успехи и определять применимость?
– Какие best practices существуют и используются учёными и алгоритмистами?
– Где граница возможностей state-of-the-art технологий в применимости к исследованиям?
В программе три доклада и развлекательная часть!
После докладов мы предложим серию мини-игр в форматах, проверяющих границы возможностей LLM:
– Квиз против LLM от Сергея Николенко
– LLM math frontier: где граница рассуждающих возможностей?
– VibeCoding: творческое программирование!
– AI Safety Challenge: сможете ли вы обойти защиту модели?
Дата и место
Мы в Pinely занимаемся алгоритмической торговлей на международных рынках: разрабатываем высокочастотные стратегии, сокращаем задержки до наносекунд и применяем ML и DL в реальных задачах.
Наша команда выросла из среды олимпиадников, математиков и соревновательных программистов — мы ценим точность мышления, исследовательские вызовы и академический подход. Поддерживаем школьные кружки, проводим контесты, участвуем в конференциях и просто любим сложные задачи.
С CS Space нас объединяет желание развивать коммьюнити, в котором интересно расти и делиться опытом.
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
❤13🔥6🤮3
Побывал на летней школе "Управление, информация и оптимизация" имени Бориса Теодоровича Поляка. Огромное спасибо Александру Гасникову за приглашение! Я ещё обязательно напишу, а пока просто выложу первую часть своей лекции, их тут стримили и выкладывали в прямом эфире.
Сейчас тут, кстати, в том же прямом эфире круглый стол начинается.)
https://vkvideo.ru/video-56385969_456239619
Сейчас тут, кстати, в том же прямом эфире круглый стол начинается.)
https://vkvideo.ru/video-56385969_456239619
VK Видео
AI Safety: Готовы ли мы к сильному искусственному интеллекту. Часть 1.
Лекция старшего научного сотрудника ПОМИ РАН Сергея Николенко в рамках XVI традиционной молодёжной школы «Управление, информация и оптимизация» имени математика Бориса Поляка. Организаторы — Университет Иннополис и МФТИ при поддержке Т-Банка. Нас можно найти…
🔥22❤2👍2
К школе имени Поляка ещё вернусь, пока у меня продолжается довольно безумное время с частыми перебоями с интернетом. Но пятничный пост по расписанию! На этой неделе вот школа Jam's cool выложила (не прошло и полугода :) ) ещё один пост с моей пианинкой.
Кстати, самонадеянно кажется, что даже за эти несколько месяцев у меня пианинка стала немножко получше, тут, конечно, весьма грустно всё это звучит. Но уж что есть.)
Пост на стене школы
Видеоклип напрямую
Кстати, самонадеянно кажется, что даже за эти несколько месяцев у меня пианинка стала немножко получше, тут, конечно, весьма грустно всё это звучит. Но уж что есть.)
Пост на стене школы
Видеоклип напрямую
VK
Школа музыки Jam`s cool (Джем скул) СПб on VK Clips
Dream A Little Dream of Me 🎹 - Сергей Николенко
❤36🔥12👍7😍3
Возвращаюсь из Тулы, где был большой и традиционный ЧГК-турнир "Ultima Tule". Играл за команду ff, и хочу сказать, что это было очень круто. Серёжа, Лёша, Руслан, Дима, Денис, спасибо огромное за приглашение, доверие и потрясающую атмосферу!! Играть с вами было чертовски приятно — зовите ещё!
Результаты тоже не подкачали: мы заняли третье место в командной "Своей игре", выиграли командную игру на скорость без фальстартов (брейн, но без фальстартов) и разделили 2-3 место с легендарным "Миражом" в основной дисциплине, с очень большим отрывом как от победившего "Борского корабела" (что неудивительно), так и от четвёртого места (что уже куда приятнее): 74-66-66-60. Даже проигранная перестрелка за второе место совершенно не испортила настроение.
А по пути на место игр в Туле была большая барахолка, причём даже не в каком-то отдельном месте вроде рынка, а буквально вдоль одной из улиц, два или три квартала подряд. Обнаружил там кипу журналов "Крокодил" из начала восьмидесятых по 50 рублей штука и тут же, конечно, купил целую пачку. Обожаю такие вещи.)
Результаты тоже не подкачали: мы заняли третье место в командной "Своей игре", выиграли командную игру на скорость без фальстартов (брейн, но без фальстартов) и разделили 2-3 место с легендарным "Миражом" в основной дисциплине, с очень большим отрывом как от победившего "Борского корабела" (что неудивительно), так и от четвёртого места (что уже куда приятнее): 74-66-66-60. Даже проигранная перестрелка за второе место совершенно не испортила настроение.
А по пути на место игр в Туле была большая барахолка, причём даже не в каком-то отдельном месте вроде рынка, а буквально вдоль одной из улиц, два или три квартала подряд. Обнаружил там кипу журналов "Крокодил" из начала восьмидесятых по 50 рублей штука и тут же, конечно, купил целую пачку. Обожаю такие вещи.)
🔥21❤15👍4🤓2
Я говорил, что будут интересные новости про Synthesis AI — и вот они! Synthesis AI сделал pivot в сторону порождения видео, и теперь мы будем называться Mach Labs.
Сайт Mach Labs
Этот проект развивается уже достаточно долго, и я могу показать кое-какой уникальный контент. Вот посмотрите, в каком мире мы живём прямо сейчас. Для создания этих видео я приложил одну свою стандартную фотографию, которую и здесь прилагаю, наговорил секунд тридцать голосом по-английски (совершенно другой текст, чем в видео, я просто rambled for a bit), а затем дал запрос породить видео с заданным текстом:
Hello everyone! This is a test video that I am generating with Mach Labs. This is my voice, and this is my picture, but the video is totally fake. Enjoy!
Больше ничего делать не понадобилось. Enjoy, как говорится. Мимика и жестикуляция на мои не идеально похожи, но модель и не видела моей мимики, у неё было только одно статичное фото. Кстати, насколько я понимаю, вы и сами можете попробовать: если зарегистрироваться на сайте, можно получить тестовые кредиты, которых хватит для создания нескольких видео подобного размера.
Как думаете, мы (человечество) полностью готовы к тому, что даже вот эта одна конкретная технология, не самая важная и не самая страшная, уже сейчас работает хорошо, а скоро станет работать совсем замечательно?..
Сайт Mach Labs
Этот проект развивается уже достаточно долго, и я могу показать кое-какой уникальный контент. Вот посмотрите, в каком мире мы живём прямо сейчас. Для создания этих видео я приложил одну свою стандартную фотографию, которую и здесь прилагаю, наговорил секунд тридцать голосом по-английски (совершенно другой текст, чем в видео, я просто rambled for a bit), а затем дал запрос породить видео с заданным текстом:
Hello everyone! This is a test video that I am generating with Mach Labs. This is my voice, and this is my picture, but the video is totally fake. Enjoy!
Больше ничего делать не понадобилось. Enjoy, как говорится. Мимика и жестикуляция на мои не идеально похожи, но модель и не видела моей мимики, у неё было только одно статичное фото. Кстати, насколько я понимаю, вы и сами можете попробовать: если зарегистрироваться на сайте, можно получить тестовые кредиты, которых хватит для создания нескольких видео подобного размера.
Как думаете, мы (человечество) полностью готовы к тому, что даже вот эта одна конкретная технология, не самая важная и не самая страшная, уже сейчас работает хорошо, а скоро станет работать совсем замечательно?..
😱29🔥24❤6👏2🆒2
Sinекура
В субботу 5 июля CS Space, то самое возрождение прекрасной идеи Computer Science Club, в котором я в марте делал инаугурационные лекции (State of AI и State of AI Safety), организует митап: "LLM в математике и алгоритмах" Я там, кажется, главный гвоздь программы.…
Обещал, что договорюсь — и договорился! Завтра в 11 часов утра организаторы митапа должны добавить ещё мест в регистрацию, специально для моих читателей. Тсссссс...
❤15🔥5👍4🥰2
В июне прошёл интересный спор, вызванный статьёй от исследователей из Apple "The Illusion of Thinking". Спор привлёк внимание таких известных исследователей, как C. Opus и G. Pro, а также вышел на весьма любопытный мета-уровень, так что я написал об этом небольшой пост:
The Illusion of The Illusion of The Illusion of Thinking
Tl;dr — никакого потрясения основ из этой статьи, конечно, не получилось. В ней нашлись очень смешные ошибки (читайте пост, если ещё не в курсе), а рассуждающие модели как работали, так и работают. Это оказался даже не то чтобы хороший пример jagged frontier возможностей LLM, о котором действительно есть смысл говорить.
Но кажется, что случай интересный: во-первых, он породил интересную дискуссию, а во-вторых, в этой дискуссии уже открытым текстом слышен голос языковых моделей. Кажется, и академический мир уже не будет прежним...
The Illusion of The Illusion of The Illusion of Thinking
Tl;dr — никакого потрясения основ из этой статьи, конечно, не получилось. В ней нашлись очень смешные ошибки (читайте пост, если ещё не в курсе), а рассуждающие модели как работали, так и работают. Это оказался даже не то чтобы хороший пример jagged frontier возможностей LLM, о котором действительно есть смысл говорить.
Но кажется, что случай интересный: во-первых, он породил интересную дискуссию, а во-вторых, в этой дискуссии уже открытым текстом слышен голос языковых моделей. Кажется, и академический мир уже не будет прежним...
❤17👍3
Пятничный пост снова про игры, всего две, но обе симпатичные.
The Operator
Маленькая, на четыре часа, но весьма интересная история. Вы становитесь "оператором" федерального бюро FDI (видимо, комбинация FBI и CIA), то есть ваша задача — помогать агентам FDI с поиском информации, "пробивать по базам", пытаться совмещать разные данные и так далее.
Что понравилось — в первую очередь сама история. Хотя каждый персонаж здесь максимально клиширован (опытный полевой агент-техасец, начинающий агент-девушка, взламывающий всё на свете кулхацкер и т.д.), в сюжете есть пара крутых твистов, которые я не буду спойлерить. Следить за развитием событий было интересно.
Что не понравилось — то, что хотя игра пытается создать впечатление игрового процесса, по сути ты тут именно что следишь за развитием событий. Загадки тривиальные, плюс тебе всегда рад подсказать шеф, никаких выборов ты ни в какой момент не делаешь, отказаться от кое-каких "заманчивых предложений" на самом деле нельзя, и вся история едет по рельсам к интересной, но единственной развязке. Но в целом безусловно рекомендую, игра точно не успевает наскучить.
Harold Halibut
Ужасно милая игра, very, very cute. Первое и главное — это, конечно, стиль. Студия Slow Bros, оправдывая своё название, делала её двенадцать лет: сначала собирались сделать прямо stop motion анимацию, но потом всё-таки оцифровали свои куклы. Но все куклы и обстановка реально были сделаны физически! В итоге получился уникальный художественный стиль, который я по задумке, объёму работы и результату могу сравнить разве что с The Neverhood.
Во-вторых, история, точнее даже не столько история, сколько персонажи. Заглавный персонаж, Гарольд, — разнорабочий на космической станции, который всем помогает делать то, на что им жалко тратить время. Ему уже, кажется, под тридцать, он совсем не глуп и часто задаётся вопросом о том, неужели это и есть его место в жизни и предназначение. И все остальные персонажи тоже хорошо прописаны, колоритны и снабжены отличными полностью озвученными диалогами.
Всё это происходит на космической станции, которая улетела с Земли, потому что на Земле становилось невозможно жить. Этот ковчег человечества так и не нашёл полностью пригодной для жизни планеты и в итоге застрял на одной из планет под водой с неочевидными шансами выбраться. Но тем временем на Земле всё наладилось, так что все глобальные события в игре тоже поднимают ту же тему бессмысленности жизни. А дальше эта тема развивается и приходит к кульминации через новые твисты, которые я спойлерить не буду.
Минусов здесь два. Во-первых, всё очень медленно. Показательно, что игра даже не подсказывает, где там кнопка бега; она есть, но её всё равно недостаточно. Ты всё время бегаешь туда-сюда и смотришь непропускаемые анимации перехода между локациями (поездки по их Tube). Во-вторых, совсем нет геймплея, причём по неясным причинам. По форме это квест, там есть задания, и есть даже мини-игры, которые очень приятно оформлены; авторам ничего бы не стоило сделать настоящий разнообразный и интересный квест. Но абсолютно все задания и все мини-игры совершенно тривиальны; не в смысле "загадки для детей", а в смысле буквального отсутствия загадок: приди в указанное место, поговори с человеком, rinse, repeat. Даже мини-игры тоже такие: человек тебе говорит, какие три кнопки надо нажать, а потом... ты их нажимаешь!
Но эти минусы не мешают насладиться игрой. Просто понимайте, что подписываетесь на медленный и расслабленный симулятор ходьбы, и наслаждайтесь редкой красоты арт-стилем, ламповой кукольной анимацией, интересным сюжетом и прекрасной озвучкой.
The Operator
Маленькая, на четыре часа, но весьма интересная история. Вы становитесь "оператором" федерального бюро FDI (видимо, комбинация FBI и CIA), то есть ваша задача — помогать агентам FDI с поиском информации, "пробивать по базам", пытаться совмещать разные данные и так далее.
Что понравилось — в первую очередь сама история. Хотя каждый персонаж здесь максимально клиширован (опытный полевой агент-техасец, начинающий агент-девушка, взламывающий всё на свете кулхацкер и т.д.), в сюжете есть пара крутых твистов, которые я не буду спойлерить. Следить за развитием событий было интересно.
Что не понравилось — то, что хотя игра пытается создать впечатление игрового процесса, по сути ты тут именно что следишь за развитием событий. Загадки тривиальные, плюс тебе всегда рад подсказать шеф, никаких выборов ты ни в какой момент не делаешь, отказаться от кое-каких "заманчивых предложений" на самом деле нельзя, и вся история едет по рельсам к интересной, но единственной развязке. Но в целом безусловно рекомендую, игра точно не успевает наскучить.
Harold Halibut
Ужасно милая игра, very, very cute. Первое и главное — это, конечно, стиль. Студия Slow Bros, оправдывая своё название, делала её двенадцать лет: сначала собирались сделать прямо stop motion анимацию, но потом всё-таки оцифровали свои куклы. Но все куклы и обстановка реально были сделаны физически! В итоге получился уникальный художественный стиль, который я по задумке, объёму работы и результату могу сравнить разве что с The Neverhood.
Во-вторых, история, точнее даже не столько история, сколько персонажи. Заглавный персонаж, Гарольд, — разнорабочий на космической станции, который всем помогает делать то, на что им жалко тратить время. Ему уже, кажется, под тридцать, он совсем не глуп и часто задаётся вопросом о том, неужели это и есть его место в жизни и предназначение. И все остальные персонажи тоже хорошо прописаны, колоритны и снабжены отличными полностью озвученными диалогами.
Всё это происходит на космической станции, которая улетела с Земли, потому что на Земле становилось невозможно жить. Этот ковчег человечества так и не нашёл полностью пригодной для жизни планеты и в итоге застрял на одной из планет под водой с неочевидными шансами выбраться. Но тем временем на Земле всё наладилось, так что все глобальные события в игре тоже поднимают ту же тему бессмысленности жизни. А дальше эта тема развивается и приходит к кульминации через новые твисты, которые я спойлерить не буду.
Минусов здесь два. Во-первых, всё очень медленно. Показательно, что игра даже не подсказывает, где там кнопка бега; она есть, но её всё равно недостаточно. Ты всё время бегаешь туда-сюда и смотришь непропускаемые анимации перехода между локациями (поездки по их Tube). Во-вторых, совсем нет геймплея, причём по неясным причинам. По форме это квест, там есть задания, и есть даже мини-игры, которые очень приятно оформлены; авторам ничего бы не стоило сделать настоящий разнообразный и интересный квест. Но абсолютно все задания и все мини-игры совершенно тривиальны; не в смысле "загадки для детей", а в смысле буквального отсутствия загадок: приди в указанное место, поговори с человеком, rinse, repeat. Даже мини-игры тоже такие: человек тебе говорит, какие три кнопки надо нажать, а потом... ты их нажимаешь!
Но эти минусы не мешают насладиться игрой. Просто понимайте, что подписываетесь на медленный и расслабленный симулятор ходьбы, и наслаждайтесь редкой красоты арт-стилем, ламповой кукольной анимацией, интересным сюжетом и прекрасной озвучкой.
❤10👍6✍1👀1