## Контекст Генетическое искусственное интеллект (GenAI) изменяет традиционные модели совместной работы в организациях. Оно предлагает новые возможности для увеличения продуктивности, однако также вводит новые сложности, такие как потенциальная замена человеческого ресурса интеллектуальными системами. Такая замена наблюдается в различных отраслях, от технических до творческих, где GenAI может выполнять задачи, которые ранее требовали ручных усилий. Мотивация для данных исследований лежит в следующем: понять, как GenAI влияет на мотивацию и участие в командных проектах, а также оценить степень замены человеческого капитала технологическими решениями. ## Метод Мы предлагаем теоретическую модель, в которой менеджер выбирает команду для решения командной задачи, при этом GenAI заменяет тех, кто не был выбран. Каждый член команды может решить, насколько сильно потребуется приложить усилия к выполнению задачи, но при этом усилия сопряжены с негативным эффектом (например, стрессом или усталостью). Это позволяет моделировать ситуации, когда GenAI не только расширяет возможности, но и изменяет поведение команды в целом. Мы анализируем этот процесс в рамках математической модели, которая позволяет изучить выбор менеджера, поведение каждого члена команды и последствия замены человеческих ресурсов. ## Результаты Наши эксперименты показали неожиданные свойства GenAI в командных ситуациях. Мы отметили, что GenAI может привести к тому, что члены команды с низкой индивидуальной ценностью могут быть скорее заменены, нежели те, кто внесёт больше усилий. Это может вызвать потерю мотивации у остальных членов команды, что приводит к возникновению социального витрица (social loafing). Мы также показали, что проблема выбора команды для GenAI - NP-полная, но для специальных случаев (например, линейных) мы разработали эффективный алгоритм решения этой задачи. ## Значимость Наша работа имеет значительное значение для теории командных проектов в условиях быстрого развития GenAI. Мы отмечаем, что GenAI может не только увеличить продуктивность, но и изменить структуру мотивации в командах. Такое изменение может привести к отрицательным последствиям для коллективного динамического потенциала. Мы показываем, как GenAI может быть использована для улучшения производительности, но при этом может привести к нежелательным последствиям для мотивации и отношений в команде. ## Выводы Наши находки показывают, что GenAI в командных проектах требует осторожного подхода к использованию. Мы показываем, что GenAI может привести к снижению мотивации и потерей ценности отдельных участников команды, но при этом может улучшить общую производительность в некоторых слу

#### Контекст Современные алгоритмы матчмент и распределения ресурсов часто сталкиваются с ограничениями, которые снижают общую эффективность и социальное благо. Например, в системах организации знакомств, распределении жилья или доступных мест в образовательных программах, агенты могут иметь сильные предпочтения или ограничения, которые негативно влияют на общую эффективность системы. Это влечет за собой потерю социального блага и уменьшение удовлетворенности пользователей. Одним из возможных решений является вмешательство через алгоритм, который может помочь агентам смягчить некоторые их ограничения или предпочтения, при этом не ухудшая их индивидуальную выгоду. Такое решение может увеличить общую эффективность системы, но требует осторожности при взаимодействии с агентами, чтобы не навредить тем, кто уже доволен современным матчментом. Наша мотивация заключается в разработке алгоритмов, которые будут способствовать увеличению социального блага, при этом не нарушая индивидуальных предпочтений и ограничений агентов. #### Метод Мы рассмотрим ситуацию, где существует система распределения ресурсов, в которой агенты имеют определенные ограничения и предпочтения. Для увеличения общего социального блага, алгоритм может предложить некоторым агентам смягчить некоторые ограничения, но при этом это должно быть выполнено с учетом удовлетворенности каждого агента. Мы рассматриваем различные уровни "участия" агентов в процессе распределения, которые могут варьироваться от полного отказа от взаимодействия до полного доверия в алгоритм. Мы определяем множество потенциальных функций социального блага, которые могут быть использованы для оценки результатов распределения. Для решения этой задачи, мы предлагаем полиномиальные алгоритмы, которые могут быть применены для различных сценариев, включая одно-к-одному и многие-к-одному ситуации распределения. #### Результаты Мы провели эксперименты с использованием реальных данных в трех разных сценариях: матчмент в знакомствах, распределение жилья и распределение мест в образовательных программах. В каждом из этих случаев, мы использовали различные функции социального блага, чтобы оценить эффективность наших алгоритмов. Наши результаты показывают, что возможно повысить общую эффективность системы, не причиняя вреда агентам, которые уже довольны своим матчментом. Мы также проанализировали различные уровни участия агентов, и определили, что увеличение участия может привести к более высокому общему социальному благу, но при этом требуется больше времени и ресурсов для реализации. #### Значимость Наши

