Раскрыт план самоэволюции DeepSeek: Harness делает разработку ИИ такой же увлекательной, как игра с LEGO

Оригинальное название: "План самоэволюции DeepSeek раскрыт"

Джей из Aofeisi Quantum | Официальный аккаунт WeChat QbitAI

Последняя работа DeepSeek в сотрудничестве с Пекинским университетом приоткрывает завесу над версией Harness кита.

Под названием "Парадигма программирования для пространственно-временной композируемости" это переводится как "Набор парадигм программирования для обработки пространственно-временной композируемости" на китайском.

Это звучит немного запутанно, но вам нужно запомнить только одно------

Весь текст вращается вокруг Cordis, ядра черного кита, 'плиты LEGO', которую можно подключать и отключать по желанию.

Здесь всё является плагином, и всё может быть реорганизовано.

Это также объясняет, почему открытость "черного кита" так высока, и официальные лица призывают всех создавать плагины и модифицировать Harness.

Информация, содержащаяся в статье, также является кульминацией усилий команды DeepSeek Harness за долгое время, в конечном итоге достигая прекрасной победы в форме большого черного кита.

Примечательно, что это седьмая работа DeepSeek в этом году и N-я коллаборация с Пекинским университетом.

С общей длиной более восьмидесяти страниц я прошел через статью от начала до конца и подытожил несколько ключевых выводов------

1. Cordis предоставляет универсальную динамическую семантику композируемости. Компоненты, управляемые контекстом, могут динамически загружаться, выгружаться и автоматически восстанавливать свои управляемые побочные эффекты.

2. Математическая основа исходит из двух классических концепций в теории типов: эффектов и коэффектов.

3. Это не просто лабораторная игрушка. Этот дизайн работает на фреймворке чат-бота Koishi в течение четырех лет, с более чем 4000 валидированных плагинов сообщества в производственных средах.

И всё это служит одной и той же амбиции------

Самоэволюция.

01 Время и пространство: два препятствия самоэволюции Harness

Существует неинтуитивная реальность в мире программного обеспечения: большинство систем плагинов требуют полного перезапуска хост-процесса после удаления плагина.

Это означает, что то, что может быть удалено, это всего лишь один плагин, но все уже загруженные плагины должны перезапуститься вместе с ним.

Да, "включенные" плагины, однажды подключенные, не могут быть легко удалены.

VSCode является типичным примером.

В статье говорится, что на 9 июня 2026 года среди ста лучших расширений на рынке VSCode 87 содержат исполняемый код, и после активации их нельзя удалить индивидуально во время выполнения; весь хост расширений должен быть перезапущен после их отключения или удаления.

Это не только проблема для VSCode. Статья указывает, что почти все архитектуры плагинов имеют этот тип недостатка, хотя в разной степени.

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

Однако в контексте Агентов это становится совершенно другой проблемой.

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

Теперь оно сталкивается с "самоэволюционирующим ИИ", как Сунь Укун, и если не быть осторожным, оно может просто изменить себя до несуществования.

Это также угол, с которого DeepSeek подходит к самоэволюции в этой статье:

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

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

Это называется временной композируемостью.

Если зависимости между модулями зависят от того, чтобы каждый модуль сам себя исправлял, проверяя A сегодня, предполагая B завтра... можно непреднамеренно ввести циклические зависимости, которые могут взорваться при перезагрузке.

Это называется пространственной композируемостью.

Эти два вызова как раз и являются двумя проблемами, которые Cordis стремится решить.

Решение DeepSeek

Сначала давайте дополнительно объясним две математические концепции, которые являются двумя теоретическими столпами этой статьи------

Эффекты и коэффекты.

Проще говоря, эффекты характеризуют "влияние программы на мир"; коэффекты характеризуют "ограничения мира на программу". Эти два являются двойными отношениями: система эффектов обогащает типы, в то время как система коэффектов обогащает контекст.

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

Классические эффекты/коэффекты являются статическими инструментами системы типов.

Чтобы преодолеть как временные, так и пространственные препятствия, команда адаптировала и обновила эти две концепции для среды выполнения Агентов------ "обратимые эффекты" и "реактивные коэффекты."

Обратимые эффекты нацелены на временное измерение.

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

При загрузке плагинов каждое изменение состояния записывает соответствующую обратную функцию, складывая их в "цепочку отмены" в порядке.

При выгрузке плагинов эта цепочка выполняется в обратном порядке, позволяя системе точно восстановить свое состояние до загрузки плагина.

Это можно понять как стопку тарелок, где последняя положенная тарелка является первой, которую нужно убрать.

Таким образом, временной порядок не будет нарушен.

Реактивные коэффекты обрабатывают пространственное измерение.

В Cordis компоненты могут объявлять, какие зависимости им нужны, позволяя разрешать зависимости.

Например, чат-плагин может сказать: "Мне нужен адаптер сообщений и база данных." Только когда обе зависимости удовлетворены, он становится АКТИВНЫМ. Если одна отсутствует, он остается НЕАКТИВНЫМ, не спеша начинать, и не выполняя сначала, а затем выдавая ошибку из-за нулевой ссылки.

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

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

