Если бы современные научные сотрудники могли поговорить с великими учёными, чьи идеи изменили мир? В честь Дня российской науки исследователи ИТ-вуза поделились, кого бы они выбрали для такой встречи и о чём спросили. От Николы Теслы до Анатолия Китова и Владимира Воеводского — их вопросы касаются технологий, этики, человеческой интуиции и будущего искусственного интеллекта.

Мануэль Маццара, декан Факультета компьютерных и инженерных наук Университета Иннополис

Я бы начал своё путешествие с деревни Смилян в Хорватии 1870-х годов, чтобы встретиться с молодым Николой Теслой. Мне хотелось бы понять, как духовность его отца, служителя православной церкви, повлияла на его жизнь, подход к изобретениям и уникальную способность к ментальной визуализации экспериментов. Также мне интересно было бы обсудить его идею о том, что изобретения скорее «перенимаются», чем создаются с нуля.  

Затем я отправился бы в швейцарский город Кюснахт конца 1950-х годов, чтобы встретиться с пожилым Карлом Юнгом и обсудить с ним природу иррационального и человеческой интуиции.

Эти две встречи объединяют главные вопросы: чем человек отличается от машины и способен ли искусственный интеллект воспроизвести высшие человеческие способности — визуализацию, абстракцию и интуицию?

Замира Холматова, ведущий программист-математик Передовой инженерной школы Университета Иннополис 

Я бы обратилась к Анатолию Китову и задала вопрос: «Как вы считаете, каким должен быть баланс между автоматизацией и контролем со стороны человека»?

Анатолий Китов — выдающийся учёный и пионер в области автоматизированных систем управления. Он является автором первого отечественного учебника по программированию и руководителем проекта по созданию самой мощной в мире ламповой ЭВМ. В 1959 году Китов предложил концепцию создания глобальной компьютерной сети, которая могла бы объединить вычислительные мощности всей страны, что стало прообразом современных идей о распределённых системах.

Сегодня автоматизированные системы и искусственный интеллект находят применение в самых разных областях — от промышленности до медицины. Однако их внедрение часто вызывает споры о том, где проходит граница между автоматизацией и необходимостью человеческого вмешательства. Мне было бы интересно узнать мнение Китова о том, как он оценивает современные системы, способные принимать решения без участия человека, и какие принципы должны лежать в основе этой технологии.

Китов всегда подчёркивал важность человеческого фактора в управлении и принятии решений. Его идеи о необходимости создания единой автоматизированной системы управления для народного хозяйства СССР отражают понимание того, что технологии должны служить людям, а не заменять их. Его взгляды на современное состояние автоматизации и ИИ могли бы дать ценную перспективу на то, как мы можем использовать эти технологии для улучшения жизни общества, сохраняя при этом контроль и ответственность за принимаемые решения.

Адил Хан, директор Института анализа данных и искусственного интеллекта Университета Иннополис 

Я выбрал бы Алана Тьюринга, учитывая его влияние на развитие ИИ. Если бы мог вернуться в прошлое, встретился бы с ним и спросил, как, по его мнению, обществу следует справляться с этическими последствиями и рисками по-настоящему разумного искусственного интеллекта.

Тьюринг был ключевой фигурой в математике и информатике. Хотя он жил задолго до появления современного ИИ, его идеи остаются актуальными. Мне интересно, как его ум, сочетающий математическую логику и смелость воображения, мог бы подойти к моральным, социальным и экзистенциальным вопросам, которые искусственный интеллект ставит перед нами сегодня. 

ИИ уже проник во все сферы — от медицины до автономного транспорта. С ростом его возможностей возникают и этические вызовы: как избежать предвзятости алгоритмов, регулировать автономные системы и стоит ли ожидать появления искусственного сознания? Тьюринг не видел современных технологий, и его взгляд мог бы предложить свежий, незамутнённый текущими спорами подход. Его идеи могли бы помочь найти баланс между прогрессом и ответственностью в управлении разумными машинами. Это шанс соединить дальновидность прошлого с вызовами настоящего.

О встрече с Аланом Тьюрингом задумался и Бадер Рашид, старший научный сотрудник Института анализа данных и искусственного интеллекта Университета Иннополис.

Я бы выбрал этого человека, потому что он заложил основы современной информатики и существенно повлиял на развитие искусственного интеллекта. Без концепции «универсальной вычислительной машины», известной как машина Тьюринга, не было бы вычислительной техники и программирования в том виде, в каком мы их знаем.

Поэтому я спросил бы у Алана Тьюринга, какие фундаментальные принципы определяют истинное «разумное» поведение машины и какие шаги предпринять, чтобы приблизить вычислительные системы к такому уровню интеллекта. Не менее важен и этический аспект. Я узнал бы, как Тьюринг видит баланс между пользой и рисками создания машин с более сложным поведением. 

Кроме того, я хотел бы услышать его взгляды на эволюцию вычислительных систем и на то, где, по его мнению, проходит граница между простыми алгоритмическими реакциями и настоящим машинным разумом. Ответ на этот вопрос мог бы прояснить перспективные направления исследований на ближайшие годы.

Николай Кудасов, старший преподаватель Лаборатории языков программирования и компиляторов Университета Иннополис 

Если бы у меня была возможность путешествовать во времени и задать вопрос любому учёному, я бы выбрал Владимира Воеводского и спросил его, как ему пришла в голову идея унивалентности.

Унивалентность — ключевая концепция в гомотопической теории типов. В отличие от теории множеств, гомотопическая теория опирается на теорию типов, объединяющую логику и вычисления в единую концептуальную основу. Она позволяет эффективно работать с высокоуровневыми абстракциями, как в высших теориях категорий. Я уверен, что будущее чистой математики связано с компьютерными реализациями гомотопической теории типов и её вариаций.

Согласно гомотопической теории типов, два типа A и B считаются равными, если между ними существует изоморфизм — то есть можно легко перейти от одного типа к другому и обратно без потери информации. Аксиома унивалентности, предложенная Владимиром Воеводским, утверждает, что если два типа равны, то есть топологически эквивалентны, их можно заменять друг на друга без дополнительных доказательств. Это значительно упрощает множество задач в чистой математике.

Унивалентность также имеет важное значение в программировании. Многие современные языки, такие как Haskell, Rust и Java, используют идеи из теории типов. Концепция унивалентности может быть полезна для создания более качественных и точных абстракций, а также для бесшовного перехода между различными представлениями данных. Язык программирования Agda, который также является решателем теорем, предоставляет возможности для экспериментов с этими идеями.

Кроме того, в математике активно изучается понятие «направленной унивалентности». Мне посчастливилось стать автором первого решателя для теории бесконечномерных категорий. Поэтому мне было бы интересно побеседовать с Владимиром Воеводским о том, как он открыл аксиому унивалентности для ненаправленного случая.