Решение 20-летней математической проблемы: Microsoft открывает исходный код Argus, использующего доказательства для 1548-часового автоматического исследования

marsbitОпубликовано 2026-09-07Обновлено 2026-09-07

Введение

Мicrosoft и Шанхайский университет представили Argus, универсальную среду выполнения для агентов ИИ, предназначенную для длительных исследовательских задач. Argus использует принцип **управления на основе доказательств**, что позволяет системе автономно принимать решения о следующих шагах в условиях неопределённости, а не просто следовать изначальной цели. Это решает ключевую проблему современных агентов, которые автоматизируют выполнение, но не "вождение" проекта. Система организует работу в рамках Campaign, разделяя её на миссии, и использует многоролевую архитектуру (Manager, Planner, Engineer, Reviewer) для эффективного планирования, выполнения и проверки. Ядро Argus отделено от вертикально-ориентированных модулей, что обеспечивает гибкость и настройку под различные предметные области. В ходе тестов Argus отработал 1548 часов на 27 кампаниях в таких сферах, как AI4AI, наука о материалах, дизайн чипов и математика, требуя вмешательства человека в среднем лишь раз в 40,7 часа. Система продемонстрировала способность не только выполнять задачи, но и вести полноценное исследование, производя проверяемые результаты. Argus представляет новый подход к организации исследований, где проект продолжается автономно даже без постоянного контроля человека.

От «умения выполнять» к «умению управлять»: чего не хватает долгосрочным агентам?

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

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

Чтобы решить эту проблему, Microsoft, Шанхайский университет Цзяотун и другие учреждения открыли исходный код Argus — универсальной среды выполнения для рассуждений агента, ориентированной на долгосрочные исследовательские задачи, и опубликовали технический отчёт. Система, благодаря таким принципам проектирования, как управление доказательствами, самоэволюция, многoагентное сотрудничество, разделение ядра и предметной области, позволяет агенту расширяться на множество областей и непрерывно вести исследования в течение нескольких дней даже при отсутствии интенсивной стандартной обратной связи.

Отчёт охватывает 27 кампаний, 1548 часов реального времени. В среднем за 40,7 часов происходил один активный запрос на вмешательство человека; коэффициент полезного времени работы системы составил от 95,1% до 98,7%. Argus демонстрирует не просто высокие оценки на бенчмарках, а полный комплект производственных результатов. Команда представила результаты в широком спектре задач: AI4AI, GPU Kernel, обучение моделей, AI4Science, проектирование чипов, AI4Math, AI4System, что демонстрирует универсальность Argus и его интеллект на уровне реальных исследований.

Рис. 1: Общий обзор среды выполнения Argus, базовых возможностей и результатов.

  • Название статьи: Argus: Who Drives the Harness for Days?
  • Статья: https://arxiv.org/abs/2608.05144
  • Код: https://github.com/lbx154/Argus
  • Домашняя страница проекта: https://argusbot.cn/
  • Репозиторий с результатами проекта: https://github.com/Argus-AiTeam
  • Прямая трансляция решения математических задач: https://open.argusbot.cn/#counterexample-live

01

От Goal-Driven к Evidence-Driven:

Кто решает, куда агенту двигаться дальше?

За последние два года основные успехи в разработке агентов были сосредоточены на Harness: используя аналогию с автопилотом FSD, модель подобна двигателю, Harness — трансмиссии, но по-прежнему человек перед экраном решает, куда едет машина. В коротких задачах, как при обычной автоматической парковке, сама задача может давать чёткую обратную связь; как только задача растягивается на несколько дней, исследовательские проблемы часто не имеют ни стабильного вознаграждения, ни чётко определённых изначально целей. Существующие агенты обнажают настоящую проблему: они уже умеют выполнять, но ещё не умеют принимать устойчивые решения в условиях неопределённости.

Рис. 2: Argus, реализуя автономные исследования (auto-research), превращает роль человека из непрерывно ведущего водителя в пассажира на переднем сиденье.