## Контекст В многоагентных средах, где агенты стремятся максимизировать свою награду, игра стратегических агентов часто определяется игровыми теоретическими понятиями, такими как Нашее эквибриум. Однако эти подходы нередко не учитывают исторические данные и наблюдаемые данные от противников во время повторных взаимодействий. Наблюдения за противником могут предоставить ценную информацию для улучшения стратегии. Однако в играх с неполной информацией, где информация о действиях противника не всегда видна, эффективность таких подходов ограничена. Это снижает потенциал игровых агентов в условиях неопределенности, например, в покере. Мы исследуем проблему того, как создавать модели противников, которые бы не только учитывали исторические данные, но и стабильно приближались к истинной стратегии противника в течение продолжительного времени. ## Метод Мы предлагаем алгоритм ориентированный на моделирование противников, гарантирующий точное настройку на истинную стратегию противника в игре с неполной информацией. Наш подход основывается на последовательности-форме игрового представления, которое позволяет представить игру в виде многоугольника. Мы используем оптимизационный метод градиентного спуска с проекцией, чтобы минимизировать разницу между стратегией модели и истинной стратегией противника. Ключевым элементом является то, что наш метод гарантирует сходимость к точной стратегии противника с увеличением количества игровых итераций, даже в случае нестабильных противников. ## Результаты Мы проводим эксперименты на наборе задач, включающих игры с неполной информацией, такие как покер. Для этого мы используем набор данных, содержащий наблюдения за игровыми действиями противников в течение многих игровых сессий. Наши результаты показывают, что наш алгоритм эффективно приближается к истинной стратегии противника, даже если противник нестабилен. Мы также проверяем нашу модель на задачах, где противник отличается от предыдущих сессий, и показываем, что алгоритм успешно адаптируется. ## Значимость Наш подход может быть применен в различных многоагентных системах, где агенты должны реагировать на противников, основываясь на исторических данных. Например, он может быть использован в игровых системах, интеллектуальных ассистентах, системах управления трафиком или даже в системах безопасности. Наш подход обеспечивает более высокую точность и стабильность в моделировании противников, что может повысить эффективность таких систем. Это также открывает новые возможности для улучшения интеллектуальных систем в различных

## Контекст AI системы во все большей степени используются в задачах, требующих критического мышления, а также в сценариях, где есть неопределенность и взаимодействие. Однако существуют значительные проблемы в тестировании и оценке этих систем. Например, если AI-система должна решать задачи в условиях взаимодействия с реальными пользователями, она должна понимать их поведение и реагировать стратегически. Однако текущие подходы к тестированию и оценке AI-систем нередко игнорируют эти аспекты, ограничиваясь простыми задачами или имитацией без учета сложных стратегических решений. Это приводит к недостатку в информативности оценок, так как реальные условия работы могут отличаться от тестовых условий. Таким образом, требуется развитие подходов, которые более точно отражают сложные стратегические решения и взаимодействия в реальных условиях. ## Метод Для решения этих проблем авторы предлагают использовать анализ гейм-теории, который позволяет формализовать и анализировать стратегические решения в ситуациях, где AI-система должна взаимодействовать с другими агентами или пользователями. Этот подход включает в себя разработку моделей, описывающих поведение всех участников системы, а также проверку достижимости различных стратегических решений. Также предлагается использовать методы симуляции и статистического анализа, чтобы проверить устойчивость AI-систем к различным стратегическим сценариям. Это позволяет лучше понять, как AI-системы ведут себя в реальных условиях и как можно улучшить их оценку. ## Результаты Авторы провели ряд экспериментов, применяя их методы к различным моделям AI-систем, включая системы, использующие машинное обучение и глубокое обучение. На основе этих экспериментов показано, что применение гейм-теории позволяет получить более точные оценки устойчивости AI-систем в сценариях стратегического взаимодействия. Например, при моделировании сценариев с покупкой и продажей товаров, где AI-система должна взаимодействовать с пользователями, анализ гейм-теории позволил выявить ситуации, когда AI могла бы действовать негативно в отношении пользователей. Это позволило улучшить стратегии, используемые в AI-системах, и добиться более положительных результатов в реальной среде. ## Значимость Результаты этих исследований имеют значительное значение для сферы AI-систем, использующихся в критических областях, таких как финансы, здравоохранение и управление транспортом. Более того, этот подход может быть применен для оценки безопасности AI-систем, которые используются в сложных взаимо

