## Контекст Разработка и анализ алгоритмов являются основополагающими в области компьютерных наук, но их создание с предсказуемыми гарантиями производительности часто требует трудоемкого и рискованного человеческого вклада. Хотя искусственный интеллект (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, новую фреймворк, которая автоматически выводит и доказывает г