Argus называет позицию над Harness, которая ранее не была автоматизирована, — Driver. Его задача — продолжать управлять, даже когда план сталкивается с реальностью, основываясь на доказательствах. Цель, записанная в начале исследования, — лишь первоначальная гипотеза на этапе с минимальной информацией; если агент может только Goal-Driven'но гнаться за заранее заданной конечной точкой, или даже постоянно тратить токены на невозможную цель, это приведёт к окостенению цели. Evidence-Driven же переворачивает логику управления: следующий шаг определяется уже имеющимися доказательствами, а не первоначальным предположением плана. Любой результат в процессе работы — это эффективное доказательство, которое может изменить курс; система именно им и управляется. Конкретно, Driver должен постоянно отвечать на следующие четыре вопроса, основываясь на текущих доказательствах:

1. Эта работа уже завершена и достаточно ли она качественна?

2. Учитывая текущие доказательства, что стоит делать дальше в первую очередь?

3. Как полученный в этом раунде опыт должен изменить поведение системы в будущем?

4. Связаны ли оставшиеся проблемы с решениями, которые может принять только человек?

02

Создание универсальной настраиваемой среды выполнения для долгосрочных задач

Argus организует долгосрочные проекты в постоянные Campaign, которые затем разбиваются на ряд чётко ограниченных Mission. Его базовый цикл: Manager → Planner → Engineer ⇄ Reviewer → Manager:

Ссылаясь на режим /goal от OpenAI Codex, можно чётче определить направление проектирования Argus. /goal превращает однократный цикл одного агента в постоянный цикл с целевым состоянием; Argus же организует исследовательские проекты как многоролевую, многоуровневую, долгосрочную среду выполнения, способную накапливать знания. Первый отвечает на вопрос «как заставить агента не останавливаться», второй — «как агенту эффективно работать, когда он не останавливается». Именно это структурное различие на уровне среды выполнения соответствует переходу от Goal-Driven к Evidence-Driven.

1. Manager управляет переходами между этапами, утверждением процессов, глобальной стратегией;

2. Planner планирует конкретные задачи на основе текущих доказательств;

3. Engineer работает с реальными репозиториями кода, экспериментами, выполняет задачи;

4. Reviewer независимо проверяет артефакты, оценивает новизну и эффективность, отчитывается перед Manager или отправляет обратно Engineer.

Здесь важна не многоролевая модель сама по себе, а разделение контекста — несколько ролей работают вместе, чтобы избежать превращения агента в простой локальный оптимизатор, каждая роль имеет свой уникальный контекст, но общую рабочую область, что не позволяет поручить планирование, выполнение и проверку одному агенту, повышая эффективность использования токенов. Именно поэтому в одной задаче Argus можно одновременно использовать разные harness, такие как Pi, Codex, Claude Code, DeepSeek Harness, что обеспечивает высокую степень настройки.

Система сохраняет полный комплект артефактов; только опыт, прошедший порог доказательности, попадает в Wiki и Skill и становится доступным для повторного использования в последующих задачах в рамках Project, Vertical или Global.

При этом ядро (Core) и предметные области (Vertical) остаются разделёнными: Core отвечает за права ролей, представление доказательств и границы вмешательства человека, а Vertical определяется экспертами в предметной области (математика, GPU, материалы и т.д.) — что считается эффективным доказательством в задачах, а также за соответствующие человеческие навыки и знания; Vertical может существенно повысить качество результатов исследовательских задач, а также предоставляет интерфейс для совместной эволюции экспертов-людей и агентов, настройки рабочих процессов.

Рис. 3: Механизм долгосрочного выполнения Argus. Четыре типа ролей циклически взаимодействуют вокруг постоянного состояния, Campaign может продвигаться или откатываться между восемью исследовательскими этапами.

03

Что осталось после 1548 часов работы Argus?

То, что по-настоящему определяет состоятельность долгосрочного агента, — это превращается ли время в реальные исследовательские результаты. Менее чем через месяц после открытия исходного кода Argus уже внёс значительный вклад в исследования инфраструктуры, материалов, чипов, математики и AI-систем, одновременно мы являемся первой командой, опубликовавшей полные end-to-end логи процесса решения математических гипотез, открыв все сессии выполнения и т.д. Ниже приведена сводка результатов Argus после открытия исходного кода:

Рис. 4: Ключевые исследовательские результаты Argus, основные показатели и критерии приемки.

