CS Space выложили фотографии и материалы с LLM-митапа 14 июля. Вот пост в телеграме, а вот сама папка с фотографиями:

14.07.26. Митап «LLM и агенты в математике и компьютерных науках» — Яндекс.Диск

Более того, коллеги выложили и видео докладов:
Митап «LLM и агенты в математике и компьютерных науках» (Николенко, Скрынник, Яковлев)

Там видео уже смонтировано со слайдами, так что я, наверное, свой собственный монтаж делать уже не буду. А вот квиз обязательно выложу для вас. Как только руки дойдут, сами понимаете...)

А вообще огненное было мероприятие! Спасибо большое за приглашение, и буду рад провести такое ещё!

#events #ai #photo

Я вам столько рассказывал про великие достижения фронтирных 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, и люди, и тем более люди, заинтересованные в том, чтобы результат таки получился.

Разумеется, там есть и такой раздел:

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

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

Ну что ж, я в целом дошёл до некоторой точки: найденное позавчера новое семейство контрпримеров к гипотезе Диница — Гарга — Гёманса теперь понятно как устроено. Это оказались семейства пересекающихся целочисленных интервалов, которые задают пути до терминалов, точнее, ответвления к терминалам от главной "большой дороги" (в этом семействе до каждого терминала ровно два пути).

В итоге нижняя оценка уже от позавчерашних 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