#### Контекст В области исследований взаимодействия двух субъектов — лидера и фолловера — в повторяющихся играх с несколькими целями (Stackelberg games) возникает задача оптимального управления поведением фолловера. Эта задача становится особенно актуальной при необходимости информационного обогащения лидера о предпочтениях фолловера, которые могут варьироваться в процессе взаимодействия. Этот динамический подход к управлению взаимодействием может применяться в различных сферах, таких как экономика, правоохранительные органы, системы управления транспортом и даже в социальных сетях. В статье рассматривается задача, в которой лидер может стратегически воздействовать на поведение фолловера, обращая его внимание на лидерские цели, в то же время не имея полной информации о предпочтениях фолловера. #### Метод Для решения этой задачи предлагается модель, основанная на понятии потенциального управления (manipulation policies), которое позволяет лидерам максимизировать свои цели при учете неизвестных предпочтений фолловера. Метод основывается на двух основных принципах: ожидаемом пользе (Expected Utility, EU) и долгосрочном ожидаемом пользе (Long-term Expected Utility, longEU). Эти понятия применяются для определения политик, при которых лидер выбирает действия, которые во взаимодействии с фолловером приводят к максимальной пользе в будущем. Теоретический аппарат статьи включает условия, при которых долгосрочная манипуляция поведения фолловера будет приводить к оптимальному результату. #### Результаты На бенчмарк-средах проводились эмпирические эксперименты, которые подтвердили значительную выгоду от применения предложенных политик. Лидерские политики, основанные на longEU, позволяют лидерам не только максимизировать свою пользу в течение повторяющихся игр, но и оптимизировать долгосрочные результаты взаимодействия. Эти результаты показывают, что модель позволяет улучшить среднюю пользу лидера и создать более выгодные для всех участников результаты, без необходимости иметь предварительный доступ к информации о предпочтениях фолловера. #### Значимость Предлагаемый подход имеет широкие применения в различных сферах, где взаимодействие между агентами является ключевым элементом. В частности, он может быть использован в экономике для моделирования взаимодействия между производителями и потребителями, в системах управления транспортом для оптимизации динамического взаимодействия между движущимися автомобилями, и даже в социальных сетях для управления поведением пользователей. Основное преимущество этого метода заключается в том, что он не требует исходной информации о предпочтениях фо

## Контекст Современные развития в области искусственного интеллекта (ИИ) акцентированы на агентных системах, где искусственные и человеческие агенты сотрудничают для достижения общих целей. Одним из примеров таких систем является коллаборативное обучение, нацеленное на обучение глобальной модели на основе данных относящихся к отдельным агентам. Одна из ключевых проблем в разработке таких систем заключается в обеспечении безопасности и соответствия результатов значениям человеческого общества, особенно в сфере справедливого распределения вознаграждений при достижении целей. Теория кооперативных игр предлагает абстрактные модели этого процесса с помощью функций значения, которые определяют ценность для каждой коалиции, и функций вознаграждения. Однако классические подходы, такие как значение Шепли, не полностью учитывают ситуации, когда ресурсы могут быть реплицированы, например, данные и модели в коллаборативном обучении. Это приводит к необходимости разработки новых подходов, основывающихся на новых понятиях справедливости. ## Метод Данная работа предлагает механизм, обеспечивающий справедливость в кооперативных играх с реплицируемыми ресурсами. Основной инструмент является механизм, основанный на новой теории справедливости, которая формализуется через понятие балансированной взаимной зависимости. Эта теория гарантирует, что каждый игрок получает похожий вклад от другого игрока, что помогает избежать стратегической эксплуатации и несправедливых распределений ресурсов. Механизм протестирован на ситуациях, где данные и модели могут быть реплицированы, и показал эффективность в обеспечении справедливости в таких контекстах. ## Результаты Механизм был проверен на нескольких экспериментальных наборах данных, связанных с коллаборативным обучением. В результате сравнения с классическими подходами, такими как значение Шепли, показано, что предложенный механизм обеспечивает более справедливое распределение вознаграждений. Также было доказано, что механизм устойчив к стратегическим подвизам агентов, что дает ему решающее преимущество в надежности. Эксперименты также показали, что механизм может быть применен в различных сферах, таких как разделяемые модели обучения, где данные и ресурсы могут быть реплицированы. ## Значимость Предложенный механизм имеет широкое применение в области коллаборативных систем обучения и других систем, где ресурсы могут быть реплицированы. Его преимущества заключаются в более справедливом распределении ресурсов, уменьшении риска стратегических эксплуатаций, и