Как показано в таблице выше, Argus сначала в AI4System & Infra превратил непрерывную работу в реальные, принимаемые результаты, завершив первый шаг от автоматического выполнения к автономным исследованиям чёткими инженерными результатами; затем задачи расширились от AI-инфраструктуры до AI4Science, AI4Hardware, AI4Math, а критерии оценки соответственно сместились от «выполнена ли поставленная задача» к «способен ли исследовать нерешённые реальные исследовательские проблемы», что продвинуло автоматические исследования от автоматизированной поставки к автоматизированному исследованию; на этой основе Argus также в направлении AI4AI расширил единичные результаты до полного исследовательского процесса, непрерывно управляя продвижением задач с помощью доказательств, не требуя постоянного присутствия человека перед экраном, формируя таким образом прогрессивный путь от реальных результатов и междисциплинарного исследования до полностью автономного исследовательского процесса.

Рис. 5: Результаты Argus в полном процессе производства статей.

Все вышеперечисленные результаты были достигнуты за 1 месяц, и, соединив эти результаты вместе, Argus представляет собой цепочку создания ценности с постепенным углублением: объект автоматизации расширяется от однократного выполнения до управления исследованиями на основе доказательств, что значительно ускоряет исследовательский прогресс, и это самый прямой ответ на вопрос «кто будет управлять агентом, когда человек уйдёт от экрана».

Заключение

После того, как экран гаснет, проект не обнуляется

Долгосрочный интеллект — это превращение токенов в интеллект, а затем использование этого интеллекта для непрерывного продвижения исследовательского проекта, создания реальной ценности. Argus организует ранее разрозненные вызовы моделей в постоянно работающую исследовательскую систему, позволяя Evidence-Driven управлять направлением, а затем через самоэволюцию накапливать опыт в способности.

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

Об авторах

Argus разработан под руководством исследователей из Microsoft и Шанхайского университета Цзяотун при участии исследователей из нескольких университетов.

Эта статья из официального аккаунта WeChat «机器之心» (Сердце машины).

Связанные с этим вопросы

QЧто такое Argus и чем он отличается от обычных агентов?

AArgus — это открытый Microsoft и Шанхайским университетом Цзяотун фреймворк для создания долгосрочных исследовательских агентов. В отличие от обычных агентов, автоматизирующих лишь исполнение, Argus автоматизирует принятие решений («управление») в условиях неопределённости, ориентируясь на доказательства (Evidence-Driven), а не только на первоначальные цели.

QКакие ключевые архитектурные особенности позволяют Argus работать в течение многих дней?

AArgus использует модель взаимодействия четырёх специализированных ролей (Manager, Planner, Engineer, Reviewer), которые работают с общим контекстом. Система организована в виде Campaign и Mission, отделяет ядро (Core) от предметных областей (Vertical) и накапливает успешный опыт в Wiki и Skill для повторного использования, что позволяет работать автономно.

QКаковы основные результаты, достигнутые Argus в эксперименте?

AВ ходе эксперимента Argus выполнил исследования в областях AI4AI, GPU Kernel, моделирования, AI4Science, дизайна чипов, AI4Math и AI4System. За 1548 часов работы потребовалось в среднем лишь 40.7 часов на одно вмешательство человека, при коэффициенте занятости (work duty cycle) 95.1%-98.7%. Были получены конкретные инженерные результаты, включая решение математических проблем.

QВ чём заключается принцип Evidence-Driven и почему он важен для долгосрочных задач?

AПринцип Evidence-Driven означает, что следующие шаги агента определяются не первоначальной жёсткой целью, а доказательствами, собранными в ходе работы. Это важно для долгосрочных исследований, где цели размыты или меняются. Он позволяет системе гибко корректировать направление, избегая «застревания» на недостижимых целях и эффективно используя получаемую информацию.

QКак Argus организует взаимодействие человека и агента в процессе исследования?

AArgus сводит роль человека к позиции «второго пилота». Система сама задаёт ключевые вопросы о завершённости работы, следующем шаге, извлечённых уроках и необходимости человеческого решения. Она запрашивает вмешательство только при возникновении вопросов, требующих исключительно человеческого суждения, что позволяет проекту продолжаться, даже когда человек не активен.

Похожее

Новое поколение криптовалютных майнеров выпущено ASICID

