На олимпиадах по программированию высокого уровня побеждают люди столь же высокого уровня
С 2000 года, когда российские команды впервые стали победителями командного студенческого чемпионата мира по программированию, тогда проходившего ICPC (https://lr.news.itmo.ru/icpc), тогда ещё проходившего под эгидой АСМ (https://www.acm.org/), не смолкают, по крайней мере у нас в стране, разговоры о том, что победители таких чемпионатов якобы не приспособлены для работы в IT-промышленности.
Я имею честь почти 30 лет близко общаться с большим числом призеров и победителей этих соревнований (только чемпионами мира команды из наших на этих соревнованиях ребят были семь (!) раз), так как работаю на кафедре «Компьютерные технологии» (КТ) университета ИТМО.
Неоднократно пытался опровергать указанное мнение, для чего написал ряд статей на эту тему: «Зачем нам чемпионы по программированию? Пятнадцать аргументов в пользу программистских олимпиад (2008, https://vk.com/@1077823-zachem-nam-chempiony-po-programmirovaniu-pyatnadcat-argument»), «В защиту мальчишек, которые в ней не нуждаются! (2013, http://is.ifmo.ru/belletristic/defence/), «К вопросу о том, что классные олимпиадники чего-то там не могут» (2021, https://vk.com/@1077823-k-voprosu-o-tom-chto-klassnye-olimpiadniki-chego-to-tam-ne), «Кое-что о программировании» (2021, https://vk.com/@1077823-koe-chto-o-programmirovanii), «В защиту олимпиадников, которые в защите не нуждаются» (2023, https://d-russia.ru/v-zashhitu-olimpiadnikov-kotorye-v-zashhite-ne-nuzhdajutsja.html).
Молодые люди, которые побеждают или являются призерами этих многоэтапных соревнований, в которых каждый год принимают участие около 50 000 участников из более 3000 университетов, представляющих более 110 стран мира (https://icpc.global/), должны быть под стать уровню этих соревнований. По моему мнению, они в IT могут всё. На этот раз я остановлюсь лишь на одной сфере их профессиональной послеолимпиадной деятельности – академической (преподавание и наука). Естественно, что у меня нет общей статистики по этому вопросу, и поэтому расскажу только о тех людях, с которыми так или иначе знаком.
Начну с важного события: первого сентября 2024 года в двух топовых вузах страны на ведущих факультетах, связанных с математикой и программированием, деканами будут сравнительно молодые люди, которые в 2001 году на чемпионате мира ICPC в Ванкувере были соперниками, один из них стал победителем, а второй – призером этих соревнований! Указанные люди – это Виктор Александрович Петров и Андрей Сергеевич Станкевич.
Сначала приведу текст: «Факультет математики и компьютерных наук СПбГУ, который создан лауреатом Филдсовской премии Станиславом Константиновичем Смирновым (сейчас он научный руководитель факультета) и является одним из лучших факультетов этой направленности в мире, приветствует нового декана! Теперь нашим дружным сообществом руководит профессор Виктор Александрович Петров.
Наш декан в духе факультета совмещает интерес к математике и к информатике: Виктор Александрович – чемпион мира по программированию. В 2001 году командный студенческий чемпионат мира ICPC выиграла команда СПбГУ в составе: Николай Дуров, Андрей Лопатин и Виктор Петров (https://cphof.org/). Сейчас Виктор Александрович – доктор физико-математических наук, профессор (https://math-cs.spbu.ru/people/petrov-v-a/). Он специализируется на алгебраической геометрии. Основные научные интересы: линейные алгебраические группы, ориентированные теории когомологий и мотивы Чжоу. Исследования под руководством Виктора Александровича ведутся в лаборатории алгебры и теории чисел ПОМИ, где он является ведущим научным сотрудником (https://pdmi.ras.ru/pdmi/staff/виктор-александрович-петров).
Виктор Александрович читает лекции по алгебре студентам первого и второго курсов программы «Математика» и выступает руководителем студентов старших курсов, разделяющих его научные интересы. Кроме того, декан активно участвует в организации конференций Института Эйлера и научных событий на нашем факультете. Желаем Виктору Александровичу успехов в новой должности!» (https://vk.com/spbumathcs?z=photo-92123936_457241032%2Falbum-92123936_00%2Frev).
Так Виктор Александрович защищает докторскую диссертацию (https://rutube.ru/video/b99db58bd5579fed37b51d8adc1c6716/) на тему «Mотивные методы в теории алгебраических групп и однородных многообразий» (https://disser.spbu.ru/zashchita-uchenoj-stepeni-spbgu/544-petrov-viktor-aleksandrovich.html). А вот большое интервью Петрова: https://www.youtube.com/watch?v=sSfAhmVXR60.
Если Виктор Петров в команде с двумя выдающими программистами в Ванкувере победил, то Андрей Станкевич совместно с Георгием Корнеевым и Денисом Кузнецовым из университета ИТМО заняли третье место.
Вот далеко не полный перечень достижений Андрея Сергеевича. Стипендиат (https://itmo.ru/ru/stiplist/imennye_stipendii.htm) Президента и Правительства РФ (2000, 2001). Доцент кафедры КТ, впоследствии доцент факультета «Информационные технологии и программирование» университета ИТМО. В 2009 году защитил кандидатскую диссертацию под руководством Владимира Глебовича Парфенова (https://is.ifmo.ru/main/alumni.pdf) – одного из отцов-основателей факультета, которого Андрей сменил. Вторым «отцом» был наш ректор Владимир Николаевич Васильев (https://is.ifmo.ru/main/alumni.pdf). Станкевич автор учебных курсов «Дискретная математика», «Алгоритмы и структуры данных», «Теория формальных языков», «Языки программирования и методы трансляции». Автор сайта вики-конспектов, содержащего свыше 500 статей-конспектов. Автор методологии использования системы проверки олимпиадных задач в учебном процессе. Лауреат премии Президента РФ в области образования (2003) и молодежной премии Санкт-Петербурга в области информационных технологий за 2009 год (https://museum.itmo.ru/page/314/). Лауреат премии Правительства Санкт-Петербурга для педагогов-наставников (2011, 2014, 2015). Почетный доктор Университета ИТМО (2015). Занимал четвертое и третье места (сегодня за такие достижению присуждаются золотые медали) в составе команды ИТМО на чемпионатах мира ICPC (2000, 2001). Под его руководством команды ИТМО на этом чемпионате семь (!) раз становились чемпионами мира и Европы (2004, 2008, 2009, 2012, 2013, 2015, 2017), четырежды занимали третье место – золотые медали (2003, 2005, 2007, 2020), один раз седьмое место – серебряные медали (2016) и дважды девятое – бронзовые медали (2014, 2018). Команды ИТМО под его руководством девять раз становились чемпионами России (1996, 2001, 2003, 2004, 2007, 2010, 2011, 2012, 2014). Имеет ряд наград от ICPC.
Председатель жюри Всероссийской командной олимпиады школьников по программированию, начиная с первого года ее проведения (2000). Член жюри Всероссийской олимпиады школьников по информатике (с 2004 года), член центральной предметно-методической комиссии всероссийской олимпиады школьников по информатике и информационно-коммуникационным технологиям, проводимой под эгидой Министерства просвещения РФ (с 2008 года). Председатель этой комиссии (с 2019 года). Руководитель национальной команды школьников на Международной олимпиаде по информатике – International Olympiad in Informatic (IOI), https://ioinformatics.org/. Автор более 500 учебно-тренировочных задач. Один из ключевых организаторов летней компьютерной школы (https://lksh.ru/), в которой много лет ежегодно летом и зимой (!) обучается свыше 400 школьников со всей страны. Инициатор проведения занятий по информатике в образовательном центре «Сириус» (https://sochisirius.ru/o-siriuse/ekspiertnyi-soviet). Председатель жюри серии интернет-олимпиад по информатике и программированию (с 2006 года) и чемпионата мира среди русскоязычных программистов Russian Code Cup (с 2011 года), проводимого университетом ИТМО совместно с компанией Mail.Ru (Россия). Один из организаторов проведения чемпионата России по программированию и «Игр будущего», проведенных под эгидой федерации спортивного программирования России. Большое интервью Андрея Станкевича на Codeforces приведено здесь: https://www.youtube.com/watch?v=-FwCXUEfWrk, а вот Андрей Сергеевич рассказывает о сказочной программе по ИИ (https://d-russia.ru/skazochnaja-programma.html), которая будет проводиться совместно с «Яндексом» (https://www.youtube.com/watch?v=jdKZRDqV6W0).
Петров и Станкевич далеко не единственные, кто после высоких достижений в ICPC «пошли» не в программисты, а делали и/или делают карьеру в академии.
Георгий Александрович Корнеев – стипендиат Президента РФ (2000). Доцент кафедры KT, впоследствии доцент факультета «Информационные технологии и программирование» университета ИТМО. Занимал четвертое и третье места (сегодня за такие достижению присуждаются золотые медали) в составе команды ИТМО на чемпионатах мира ICPC (2000, 2001). В 2006 году под моим руководством защитил кандидатскую диссертацию на тему «Автоматизация построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода» (https://is.ifmo.ru/disser/korn_disser.pdf). Лауреат премии Правительства РФ в области образования (2008). Лауреат премии Правительства СПб в области образования (2009). С 2000 года входит в оргкомитет Всероссийской олимпиады школьников по информатике (член научного комитета, жюри, центральной предметно-методической комиссии). Председатель жюри (с 2001 года) и директор (с 2005 года) четвертьфинальных соревнований Северного подрегиона Северо-Восточного европейского региона ICPC. Ответственный исполнитель проекта «Подготовка и переподготовка профильных специалистов на базе центров образования и разработок в сфере информационных технологий» Комиссии при Президенте РФ по модернизации и технологическому развитию экономики России. Ответственный исполнитель ряда научно-исследовательских работ Российского фонда фундаментальных исследований.
Дмитрий Павлов завоевал серебряную медаль (25 место) на IOI 2002 года (https://stats.ioinformatics.org/results/2002). Он был одним из тех, кому в соответствии с распоряжением Президента РФ «О присуждении премий Президента РФ за 2002 год работникам образования – лауреатам конкурса «Учитель года России» и обучающимся в общеобразовательных учреждениях – победителям международных олимпиад по учебным предметам» (https://ru.wikisource.org/wiki/Распоряжение_Президента_РФ_от_03.02.2003_г._№_45-рп) за выдающиеся способности, проявленные в ходе IOI, была присуждена эта премия. В 2003 году Павлов входил в команду университета ИТМО, которая стала чемпионом России по программированию (https://is.ifmo.ru/aboutus/achievements). Лауреат молодежной премии Санкт-Петербурга в области информационных технологий (2003). Он входил в команду этого университета, занявшую первое и третье места на чемпионатах мира ICPC в 2004 и 2005 годах, что принесло ему золотые медали. В 2007 году закончил бакалавриат на кафедре КТ университета ИТМО. В 2011 году в University of California (Berkeley) Дмитрий стал PhD in Mathematics. Тема его диссертации: A decomposition theorem for noncommutative Lp-spaces and a new symmetric monoidal bicategory of von Neumann algebras. Сейчас он Associate Professor of Mathematics and Statistics Texas Tech University (https://dmitripavlov.org/vita.pdf). Вот его публикации: https://scholar.google.com/citations?user=iAueITAAAAAJ&hl=en.
Максим Буздалов входил в команду университета ИТМО, занявшую первое на чемпионате мира ICPC в 2009 году. В 2014 году под моим руководством защитил кандидатскую диссертацию на тему «Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов». Доцент кафедры КТ. Лауреат премии Правительства РФ в области образования (2016). Участвовал в организации Интернет-олимпиад по информатике и программированию. Член жюри Северного четвертьфинала Северо-Восточного европейского полуфинала ICPC (2010-2015 годы), Северо-Восточного европейского полуфинала чемпионата мира по программированию (2010-2015 годы). Участвовал и руководил тренировками команд по программированию следующих университетов мира (https://vk.com/@1077823-vsemirnaya-shkola-programmirovaniya-chempionov-mira-iz-unive): ETH Zurich, которые с 2010 года после этих тренировок регулярно выходят в финал чемпионата мира ICPC, Peking University, который в 2014 году впервые занял третье место (золотая медаль) в финале чемпионата мира ICPC, а в 2015 году – пятое место (серебряная медаль), Tongji University (Китай) и Technology University of Monterrey (Мексика). Победитель открытого конкурса грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга (2009). Победитель конкурса грантов в рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг. по мероприятию «Проведение научных исследований целевыми аспирантами по направлению нано-, био-, информационные, когнитивные технологии». О том, как Максим проводил дистанционные занятия по программированию на платформе edX, я написал текст «Хорошее дистанционное образование, или Максим на Хайпе» (https://d-russia.ru/horoshee-distantsionnoe-obrazovanie-ili-maksim-na-hajpe.html). Научный руководитель ряда успешно защитившихся аспирантов. Вот его публикации: https://scholar.google.ru/citations?user=grsvQ5QAAAAJ&hl=en.
Наталья Бондаренко входила в состав команд Саратовского государственного университета, занявших четвертое (золотая медаль) и седьмое место (серебряная медаль) на чемпионатах мира ICPC 2009 и 2010 годов. В 2011 году ей присуждена учёная степень «Кандидат физико-математических наук», в 2016 году присвоено ученое звание «Доцент», а 2022 году ей присуждена учёная степень «Доктор физико-математических наук». В 2021 году она защитила в МГУ диссертацию на тему: «Обратные задачи спектрального анализа для дифференциальных операторов» (https://dissovet.msu.ru/dissertation/1873). Профессор кафедры прикладных математики и физики Самарского университета (https://ssau.ru/staff/493606143-bondarenko-natalya-pavlovna). В 2021 г. Наталья получила премию компании Elsevier за выдающийся вклад в развитие математики на национальном и международном уровнях в категории «Молодой ученый». Ее научные исследования относятся к теории обыкновенных дифференциальных уравнений, функционального анализа и математической физики (https://ssau.ru/news/19046-dotsent-samarskogo-universiteta-samyy-tsitiruemyy-molodoy-matematik-rossii).
Илья Разенштейн в 2007 году занял второе место на Всероссийской олимпиаде школьников по информатике. Он дважды золотой медалист IOI – 10 и 11 места в 2006 и 2007 годах. Золотой медалист (второе место) чемпионата мира ICPC 2010 года. Закончил МГУ. За время обучения в университете был на двух стажировках в Microsoft Research и два года работал в «Яндексе». В 2017 году защитил PhD в Массачусетском технологическом институте. Тема его диссертации: High-Dimensional Similarity Search and Sketching: Algorithms and Hardness (https://www.semanticscholar.org/paper/High-dimensional-similarity-search-and-sketching%3A-Razenshteyn/d993a229abb0230a416a59b7c51a9fc5e6286fde). Был постдоком в Колумбийском университете. Вот его публикации: https://scholar.google.com/citations?user=CMZAKkEAAAAJ&hl=en. У Ильи есть совместная работа с выдающимся математиком Андреем Гольдбергом (https://www.lektorium.tv/speaker/28588). Вот, что Илья пишет: «Самый кайф в исследованиях – придумать что-то новое с ощущением того, что до Вас это никто не делал, и что Вы – первопроходец. Такие моменты лично у меня случаются довольно редко, но каждый из них я хорошо помню, и все это вызывает совершенно непередаваемые эмоции. Конечно, почти любой новый результат – это капля в море науки, но, по-моему, это совершенно неважно, а важен сам факт расширения границ наших знаний. Это как решать и решить трудную олимпиадную задачу, но которую составляет не другой человек, а Бог или мироздание (кому как нравится)» (http://news.ifmo.ru/ru/blog/39/).
Фотографии некоторых героев этой части текста приведены здесь: https://d-russia.ru/gde-segodnya-rabotayut-rossijskie-chempiony-mira-po-programmirovaniyu.html.
Перечисленная выше олимпиадная «публика» высочайшего класса, как-то обходится без IT-промышленности, как и IT-промышленности обходится без них – они нашли консенсус.
Теперь о тех, кто защитил диссертации, но ушел в IT-промышленность, в том числе в организацию стартапов и на работу в них (указаны только академические достижения).
Николай Дуров три года подряд (с 1996 по 1998 годы) на международной олимпиаде школьников по математике (International Mathematical Olympiad – IMO) завоевывал золотые медали (четвертое, одиннадцатое, четвертое места). С 1995 по 1998 годы он завоевал золотую (девятое место в 1996 году) и три серебряных медали (26, 51 и 29 места в остальные годы) на IOI. В 2000 и 2001 годах в составе команд СПбГУ он был чемпионом мира ICPC. В 2007 году стал PhD, защитив в Боннском университете под руководством лауреата Филдсовской премии Герда Фальтингса (https://www.livelib.ru/author/775139-gerd-faltings) диссертацию на тему «Новый подход к геометрии Аракелова» (https://www.youtube.com/watch?v=oCD2Ohfgklk), в которой развивал идеи одного из выдающихся математиков 20 века Александра Гротендика (https://mel.fm/zhizn/istorii/8147623-alexander_grothendieck). Там же Николай прошел процедуру хабилитации (https://bigenc.ru/c/khabilitatsiia-b94577), став доктором наук.
Матвей Казаков – стипендиат Президента РФ (1999). Занял третье место в составе команды ИТМО на чемпионате мира ICPC (1999). В 2010 году защитил под руководством В.Г. Парфенова кандидатскую диссертацию на тему «Методы построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода» (https://is.ifmo.ru/disser/kazakov_disser.pdf). Разработчик и соавтор Интернет-школы программирования. Лауреат премии Правительства РФ по образованию (2008). Тренер команды Университета ИТМО на чемпионате мира по программированию, завоевавшей золотые медали за третье место в 2001 году. В этом же году возглавил технический комитет по проведению соревнований в Северной Евразии (Northern Eurasia Regional Contest – NERC). Лауреат премий ICPC. В 2019 году в университете ИТМО было создано представительство ICPC в России и странах СНГ (Северная Евразия), https://habr.com/ru/news/t/471984/, руководителем которого стал Казаков (https://icpc.itmo.ru/). Уже несколько лет Матвей занимает должность директора по операциям ICPC в целом.
Никита Шамгунов входил в команду Уральского государственного университета, которая в 2001 году получила бронзовые медали на чемпионате мира ICPC (18 место). В 2004 году Никита под моим руководством защитил кандидатскую диссертацию на тему «Разработка методов проектирования и реализации поведения программных систем на основе автоматного подхода» (https://is.ifmo.ru/disser/shamg_disser.pdf). Вот обстоятельная беседа с Никитой о его жизни: https://www.youtube.com/watch?v=SAIVPK-l-68.
Сергей Оршанский в 2003 году входил в команду университета ИТМО, которая стала чемпионом России по программированию (https://is.ifmo.ru/aboutus/achievements). Лауреат молодежной премии Санкт-Петербурга в области информационных технологий (2003). Он также входил в команду этого университета, занявшую первое и третье места на чемпионатах мира ICPC в 2004 и 2005 годах, что принесло ему золотые медали (https://lr.news.itmo.ru/icpc_guide). В 2010 году он стал PhD по математике. Вот название одной из его статей: A PL-manifold of nonnegative curvature homeomorphic to S 2 ×S 2 is a direct metric product (https://www.ams.org/journals/proc/2011-139-12/S0002-9939-2011-10861-X/).
Фёдор Царев – стипендиат Президента и Правительства РФ (2008, 2007). Входил в команду университета ИТМО, которая стала чемпионом России по программированию в 2007 году. Он также входил в команду этого университета, занявшую первое на чемпионате мира ICPC 2008 года. В 2012 году под моим руководством Фёдор защитил кандидатскую диссертацию на тему «Методы построения конечных автоматов на основе эволюционных алгоритмов» (https://is.ifmo.ru/disser/tsarev_disser.pdf). Вот его публикации: https://scholar.google.ru/citations?user=Xwac_zEAAAAJ&hl=en. В 2013 году стал доцентом кафедры КТ. Участвовал в финале соревнований по программированию TopCoder Collegiate Challenge 2007. Участвовал в организации школьных олимпиад и Интернет-олимпиад по информатике и программированию. Успешно совмещал олимпиадную деятельность и преподавание школьникам с научной и инновационной работой. Победитель открытого конкурса грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории СПб (2007, 2009, 2011). Победитель конкурса по программе «У.М.Н.И.К.» (2007). Лауреат молодежной премии Санкт-Петербурга в области информационных технологий (2007). Победитель конкурса «Молодые. Дерзкие. Перспективные» в номинации «Бизнес-идея» (2008). Лауреат премии Правительства СПб за лучший инновационный проект «Программирование и футбол для молодежи» (номинация «Для обеспечения интересов молодежи», 2009). Лауреат Гран-при первой молодежной национальной премии «Прорыв» (2009). Лауреат премии правительства СПб в области научно-педагогической деятельности (2010). Руководитель работ по созданию сборщика генома в Университете ИТМО. Ответственный исполнитель научно-исследовательских работ по сборке генома и транскриптома. Совместно с двукратным чемпионом мира ICPC Евгением Капуном получил фундаментальные результаты по оценке вычислительной сложности задачи сборки генома на основе графа де Брейна. Команда Университета ИТМО под руководством Ф.Н. Царева дважды участвовала в международных соревнованиях по сборке генома. Тренер команды по программированию ETH Zurich (Швейцария), которую впервые в истории этого университета вывел в финал чемпионата мира (2011).
И, наконец, о людях, который так или иначе совмещают работу в IT-промышленности с академической деятельностью.
Марк Сандлер в 1995 году занял третье место на Всероссийской олимпиаде школьников по информатике (https://isi-junior.ru/about/museum/files/30book.pdf). Дважды завоевывал золотые медали IOI (14 и шестое места в 1995 и 1996 годах). Поступил на кафедру КТ в 1996 году. В этом же году в составе команды университета ИТМО стал чемпионом России по программированию. В 1997 и 1998 годах участвовал в составе команд этого университета в финалах чемпионатов мира ICPC (https://vk.com/@1077823-dostizheniya-studentov-kafedry-komputernye-tehnologii-univer). Стипендиат Президента РФ (1998). Тренер команд университета ИТМО в финалах указанного чемпиона в 1999 и 2000 годах (третье и четвертые места). В 2001 году Марк закончил бакалавриат кафедры КТ и поступил в аспирантуру одного из американских университетов. Впоследствии он стал PhD и одним из первых научных сотрудников в компании Google (https://scholar.google.com/citations?user=IcPc-OUAAAAJ&hl=en).
Максим Бабенко в 1999 году занял пятое место на Всероссийской олимпиаде школьников по информатике (https://neerc.ifmo.ru/school/archive/1998-1999/ru-olymp-roi-1999-standings.html). В том же году на IOI завоевал золотую медаль (20 место). Поступил на механико-математический факультет МГУ (1999). В составе команд МГУ в 2002 и 2003 годах завоевал бронзовую (девятое место) и золотую (второе место) медали на чемпионатах мира ICPC. Руководит службой разработки технологий распределённых вычислений в «Яндекс» (https://habr.com/ru/companies/yandex/articles/311104/), а вот как Максим проводит собеседования при приеме на работу в компанию: https://habr.com/ru/companies/yandex/articles/592903/. Он кандидат физико-математических наук – в 2007 году в МГУ защитил диссертацию на тему «Сложность некоторых алгоритмических проблем для кососимметрических графов». Преподает в МГУ и Школе анализа данных «Яндекса» (https://shad.yandex.ru/teachers). По совместительству с работой «Яндексе» заведовал кафедрой «Алгоритмы и технологии программирования» в МФТИ (https://old.mipt.ru/education/chairs/programmingtechnolgy/persons/). В Высшей школе экономики (https://www.hse.ru/org/persons/7103512) руководит базовой кафедрой «Яндекса» (https://cs.hse.ru/big-data/yandex/persons). Вот записи более ста его лекций: https://www.youtube.com/playlist?list=PLuWypj7F_mQmz5rIkupGd3AiI6hpVrOYx. Максим соавтор статьи (http://www.cs.cmu.edu/~jonderry/maxflow.pdf) с выдающимися математиками современности – упомянутым выше Андреем Гольдбергом и Робертом Тарьяном (http://ru.hayazg.info/Тарьян_Роберт_Андре). Приведу ещё одну статью Бабенко: https://www.sciencedirect.com/science/article/pii/S1572528608000662.
И в заключение. Думаю, что приведенные выше факты сводят на нет тот бред, который можно слышать об олимпиадниках даже высочайшего класса, состоящий в том, что они привыкли быстро решать много задач, и не способны обеспечить то, что так ценится в IT-промышленности – качество кода. Из написанного выше следует, что талант, образованность и трудолюбие каждого из них позволяют долго решать указанные сложнейшие задачи, по сравнению с которыми задача обеспечения качества кода для них весьма проста. Я уверен, что, если бы они захотели её решать, то несомненно бы решили, а многие из них и так, чуть ли не ежедневно её решают. И еще. Интересно было посмотреть на тех, кто качественно пишет код – как они решали бы некоторые из тех проблем, темы которых приведены выше…
И еще. Одни люди из IT-промышленности, которые сами получили хорошее образование, считают, что если человек в вузе освоил функциональный анализ, то в программировании на Jave он точно разберется, а другие после сдачи экзамена по математическому анализу, говорят, что никакие статьи с применением математики теперь их не пугают. Что уж тогда говорить, о тех, кто не только освоил сложные математические предметы, но еще и получили там серьезные научные результаты…
P.S. 1. Матвей Казаков так прокомментировал этот текст: «Спасибо за текст и за последнее предложение в нем: «Интересно было бы посмотреть на тех, кто качественно пишет код – как они решали бы некоторые из тех проблем, темы которых приведены выше…».
2. Антонина Гавриловна Федорова из Саратовского ГУ написала коротко: «Круто!».
3. А теперь окончательный ответ на вопрос: зачем в IT-компаниям нужны олимпиадники. Ответ зависит от задач, решаемых компанией, если эти задачи очень трудные, то они оказываются очень нужны. В сентября 2024 г. компания Open AI сделала очередной прорыв в области ИИ, разработав «рассуждающую» большую языковую модель. В получасовом ролике (https://youtu.be/HpZ3R3KQud4) практически каждый участник команды из 19 человек, рассказывает о том, как он работал над созданием этой модели и какова была обстановка в команде. В конце ролика было сказано, что в команде многие участвовали в олимпиадах по математике и программированию, что помогло им решить обсуждаемую задачу. Практически каждый из них имеет по несколько высокорейтинговых публикаций. Вот, оказывается, для чего нужны олимпиадники, а не для того, чтобы красиво писать код, так как их модель код уже пишет, о чем, в частности, говорится в ролике. В эту команду взяли и нашего выпускника − чемпиона мира по программированию по версии ICPC 2017 г. Ивана Белоногова, однако «заморочки» с визой не позволило ему оказаться там. К счастью, и нас начали понимать, что при решении прорывных задач в ИИ без талантов не обойтись (https://vk.com/@1077823-skazochnaya-programma).
3. А теперь окончательный ответ на вопрос: зачем в IT-компаниям нужны олимпиадники. Ответ зависит от задач, решаемых компанией, если эти задачи очень трудные, то они оказываются очень нужны. В сентября 2024 г. компания Open AI сделала очередной прорыв в области ИИ, разработав «рассуждающую» большую языковую модель. В получасовом ролике (https://youtu.be/HpZ3R3KQud4) практически каждый участник команды из 19 человек, рассказывает о том, как он работал над созданием этой модели и какова была обстановка в команде. В конце ролика было сказано, что в команде многие участвовали в олимпиадах по математике и программированию, что помогло им решить обсуждаемую задачу. Практически каждый из них имеет по несколько высокорейтинговых публикаций. Вот, оказывается, для чего нужны олимпиадники, а не для того, чтобы красиво писать код, так как их модель код уже пишет, о чем, в частности, говорится в ролике. В эту компанию в 2018 г., когда там работало человек семьдесят, взяли и нашего выпускника − чемпиона мира по программированию по версии ICPC 2017 г. Ивана Белоногова, однако «заморочки» с визой не позволило ему оказаться там. В 2024 г. туда взяли другого нашего выпускника – чемпиона мира 2015 г. Бориса Минаева (https://vk.com/@brown_room-database-vk). При этом отмечу, что в ноябре 2023 г. в компании уже работало 770 человек. К счастью, и нас начали понимать, что при решении прорывных задач в ИИ без талантов не обойтись (https://vk.com/@1077823-skazochnaya-programma).
4. В заключение еще раз о человеке, который уже был упомянут выше – Николае Дурове. Вот его текст, который называется Telegram Open Network Virtual Machine (https://docs.ton.org/tvm.pdf). Это 172 страницы прекрасно оформленного математического текста, посвященного программистской тематике. Не знаю, как у Николая с написанием кода, соответствующего промышленным стандартам, но я практически на 100 % уверен, что все, кто могут так писать код, математический текст про программирование, как это сделал Дуров, не напишет.
5. И не надо продолжать мне «петь песню», что миру «дуровых» нужны единицы, а промышленности нужны десятки, а то и сотни тысяч тех, кого там называют персоналом. Но сегодня ситуация в мире такова, что крупнейшим IT-компаниям мира стало ясно, что, например, в области ИИ все решают таланты (https://vk.com/@1077823-skazochnaya-programma), которых не думайте, что в мире очень много. Уже сегодня в этой области лучшие мозги концентрируются не в университетах, а в больших компаниях (https://vk.com/@1077823-sterligov-i-komputernye-nauki-v-mire-i-rossii-analiz-cherez) или даже в стартапах, которые либо сами становятся большими компаниями, либо большие компании покупают их. И поэтому сегодня счет идет уже на сотни, а то и на тысячи талантов… В ряде стран даже появились «визы талантов» (https://visateka.ru/kak-poluchit-vizu-talantov-o-1-v-ssha). В области сегодня, как никогда ранее, актуальны слова Стива Хокинга: «Смотрите на звезды, а не себе под ноги!»
6. 09.10.2024 г. произошел триумф программистов новой формации: два представителя компании Google DeepMind – Демис Хассабис (48 лет, руководитель компании) и Джон Джампер (39 лет) получили Нобелевскую (!) премию по химии «за предсказание структур белков» (https://www.interfax.ru/world/985929). Предсказание трехмерной структуры, которую примет белок, основываясь исключительно на его аминокислотной последовательности, было важной исследовательской проблемой на протяжении более 50 лет. Предложенная под руководством авторов модель на основе глубокого обучения позволяет предсказывать структуры белков с атомарной точностью.
7. Обычно Нобелевские премии присуждают за научные открытия с солидной задержкой, но в данном случае прошло буквально несколько лет. Это связано с тем, что сразу всем стало ясно, что модель на основе нейронной сети для предсказания сложных структур белков под названием AlphaFold2 – это очень полезный инструмент, который появился в 2020 г., и с тех пор его использовали два миллиона человек из 190 стран. В открытом доступе находится код модели база данных с различными видами белков. Эта модель, по мнению многих, является стандартом в исследованиях по определению белковых структур. С ее помощью были разработаны вакцины от малярии, различные лекарства, ферменты и многое другое. Статья об этой модели была опубликована в Nature в 2021 г. (Highly accurate protein structure prediction with AlphaFold, https://pubmed.ncbi.nlm.nih.gov/34265844/). В этой статье Джампер – первый автор (человек, выполнивший наибольшую часть научной работы), а Хассабис (https://scholar.google.com/citations?user=dYpPMQEAAAAJ&hl=en) – последний (человек, который внёс наибольший вклад в появление научной работы). Тогда лауреаты указывали место работы – DeepMind, London, UK, хотя Google купил эту компанию ещё в 2014 г. Через неделю (22.07.2021 г.) у Джампер и Хассабиса, как у соруководителей, вышла еще одна статья в Nature по этой тематике (Highly accurate protein structure prediction for the human proteome, https://www.nature.com/articles/s41586-021-03828-1).
Хассабиса публикацией в Nature не удивить: еще в 2015 г. у него была статья в этом журнале (Human-level control through deep reinforcement learning, https://www.nature.com/articles/nature14236).
8. Да и чем его вообще можно удивить, если в марте 2024 г. за Хассабис был удостоен титула сэр и рыцарского звания за «заслуги перед искусственным интеллектом»!
9. Конечно, Джеффри Хинтон (он пра-правнук Буля), которому за день до обсуждаемых лауреатов тоже была присуждена Нобелевская премия, но по физике, с формулировкой «за фундаментальные открытия и изобретения, обеспечивающие машинное обучение с помощью искусственных нейронных сетей» не программист, а ученый, но тоже работал в Google (с 2013 по 2023 г.) – был одним из его вице-президентов (https://habr.com/ru/news/732772/).
10. В 2024 г. команда, состоящая в основном из сотрудников DeepMind, представила модель с открытым исходным кодом AlphaGeometry, способную решать задачи по геометрии, как медалист Международной математической олимпиады (https://habr.com/ru/news/787240/, https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/). Задачи в этом случае представляются в специально разработанном языке, на котором ИИ может рассуждать о проблеме. Модель обучалась на огромном числе синтетических данных – специально сгенерированных задачах. Без публикации в Nature эти программисты теперь обойтись не могут (https://www.nature.com/articles/s41586-023-06747-5).
11. В 2024 г. команда, состоящая в основном из сотрудников Google DeepMind, создала на базе большой лингвистической модели систему FunSearch (Searching in the Function Space – поиск в функциональном пространстве) для написания решений задач в виде компьютерных программ (https://habr.com/ru/news/780734/). Считается, что с ее помощью также получены новые научные результаты. Так при решении «проблемы множества крышек» система создала программу, которая генерирует новые решения, которые не были известны математикам. То же самое произошло и при решении «задачи об упаковке контейнеров». Известны и другие научные результаты, полученные этой системой. И снова программисты опубликовались в Nature (https://www.nature.com/articles/s41586-023-06924-6).
12. Вместо того чтобы генерировать решение, FunSearch генерирует программу, которая находит решение. Решение конкретной задачи может не дать мне никакого представления о том, как решать другие смежные задачи. Программа, которая находит решение, – это то, что человек может прочитать, интерпретировать и, возможно, использовать для генерирования идей для следующих задач. Основным ограничивающим фактором применения системы является то, что проблемы должны иметь решения, которые могут быть проверены автоматически, что исключает решение многих задач в биологии, где гипотезы часто необходимо проверять с помощью лабораторных экспериментов.
13. Одна из последних разработок компании программа AlphaCode, которая может писать код с такой же скоростью, как среднестатистический программист (https://deepmind.google/discover/blog/competitive-programming-with-alphacode/).
14. Исследования перечисленных проблем в DeepMind обычно занимает не месяцы, а годы.
15. Если до последнего времени открытость программного обеспечения обеспечивалась публикацией на GitHub (https://github.com/), то для программистов новой формации особенно важным становится публикация в ведущих научных журналах мира, что в отдельных случаях не исключает и публикацию на GitHub. В настоящее время ведущие в мире
IT-компании имеют более мощную публикационную активность в рассматриваемой области по сравнению с университетами (https://vk.com/@1077823-sterligov-i-komputernye-nauki-v-mire-i-rossii-analiz-cherez).
16. Уровень премий и званий, которые получают эти программисты, свидетельствует о том, что их работа уже сегодня преобразует науку.