## Контекст Разработка и анализ алгоритмов являются основополагающими в области компьютерных наук, но их создание с предсказуемыми гарантиями производительности часто требует трудоемкого и рискованного человеческого вклада. Хотя искусственный интеллект (AI) доказал свою эффективность в решении конкретных задач, автоматизированное поисковое решение задач с предсказуемыми гарантиями остается значительной проблемой. Наиболее сложной является интеграция творческого процесса разработки алгоритмов с систематическим подходом к их формальному анализу. Например, обнаружение оптимальных стратегий в играх, таких как Nash equilibrium, требует не только интуиции, но и тщательного анализа. Мы предлагаем LegoNE, новую фреймворк, которая связывает эти два процесса для решения проблемы вычисления приближенных Nash equilibrium. ## Метод LegoNE представляет собой рамформу, которая систематически преобразует любой алгоритм, написанный в простом Python-подобном языке, в констрейнтную оптимизационную задачу. Затем эта задача решается с использованием современных методов машинного обучения, в частности, state-of-the-art large language model (LLM). Этот процесс автоматически деривирует и доказывает приближенные гарантии производительности алгоритма. Мы применили LegoNE к поиску алгоритмов для двух- и трех-игровых игр, что успешно подтвердило способность модели дискверить новые решения. ## Результаты Мы провели эксперименты на двух- и трех-игровых играх. Для двух-игровых игр, LegoNE смог реконструировать только что известный state-of-the-art алгоритм в течение нескольких часов, что требовало 15 лет работы по человеческому усилию. Для трех-игровых игр, LegoNE не только реконструировал существующие алгоритмы, но и открыл новые, превосходящие все существующие алгоритмы, разработанные человеком. Эти результаты демонстрируют способность LegoNE к дискверированию новых, более эффективных алгоритмов, которые традиционно требовали многолетних усилий человеческой работы. ## Значимость LegoNE открывает новые горизонты в теоретических науках, позволяя автоматическими раскрывать новые алгоритмы, которые требовали тщательной работы. Эта модель может использоваться во многих областях, таких как экономика, математическая статистика, игровая теория и даже в компьютерной безопасности. Одним из преимуществ LegoNE является своя способность сократить время, необходимое для разработки и анализа алгоритмов, что может привести к более быстрому развитию технологий. ## Выводы Мы представили LegoNE, новую фреймворк, которая автоматически выводит и доказывает г