Компания ASICID Inc. представила новую серию майнинговых систем IDMINER для добычи Bitcoin, Litecoin и Dogecoin. В серию входят модели HomeRack, IDMINER 2 и IDMINER 1, рассчитанные на разные масштабы — от домашних до профессиональных операторов. **Характеристики:** * **IDMINER HomeRack:** Хэшрейт Bitcoin — 9 600 TH/s, Litecoin/Dogecoin — 3 200 GH/s. Потребляемая мощность — 4 × 1 300 Вт. Оценочный месячный доход — до $25 590*. * **IDMINER 2:** Хэшрейт Bitcoin — 2 400 TH/s, Litecoin/Dogecoin — 800 GH/s. Потребляемая мощность — 1 300 Вт. Доход — до $6 390*. * **IDMINER 1:** Хэшрейт Bitcoin — 1 150 TH/s, Litecoin/Dogecoin — 350 GH/s. Потребляемая мощность — 700 Вт. Доход — до $2 790*. *Доходы являются оценочными и зависят от состояния сети, цен и сложности майнинга. Оборудование поставляется предварительно настроенным и протестированным. Для начала работы необходимо подключить устройство к питанию и интернету (Wi-Fi/Ethernet) и указать данные предпочитаемого майнинг-пула. Системы поддерживают крупные пулы, включая бесплатный пул ASICID с нулевой комиссией. ASICID контролирует полный производственный цикл: разработку, инжиниринг, сборку и тестирование. Компания базируется в Гонконге, имеет операции в США и ориентируется на майнеров, ищущих высокопроизводительное оборудование с простым развертыванием. Для получения дополнительной информации посетите **www.asicid.com**.

TheNewsCrypto1 ч. назад

Новое поколение криптовалютных майнеров выпущено ASICID

TheNewsCrypto1 ч. назад

Обновление Ethereum Glamsterdam запущено в тестовой сети Sepolia

Апгрейд Ethereum под названием Glamsterdam запущен в тестовой сети Sepolia, что стало одной из последних основных репетиций перед активацией в основной сети. Обновление направлено на повышение масштабируемости и эффективности сети Ethereum за счёт ключевых изменений, таких как встроенное разделение предложителей и сборщиков (ePBS, EIP-7732) и списки доступа на уровне блоков (BALs, EIP-7928). Эти улучшения разделяют процессы предложения и сборки блоков, а также валидации консенсуса и исполнения, что позволяет валидаторам обрабатывать транзакции параллельно и увеличить пропускную способность. Glamsterdam устанавливает минимальный лимит газа в 200 миллионов, что значительно ускорит работу сети по сравнению с текущим лимитом около 60 миллионов. После активации в Sepolia разработчики определят дату запуска в тестовой сети Holesky, а затем и в основной сети Ethereum. Следующим крупным обновлением после Glamsterdam станет Hegotá.

cointelegraph1 ч. назад

Обновление Ethereum Glamsterdam запущено в тестовой сети Sepolia

cointelegraph1 ч. назад

Цена биткоина бьётся о отметку в 87 тыс. долларов, поскольку «быки» отказываются сдаваться

Цена биткоина вплотную приблизилась к отметке в 87 374 доллара, демонстрируя общую восходящую тенденцию на дневных и 4-часовых графиках. Однако на 1-часовом таймфрейме активность «быков» встречает сопротивление вблизи уровня 87 000 долларов, что создает зону напряженности в диапазоне 87 000–87 374 доллара. Этот барьер является ключевым для определения дальнейшей динамики: преодоление его откроет путь к росту, а отскок от него может привести к очередной коррекции. Ранее, 5 октября, цена уже откатывалась к 84 900 долларам после неудачной попытки пробить сопротивление, начав восстановление с минимумов около 83 500 долларов, зафиксированных 2 октября. Таким образом, несмотря на оптимистичные сигналы технических индикаторов, ближайшее движение BTC зависит от исхода противостояния покупателей и продавцов на подступах к отметке в 87 тысяч долларов.

cryptonews.ru1 ч. назад

Цена биткоина бьётся о отметку в 87 тыс. долларов, поскольку «быки» отказываются сдаваться

cryptonews.ru1 ч. назад

Торговля

Спот
活动图片