«Людство перемогло (поки що!)»: польський програміст обійшов штучний інтелект у фіналі AtCoder 2025
Пшемислав Дембяк, відомий як «Psyho», — польський спеціаліст з алгоритмів і евристики, здобув перемогу на AtCoder World Tour Finals 2025 (Heuristic Division) — найпрестижнішому конкурсі для експертів з оптимізаційних задач.
Він переміг 11 найкращих учасників, а також систему на базі AI, яка посіла друге місце.
Хто такий Пшемислав Дембяк
Дембяк вже багато років входить до світової еліти програмістів, які спеціалізуються на евристичних та оптимізаційних задачах. Він бере участь у найскладніших алгоритмічних змаганнях, а його псевдонім «Psyho» регулярно з’являється в топах рейтингів міжнародних платформ, таких як AtCoder. Його вважають одним із найкращих спеціалістів у галузі евристики — особливо там, де потрібне стратегічне мислення, глибоке розуміння структур даних та вміння адаптуватися до неповної інформації.
Завдання, правила та результати фіналу AtCoder
AtCoder World Tour Finals — це закритий турнір для 12 найкращих програмістів-евристів світу. Він зосереджений на реалістичних оптимізаційних проблемах, для яких не існує єдиного ідеального розв’язку. Фінальний раунд тривав 10 годин і передбачав індивідуальне розв’язання складного завдання — без доступу до готових бібліотек, документації чи зовнішніх інструментів. До речі, ось
Про свою участь Пшемислав написав так:
«Людство перемогло (поки що!)Я повністю виснажений. Здається, за останні 3 дні я спав лише 10 годин і ледве тримаюсь на ногах. Розповім більше про змагання, коли трохи відпочину. (Щоб було зрозуміло — це поки що попередні результати, але мій відрив має бути достатньо великим)», — написав він у своєму акаунті X.
Фінальні ж результати склали 1 812 272 558 909 балів у Psyho та 1 654 675 725 406 балів у OpenAIAHC відповідно. Відрив склав приблизно 9.5%.
Перемогу Дембяка помітили й у професійній спільноті. Зокрема, Сем Альтман, CEO OpenAI, привітав його публічно:
Як підкреслюють коментатори, умови конкурсу були особливо сприятливими для ітеративних систем, тому результат Дембяка вважається ще більш вражаючим. Експерт Станіслав Айсмонт зазначив, що завдання вимагало не «хорошого» рішення, а такого, яке буде кращим за інші. І в таких умовах саме людина виявилася ефективнішою за алгоритм.
10 коментарів
Додати коментар Підписатись на коментаріВідписатись від коментарів"
"
А в AI який доступ був?
Компілятори теж видають машинний код, який людина може оптимізувати в ручну краще (при умові наявності кваліфікації), та цього рівня абстракцій не достатньо для задоволення практичних потреб вже як мінімум 40 років. Тому і пишемо на JavaScript та Python.
Для отримання результату із LLM так само треба задавати промпт, максимально формально, і так само проводити відладку і тестування бо воно може нагенерити не те і не так, і сам промпт може бути помилковим, навідповідним до пореб завдання автоматизації.
Просто ми перейшли на більший рівень абстракцій, тільки і по усьому.
Ну... якщо брати переклад один в один, то людина на памʼятає ані кількість тактів, ані конвейери, ... Людина давно програє. Інше питання, що можна переробити код, але для цього треба розуміти яку задачу він вирішує, чого не може компілятор.
Якщо брати оптимізацію, то усе одно можна написати на Сі максимально наближено до того.
Максимально формально це і є код мови програмування. А от неформально це те, що ми даємо LLM, яке можна розуміти по-різному. Думаю є аналог закону Фермі: як формально не напиши ТЗ, усе одно його зрозуміють по різному.
Тут питання у тому, що LLM зазвичай усе про що не сказано, заповнює «як зазвичай роблять».
Якесь нечесне змагання, як на мене. Будемо змагатися з AI хто більше не спить?
Жодний контест із програмування, різні олімпіади хакатони і т.д. в сутності не є нормальним змаганням. З них не з’явилось жодного Джобса та Возняка, рівно як і Гейтца із Аленом, рівно як і лауреатів премії Тюрінга, тим більше Нобелівської премії. Сутність їх якраз натренуватись на велику кількість типових задач і потім відтворити їх по аналогії, тобто шаблонне мислення. Змагання із AI на таких контестах — аналогічне змагання із трактором в перетягування канату, лише питання часу коли трактор поліпшиться і буде уділувати будь яку команду качков, бо переважатиме за потужністю її в 1000 і більше разів. Те саме вантажники із вилочним погрузчіком, виграє будь яке змагання із важкої атлетики. Штангіст моде підняти 300 кг максимум, а погрузчик 3 тонни.
Ai піддався цьому Mateusz Neoński, що б не палитись завчасно.
Він — Обраний
у людства є шанс)
Вся ставка на одного поляка ;)
Хоч один знайшовся