Сочетание обоих формирует ядро Cordis.

Интуитивное значение "пространственно-временной композируемости" в названии статьи заключается здесь.

02 Koishi

Итак, были ли эти утверждения проверены на практике?

Да.

И масштаб не мал.

Статья использует фреймворк чат-бота под названием Koishi для экспериментальной проверки.

Koishi основан на Cordis, и за четыре года накопил более 4000 плагинов сообщества, охватывающих адаптеры мгновенных сообщений, драйверы баз данных, консоли управления и различные пользовательские функции.

GitHub показывает, что Koishi является кроссплатформенным, расширяемым, высокопроизводительным фреймворком чат-ботов.

Его название и дизайн значка происходят от персонажа Комейдзи Коши из проекта Touhou.

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

Это довольно интересная документация.

Так что же такое Cordis?

Автор Koishi утверждает, что название Cordis происходит от латинского слова для сердца, и всё в Koishi начинается с Cordis.

Как мета-фреймворк, Cordis не связывается с какой-либо конкретной областью или сценарием.

Возможности, которые он предоставляет, не удивляют для большинства фреймворков------ система плагинов, но за этой системой стоит цель, которую большинство фреймворков не достигли: обратимость.

Он также оставляет заявление:

Я надеюсь, что это может стать ядром будущего программного обеспечения (по крайней мере, программного обеспечения, которое я разрабатываю).

Через четыре года работа DeepSeek предоставила валидацию.

Первое - это валидация временного измерения.

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

Во время разработки, когда плагин изменяется и сохраняется, измененный плагин будет повторно применен, сохраняя кэш и соединения нетронутыми.

Следующее - это валидация пространственного измерения.

В экосистеме Koishi адаптеры IM предоставляют доступ к платформам сообщений, драйверы баз данных обеспечивают постоянное хранилище, а функциональные плагины объявляют эти зависимости для прямого доступа.

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

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

Это указывает на то, что набор динамических композируемых правил действительно может работать в открытой экосистеме плагинов, внесенной разными авторами.

Тем не менее, статья не упаковывает этот случай как идеальную демонстрацию.

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

Но самое главное - указать новое направление, основную службу для самоэволюционирующего Agent Harness.

Выпущенный сегодня DeepSeek Harness - это именно обновленная версия Koishi Cordis.

03 Авторы статьи

Наконец, давайте поговорим об авторах статьи.

Их трое, представляющих Пекинский университет и DeepSeek.

Первый автор - Ифан Ши, из Пекинского университета и также член DeepSeek.

При дальнейшей проверке оказывается, что его имя давно появлялось в Техническом отчете DeepSeek V3.

Проект, использованный для валидации в этой новой статье------Koishi------также является его творением.

Очевидно, что у него сильная одержимость "ши"; его имя Ифан Ши, проект называется Koishi, а его имя на GitHub - Shigma.

(doge)

Возвращаясь к основной теме.

Koishi - это репозиторий четырехлетней давности, который теперь имеет 5.7K звезд. Можно сказать, что это источник всего.

Потому что концепция Cordis также была предложена в Koishi.

В 2023 году Shigma написал статью дизайна для официальной документации Koishi под названием "Обратимая система плагинов", которая является почти предком этой новой статьи.

Вэй Чжан, также из Пекинского университета, является доцентом Института программного обеспечения Школы компьютерных наук.

Сайт института показывает, что области исследований Вэя Чжана в основном охватывают программную инженерию и языки программирования.

В 1999 году он окончил бакалавриат по инженерной термодинамике в Нанкинском университете аэронавтики и астронавтики. Затем он переключился на компьютерные науки и получил степень магистра компьютерных наук в том же университете в 2002 году.

После завершения магистратуры Вэй Чжан продолжил обучение в аспирантуре в Пекинском университете и получил степень доктора в области компьютерного программного обеспечения и теории в 2006 году.

После получения докторской степени он остался в Пекинском университете и с тех пор занимается исследованиями и преподаванием в области программной инженерии, языков программирования и других областях.

Примечательно, что Вэй Чжан сотрудничал с Ифаном Ши еще в ASE в 2021 году.

В 2024 году они совместно написали статью для ICSME под названием "Focused: Подход к спецификации и обнаружению перекрестных ссылок, ориентированных на фреймворки, на разных языках."

Наконец, есть старая знакомая.

Цуй Тяньи, глава команды DeepSeek Harness. Он окончил Чжэцзянский университет со степенью в области компьютерных наук, младший по отношению к Лянь Вэньфэну.

Во время учебы Цуй Тяньи был рекомендован в Чжэцзянский университет благодаря своим достижениям в NOIP/информатическом конкурсе и шесть раз выиграл золотую медаль на Азиатском региональном конкурсе ACM International Collegiate Programming Contest.

После окончания учебы он проработал девять лет в офисах Jane Street в Гонконге и Нью-Йорке.

Ссылка на статью: https://github.com/cordiverse/paper

Koishi: https://github.com/koishijs/koishi

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