CS Space выложили фотографии и материалы с LLM-митапа 14 июля. Вот пост в телеграме, а вот сама папка с фотографиями:
14.07.26. Митап «LLM и агенты в математике и компьютерных науках» — Яндекс.Диск
Более того, коллеги выложили и видео докладов:
Митап «LLM и агенты в математике и компьютерных науках» (Николенко, Скрынник, Яковлев)
Там видео уже смонтировано со слайдами, так что я, наверное, свой собственный монтаж делать уже не буду. А вот квиз обязательно выложу для вас. Как только руки дойдут, сами понимаете...)
А вообще огненное было мероприятие! Спасибо большое за приглашение, и буду рад провести такое ещё!
#events #ai #photo
14.07.26. Митап «LLM и агенты в математике и компьютерных науках» — Яндекс.Диск
Более того, коллеги выложили и видео докладов:
Митап «LLM и агенты в математике и компьютерных науках» (Николенко, Скрынник, Яковлев)
Там видео уже смонтировано со слайдами, так что я, наверное, свой собственный монтаж делать уже не буду. А вот квиз обязательно выложу для вас. Как только руки дойдут, сами понимаете...)
А вообще огненное было мероприятие! Спасибо большое за приглашение, и буду рад провести такое ещё!
#events #ai #photo
❤27👍11🔥9
Я вам столько рассказывал про великие достижения фронтирных LLM, что самому захотелось попробовать. Чем я хуже Дмитрия Рыбина, в конце концов, что ж я "you should do a breakthrough" не смогу написать?..
Пока оказывается, что я всё-таки хуже описанных на прошлой неделе трёх случаев в том смысле, что нет у меня такой же невероятной интуиции о том, какая известная гипотеза может упасть под натиском современных моделей. Из моих самостоятельных поисков с совсем другими гипотезами пока ничего суперкрутого не получилось.
Но зато получилось воспользоваться интуицией Дмитрия Рыбина! :) Один из долгих разговоров с Claude Fable и GPT 5.6 привёл к тому, что мы смогли существенно улучшить его нижнюю оценку на overload при переходе к неделимым потокам в графах, то есть придумать новую систему контрпримеров к гипотезе Диница — Гарга — Гёманса. И вот сегодня я ещё раз всё внимательно проверил, записал, выложил результат к себе в репозиторий и подал на arXiv.
В последнее время arXiv у меня уже два раза отправлял статьи on hold, и первая из них лежит on hold уже полтора месяца (!). Я не уверен точно, что это значит, вероятно, хотят проверить, не LLM ли статью написала (интересно как?). Уверен, что это arXiv не против меня лично что-то имеет — за эти полтора месяца я ещё три статьи туда выложил вполне успешно — но эта тоже может случайно оказаться on hold.
Так что выкладываю текст, поданный на arXiv, сразу же и в репозиторий:
A Planar Lower Bound 1.1397... > 9/8 for Cost-Preserving Single-Source Unsplittable Flows
Любая внешняя пара глаз крайне приветствуется. Здесь рассуждения всё ещё очень простые, и я вроде бы действительно всё от начала до конца внимательно проверил, но чёрт его знает, ошибаются и LLM, и люди, и тем более люди, заинтересованные в том, чтобы результат таки получился.
Разумеется, там есть и такой раздел:
#research #math #ai #publications
Пока оказывается, что я всё-таки хуже описанных на прошлой неделе трёх случаев в том смысле, что нет у меня такой же невероятной интуиции о том, какая известная гипотеза может упасть под натиском современных моделей. Из моих самостоятельных поисков с совсем другими гипотезами пока ничего суперкрутого не получилось.
Но зато получилось воспользоваться интуицией Дмитрия Рыбина! :) Один из долгих разговоров с Claude Fable и GPT 5.6 привёл к тому, что мы смогли существенно улучшить его нижнюю оценку на overload при переходе к неделимым потокам в графах, то есть придумать новую систему контрпримеров к гипотезе Диница — Гарга — Гёманса. И вот сегодня я ещё раз всё внимательно проверил, записал, выложил результат к себе в репозиторий и подал на arXiv.
В последнее время arXiv у меня уже два раза отправлял статьи on hold, и первая из них лежит on hold уже полтора месяца (!). Я не уверен точно, что это значит, вероятно, хотят проверить, не LLM ли статью написала (интересно как?). Уверен, что это arXiv не против меня лично что-то имеет — за эти полтора месяца я ещё три статьи туда выложил вполне успешно — но эта тоже может случайно оказаться on hold.
Так что выкладываю текст, поданный на arXiv, сразу же и в репозиторий:
A Planar Lower Bound 1.1397... > 9/8 for Cost-Preserving Single-Source Unsplittable Flows
Любая внешняя пара глаз крайне приветствуется. Здесь рассуждения всё ещё очень простые, и я вроде бы действительно всё от начала до конца внимательно проверил, но чёрт его знает, ошибаются и LLM, и люди, и тем более люди, заинтересованные в том, чтобы результат таки получился.
Разумеется, там есть и такой раздел:
AI use. This counterexample and its accompanying theoretical evaluation have been produced in close collaboration with frontier LLMs, specifically GPT-5.6 Sol, Claude Fable 5, and Claude Opus 5. While I cannot boast the same kind of "chad prompting" as Dmitry Rybin (his discussion contained four short prompts, including the now-famous "You should do a breakthrough"), as my discussions took longer and were more involved, I would like to express my respect for and amazement at the capabilities of frontier AI models. This is their work much more than my own.
#research #math #ai #publications
🔥29❤15👍7🤯2
Wow, история с архивом приобретает очень интересный оборот. Новая ачивка: я теперь забанен на архиве, получается! :) Никакой конкретной причины, относящейся именно к моей статье, там ниже не написано, если что.
У меня действительно уже две статьи лежат там on hold, и одна лежит уже полтора месяца. Я писал им и жалостливо, и гневно, и с отчаянием, и один раз даже получил очевидно человеческий ответ, но ни к чему это не привело: ждите у моря погоды, и даже удалить и переподать мы вам не разрешим.
Но при этом в последние пару месяцев сразу несколько моих статей прошли без проблем (см. скриншот). Те две, что лежат on hold, совершенно не выбиваются из их числа, там тоже есть AI use, конечно, но тексты написаны моими руками. Ничего особо гениального в них нет, одну из них уже успели из хорошего журнала даже отклонить, пока архив "рассматривает".)
Но вот последнюю реально жалко, это важно и горячо.
Кто-нибудь сталкивался с таким? Понимает ли кто-нибудь, что делать? Писать в саппорт, видимо, бесполезно... Какие ещё есть живые препринт-серверы?..
Update: пока выложил на Zenodo, doi там есть, и дата публикации есть, после которой нельзя менять файлы, а что ещё надо:
A Planar Lower Bound 1.1397... > 9/8 for Cost-Preserving Single-Source Unsplittable Flows
#research #fun #ai #math
У меня действительно уже две статьи лежат там on hold, и одна лежит уже полтора месяца. Я писал им и жалостливо, и гневно, и с отчаянием, и один раз даже получил очевидно человеческий ответ, но ни к чему это не привело: ждите у моря погоды, и даже удалить и переподать мы вам не разрешим.
Но при этом в последние пару месяцев сразу несколько моих статей прошли без проблем (см. скриншот). Те две, что лежат on hold, совершенно не выбиваются из их числа, там тоже есть AI use, конечно, но тексты написаны моими руками. Ничего особо гениального в них нет, одну из них уже успели из хорошего журнала даже отклонить, пока архив "рассматривает".)
Но вот последнюю реально жалко, это важно и горячо.
Кто-нибудь сталкивался с таким? Понимает ли кто-нибудь, что делать? Писать в саппорт, видимо, бесполезно... Какие ещё есть живые препринт-серверы?..
Update: пока выложил на Zenodo, doi там есть, и дата публикации есть, после которой нельзя менять файлы, а что ещё надо:
A Planar Lower Bound 1.1397... > 9/8 for Cost-Preserving Single-Source Unsplittable Flows
#research #fun #ai #math
😱30💔14😢6❤2🤯2😁1
Ну что ж, я в целом дошёл до некоторой точки: найденное позавчера новое семейство контрпримеров к гипотезе Диница — Гарга — Гёманса теперь понятно как устроено. Это оказались семейства пересекающихся целочисленных интервалов, которые задают пути до терминалов, точнее, ответвления к терминалам от главной "большой дороги" (в этом семействе до каждого терминала ровно два пути).
В итоге нижняя оценка уже от позавчерашних 1.1397... дошла до 1.28249..., а предел возможного для этого семейства, видимо, 4/3, точнее 4/3 — 1/k для k терминалов в графе, то есть очень большим вычислением можно было бы сделать 4/3 — ε (но надрываться и искать конкретные большие графы уже незачем, нового они ничего не скажут).
Интересно, что начали появляться и структурные результаты, и верхние оценки, и какая-то более-менее стройная теория. Я целый день вчера и утром сегодня старательно всю теорию вычитывал и перепроверял, и мне кажется, что там всё верно. Конечно, я могу ошибаться, но если честно, для структурных результатов это пока не очень принципиально: верхнюю оценку для всех графов мы не получили, оценку 2 для планарных графов не сдвинули, все верхние оценки там по сути для того конкретного семейства, из которого мои контрпримеры. Так что это не очень интересные результаты — хотя мне понравилось, как внезапно возникли не только семейства интервалов, но ещё и двусторонние округления Кнута из девяностых.
А вот нижнюю оценку проверять гораздо проще, а ещё можно перепроверить независимым полным перебором; так что в ней я уверен, и рекорд тут обновился сильно. Всё записали, графы и соответствующие им интервальные семейства нарисовали, препринт я вручную переписал и на Zenodo выложил:
Deletion-Star Ceilings and a 1.28249 Lower Bound for Cost-Preserving Single-Source Unsplittable Flows
(код и сертификаты всё в том же репозитории: https://github.com/snikolenko/unsplittable-flows )
Это была славная охота! Пока немного выдохну, а то вот опять приходится подвинуть обзор игры с пятницы.) Но постараюсь это направление не бросать и всё-таки прийти к каким-нибудь интересным теоремам и, возможно, верхним оценкам, а не только к одному семейству контрпримеров. В твиттер о результате написал, автор оригинального "You should do a breakthrough" Дмитрий Рыбин откликнулся позитивно, так что считаю, что то, что надо было сделать срочно, я уже сделал, а теперь можно спокойно подумать вокруг.
Дивный новый мир! Последние сутки были очень интересные, как в математическую юность свою снова вернулся. Это, конечно, далеко не самый яркий AI-assisted результат из последних пары недель, а всего лишь продолжение чужого прорыва. Например, пока я это всё записывал, новая система от Тенсент сравняла нижнюю оценку экспоненты, связывающей суммы и разности множеств, с верхней, закрыв важный вопрос с 60-летней историей. А задачу о (не)дистиллируемости состояний Вернера (это что-то на квантовом, но тоже очень важно) решили одновременно три группы учёных с разницей в считанные дни, а то и часы. Боюсь, что уже никаких сил не хватит в блоге всё это описывать подробно.
Но это всё равно было очень крутое ощущение. Хочется и продолжать, и повторять.
This is the least sci-fi the world will ever be.
#research #math #ai #publications
В итоге нижняя оценка уже от позавчерашних 1.1397... дошла до 1.28249..., а предел возможного для этого семейства, видимо, 4/3, точнее 4/3 — 1/k для k терминалов в графе, то есть очень большим вычислением можно было бы сделать 4/3 — ε (но надрываться и искать конкретные большие графы уже незачем, нового они ничего не скажут).
Интересно, что начали появляться и структурные результаты, и верхние оценки, и какая-то более-менее стройная теория. Я целый день вчера и утром сегодня старательно всю теорию вычитывал и перепроверял, и мне кажется, что там всё верно. Конечно, я могу ошибаться, но если честно, для структурных результатов это пока не очень принципиально: верхнюю оценку для всех графов мы не получили, оценку 2 для планарных графов не сдвинули, все верхние оценки там по сути для того конкретного семейства, из которого мои контрпримеры. Так что это не очень интересные результаты — хотя мне понравилось, как внезапно возникли не только семейства интервалов, но ещё и двусторонние округления Кнута из девяностых.
А вот нижнюю оценку проверять гораздо проще, а ещё можно перепроверить независимым полным перебором; так что в ней я уверен, и рекорд тут обновился сильно. Всё записали, графы и соответствующие им интервальные семейства нарисовали, препринт я вручную переписал и на Zenodo выложил:
Deletion-Star Ceilings and a 1.28249 Lower Bound for Cost-Preserving Single-Source Unsplittable Flows
(код и сертификаты всё в том же репозитории: https://github.com/snikolenko/unsplittable-flows )
Это была славная охота! Пока немного выдохну, а то вот опять приходится подвинуть обзор игры с пятницы.) Но постараюсь это направление не бросать и всё-таки прийти к каким-нибудь интересным теоремам и, возможно, верхним оценкам, а не только к одному семейству контрпримеров. В твиттер о результате написал, автор оригинального "You should do a breakthrough" Дмитрий Рыбин откликнулся позитивно, так что считаю, что то, что надо было сделать срочно, я уже сделал, а теперь можно спокойно подумать вокруг.
Дивный новый мир! Последние сутки были очень интересные, как в математическую юность свою снова вернулся. Это, конечно, далеко не самый яркий AI-assisted результат из последних пары недель, а всего лишь продолжение чужого прорыва. Например, пока я это всё записывал, новая система от Тенсент сравняла нижнюю оценку экспоненты, связывающей суммы и разности множеств, с верхней, закрыв важный вопрос с 60-летней историей. А задачу о (не)дистиллируемости состояний Вернера (это что-то на квантовом, но тоже очень важно) решили одновременно три группы учёных с разницей в считанные дни, а то и часы. Боюсь, что уже никаких сил не хватит в блоге всё это описывать подробно.
Но это всё равно было очень крутое ощущение. Хочется и продолжать, и повторять.
This is the least sci-fi the world will ever be.
#research #math #ai #publications
❤30👍12🔥10
Маниакальная фаза сменилась депрессивной, надо осмыслить весь этот vibe-mathing... Так что пока возвращаемся к нормальности, вот вам пятничный пост в субботу (как водится, читать лучше по ссылке):
Былина
(и вот на DTF выложил)
“Былина” — стандартная action RPG, которая выезжает на том, что стандартная action RPG про Русь-матушку встречается всё-таки не каждый день. Здесь есть мечи и доспехи, карта и журнал заданий, сундуки, навыки, крафт, подземелья и боссы. И очень, очень много русского духа.
Начинается с того, что молодой воин Сокол отправляется на подвиги и почти сразу погибает. Игра даже выдаёт торжественную надпись “И Сокол умер”, после чего, разумеется, не заканчивается. Героя возвращает к жизни загадочный дух, который теперь делит с ним одно тело (не самый свежий ход, ага). Душу предстоит вернуть, с новым соседом — разобраться, а заодно, раз уж взялся, спасти Тридевятое царство. [...]
Это смесь былин, сказок и современных стереотипов о древней Руси. За одним поворотом стоят деревянные избы и чинные старцы, за другим — огромная разумная жаба [...]
Развесистой клюквы в игре много, собственно, это и есть суть игры. Сокол бродит по осенним лесам, болотам, деревням, подземельям, княжеским палатам и Тридевятому царству. Локации иногда кажутся слишком большими, но всегда стараются показать что-нибудь новое. Мне понравился тёплый деревенский вайб: торговцы, телеги, игра в городки, сервированные столы…
Юмор бывает разный, но обычно довольно детский и построен на помещении сказочных объектов в более реалистичный контекст. Не каждая шутка реально хороша, но в целом создаётся мир в этаком духе русского Пратчетта (у него ведь тоже шутки в основном детские, да и принцип в целом тот же).
Зато иногда герои выражаются весьма не по-детски. Это даже как-то неожиданно было, но тоже добавило колорита. Правда, недетские выражения не озвучены, однажды даже слышал реплику “Иди лесом”, когда написано было нечто совсем другое.
Среди персонажей здесь Василий Пьяница, Жабная Особа и Берёза с глазами. Чтобы поднять уровень, надо обняться с домовёнком; их всех зовут Кузя, и выглядят Кузи о-очень специфически. В общем, думаю, стиль вы поняли. [...]
А вот механически “Былина” очень скромно выглядит. Мы получаем задания, идём по маркеру, разговариваем, дерёмся, собираем добычу, меняем снаряжение и снова идём по маркеру. В журнале есть основные и побочные квесты, в инвентаре — мечи и доспехи, в меню — способности и улучшения. [...] Боссы, кстати, мило сделаны, мне понравились, но это тоже скорее про сеттинг, чем про геймплей.
К счастью, разработчики понимали, что механиками они игрока не удержат, так что, во-первых, постоянно меняют декорации и добавляют сюжет, а во-вторых, разнообразят бои загадками; некоторые загадки вполне даже свежо смотрятся.
А главное, хотя история честно проходит стандартную арку героя, и Сокол успевает обрести характер, завершить своё путешествие и даже завести хозяйство, всё это не затянуто; пройти “Былину” можно и нужно часов за восемь. [...]
Так что ознакомиться можно, для доброй былины может и этого оказаться достаточно.
#tgif #games
Былина
(и вот на DTF выложил)
“Былина” — стандартная action RPG, которая выезжает на том, что стандартная action RPG про Русь-матушку встречается всё-таки не каждый день. Здесь есть мечи и доспехи, карта и журнал заданий, сундуки, навыки, крафт, подземелья и боссы. И очень, очень много русского духа.
Начинается с того, что молодой воин Сокол отправляется на подвиги и почти сразу погибает. Игра даже выдаёт торжественную надпись “И Сокол умер”, после чего, разумеется, не заканчивается. Героя возвращает к жизни загадочный дух, который теперь делит с ним одно тело (не самый свежий ход, ага). Душу предстоит вернуть, с новым соседом — разобраться, а заодно, раз уж взялся, спасти Тридевятое царство. [...]
Это смесь былин, сказок и современных стереотипов о древней Руси. За одним поворотом стоят деревянные избы и чинные старцы, за другим — огромная разумная жаба [...]
Развесистой клюквы в игре много, собственно, это и есть суть игры. Сокол бродит по осенним лесам, болотам, деревням, подземельям, княжеским палатам и Тридевятому царству. Локации иногда кажутся слишком большими, но всегда стараются показать что-нибудь новое. Мне понравился тёплый деревенский вайб: торговцы, телеги, игра в городки, сервированные столы…
Юмор бывает разный, но обычно довольно детский и построен на помещении сказочных объектов в более реалистичный контекст. Не каждая шутка реально хороша, но в целом создаётся мир в этаком духе русского Пратчетта (у него ведь тоже шутки в основном детские, да и принцип в целом тот же).
Зато иногда герои выражаются весьма не по-детски. Это даже как-то неожиданно было, но тоже добавило колорита. Правда, недетские выражения не озвучены, однажды даже слышал реплику “Иди лесом”, когда написано было нечто совсем другое.
Среди персонажей здесь Василий Пьяница, Жабная Особа и Берёза с глазами. Чтобы поднять уровень, надо обняться с домовёнком; их всех зовут Кузя, и выглядят Кузи о-очень специфически. В общем, думаю, стиль вы поняли. [...]
А вот механически “Былина” очень скромно выглядит. Мы получаем задания, идём по маркеру, разговариваем, дерёмся, собираем добычу, меняем снаряжение и снова идём по маркеру. В журнале есть основные и побочные квесты, в инвентаре — мечи и доспехи, в меню — способности и улучшения. [...] Боссы, кстати, мило сделаны, мне понравились, но это тоже скорее про сеттинг, чем про геймплей.
К счастью, разработчики понимали, что механиками они игрока не удержат, так что, во-первых, постоянно меняют декорации и добавляют сюжет, а во-вторых, разнообразят бои загадками; некоторые загадки вполне даже свежо смотрятся.
А главное, хотя история честно проходит стандартную арку героя, и Сокол успевает обрести характер, завершить своё путешествие и даже завести хозяйство, всё это не затянуто; пройти “Былину” можно и нужно часов за восемь. [...]
Так что ознакомиться можно, для доброй былины может и этого оказаться достаточно.
#tgif #games
🔥16❤9👍7