## Контекст Classification алгоритмы на основе Искусственного Интеллекта (ИИ) сегодня используются в высококонтрастных решениях в финансах, здравоохранении, уголовном правосудии и образовании. Такие алгоритмы могут менять свое поведение в результате стратегических действий индивидов, которые, в свою очередь, приводят к новым вопросам и требованиям к ре-тренировке. Насколько эти динамики будут взаимосвязаны, и какие будут их последствия? Этот вопрос рассматривается в рамках эволюционной теории игр, которая позволяет тщательно исследовать логику взаимодействия между пользователями и институциями. Одним из примеров может служить институты, использующие алгоритмы для кредитных оценок. Мы рассматриваем различные сценарии взаимодействия, в которых конкретные аспекты, такие как уязвимость алгоритмов к стратегическим манипуляциям, могут привести к высоким социальным издержкам или искажению информации. ## Метод Мы применяем эволюционную теорию игр для моделирования динамики взаимодействия между пользователями и инстанциями. Модель включает в себя несколько механизмов: 1. **Поведение пользователей** — индивиды могут стратегически реагировать на выводы алгоритмов, меняя поведение или отчетливость данных. 2. **Реакция институтов** — алгоритмы могут быть переучитываемы, чтобы учитывать эти изменения. 3. **Эволюционная динамика** — мы описываем выборку пользователей через стратегические игры, где каждый игрок выбирает между "соответствием" и "манипуляцией", а инстанции выбирают алгоритмы в зависимости от целей и ограничений. 4. **Интервенции** — мы исследуем возможности, такие как улучшение детектирования стратегической манипуляции и предоставление алгоритмического рекорсса. В основе работы лежит вычислительная архитектура, которая позволяет выполнять многочисленные симуляции и тестирование различных гипотез. ## Результаты Мы проводим ряд экспериментов, используя различные сценарии взаимодействия. Например, в сценарии с неразрушаемыми алгоритмами мы продемонстрировали подтверждение вызовов, обсуждаемых в стратегической классификации: - **Высокая социальная стоимость** — пользователи платят избыточную стоимость для соответствия. - **Манипуляция** — пользователи предоставляют недостоверные данные. При повышении способности детектировать стратегические манипуляции мы обнаружили, что это может снизить социальные издержки и способствовать улучшению пользователей. Однако, когда алгоритмы не могут быть совершенны, алгоритмический рекорс может помочь уменьшить со

#### Контекст Многие общественные проекты, такие как строительство дорог или сбор мусора, носят общеблагоприятный характер, но при этом могут вызывать отрицательные последствия для конкретных групп населения. Эти проекты, называемые "публичными хлопьями" (public chores), требуют от их участников вкладывать время, деньги или усилия. Тем не менее, их выполнение часто приводит к возражениям от тех, кто не желает платить цену за выгоду других. В модели "Not in My Backyard!" (NIMBY) исследователи изучают вопросы выбора и временного распределения таких проектов, учитывая динамические предпочтения участников. Особое внимание уделяется сложности вычислений для оптимизации социального блага и равенства. #### Метод В модели исследования участники имеют динамические предпочтения по отношению к проектам, которые могут производить пользу, но также вносить негативные последствия. Исследователи используют модель "темпорального голосования" (temporal voting), где каждый проект имеет свой штраф и польза, которые меняются во времени. Методология включает анализ сложности вычислений для оптимального распределения проектов с учетом этих динамических предпочтений. Решения разделяются на точные, приближенные и эвристические. Особое внимание уделяется ситуациям, где модель может быть эффективно решена, и к факторам влияющим на то, как сильно голосование влияет на социальное благо. #### Результаты Исследователи выявили, что оптимизация утилитарного блага (то есть максимизация всей пользы для общества) является простой задачей, которую можно решить в линейном времени. Однако оптимизация равенства (максимизация минимального блага для любого участника) оказалась гораздо сложнее и в большинстве случаев является вычислительно нерешаемой (NP-трудно). Тем не менее, в некоторых ограниченных случаях были найдены эффективные алгоритмы для ее решения. Исследователям удалось также проанализировать влияние временной справедливости (temporal fairness) на социальное благо и изучить эффективность онлайн-алгоритмов, работающих с динамическими входными данными. #### Значимость Результаты имеют широкие применения в области управления общественными ресурсами и принятия решений в условиях неопределенности. Например, модель может применяться для решения проблем с размещением общественных проектов, где необходимо учитывать временные предпочтения участников. Одним из основных преимуществ является возможность эффективного распределения ресурсов с учетом временных изменений предпочтений. Будущие исследования могут сосредоточиться на улучшении алгоритмов для более сложных случаев и на изучении других методов, которые могут повысить сп

Механизмы расположения объектов (facility location problem) часто используются для оптимизации решений в различных сферах. В статье авторы рассматривают модели, использующие прогнозы о местоположении оптимального объекта, чтобы улучшить результаты. Они изучают две основные меры эффективности: согласованность (отклонение в результатах при точных прогнозах) и робастность (отклонение при неточных прогнозах). Авторы показывают, как эти меры могут быть сбалансированы путем регулирования параметров механизма. Кроме того, они расширяют исследования за пределы проблемы одного объекта, предлагая новые стратегически безопасные механизмы для расположения двух объектов, использующие два прогноза. Таким образом, работа демонстрирует возможность значительного повышения эффективности с использованием прогнозирования и стратегического балансирования показателей.