Изследователи в областта на AI се стремят към верифицируемо извеждане на данни и одитируемо разсъждение на моделите

На 2 ноември 2026 г. Anthropic обяви, че е постигнала напредък в криптографската верификация на изводи (inference) от големи езикови модели, съобщавайки за система, която може да генерира доказателства за модел тип „смес от експерти“ (mixture-of-experts) с 400 милиарда параметри. Целта на разработката е да позволи на потребителите да потвърдят, че отговорът идва от договорения модел и не е бил променен по време на изчисленията.
- Anthropic докладва около 110 токена в секунда на една H100 GPU за Llama 4 Maverick в 4-битова конфигурация.
- Компанията заяви, че всяка заявка от 1024 токена е генерирала доказателство от приблизително 19 мегабайта.
- PRIME докладва нула необосновани заключения при 480 задачи от публични записи, в сравнение с 26,7% за неструктуриран агент.
Какво демонстрира Anthropic?
Anthropic описа FlashProve – система, изградена около zero-knowledge succinct non-interactive arguments of knowledge, или zkSNARKs. Този подход позволява на доставчика да се ангажира с поведението на модела, като същевременно държи детайлите за самия модел скрити от верификатора. Изследователската актуализация на компанията от 2 ноември следва промяната в терминологията от 19 октомври, когато Anthropic започна да използва „верификация на изводи“ (inference verification) вместо „доказуем извод“ (provable inference).
Anthropic заяви, че при теста е използван Llama 4 Maverick – модел тип „смес от експерти“ с 400 милиарда параметри, а не малък изследователски модел. Докладваната конфигурация е включвала една H100 GPU, 4-битови квантувани тегла и целочислена аритметика по време на prefill фазата. Компанията е измерила скоростта на генериране на доказателства на около 110 токена в секунда, като файловете с доказателства са близо до 19 MB за 1024 генерирани токена. Тези цифри идват от техническия доклад на Anthropic, а не от независим бенчмарк.
- Модел: Llama 4 Maverick, описан от Anthropic като MoE модел с 400 милиарда параметри.
- Хардуер: една Nvidia H100 GPU.
- Изход на доказателството: около 19 MB на заявка от 1024 токена.
Практическият въпрос е цената. Доказателството трябва да бъде генерирано, предадено и проверено заедно с отговора. Цифрите на Anthropic показват, че задачата вече не е ограничена само до тестови системи, но те не установяват, че генерирането на доказателства е достатъчно евтино за всяка потребителска заявка или за услуги с голям обем.
Защо криптографските доказателства са полезни за езиковите модели?
Обикновеният изход на модела дава малко доказателства за това как е произведен отговорът. Потребителят може да знае името на доставчика, марката на модела и версията на софтуера, но все пак да няма надежден начин да потвърди, че отговорът идва от обещания модел. Криптографското доказателство би могло да обвърже изхода с изпълненото изчисление.
Anthropic заяви, че zkSNARKs са подходящи за тази задача, защото могат да осигурят верификация, без да разкриват частните тегла на модела. Това разграничение е от значение за търговските системи. Доставчикът може да защити своя модел, като същевременно позволи на клиент, одитор или регулатор да тества дали твърденото изчисление наистина се е случило.
Верификацията не прави отговора истинен.
Доказателството може да установи, че даден модел е произвел даден поток от токени при определени условия. То не може само по себе си да установи, че фактологическият отговор на модела е правилен, че данните за неговото обучение са били надеждни или че подкана (prompt) е била безопасна. Тези въпроси изискват отделни проверки, като извличане на информация (retrieval), формални решаващи инструменти (solvers) или човешка проверка.
Тази разлика разделя интегритета на изпълнението от качеството на отговора. Това разграничение е централно за най-новите изследвания. Криптографската работа е насочена към това дали е извършено обещаното изчисление. Други системи се фокусират върху това дали логическото разсъждение подкрепя заключението.
Как изследователите верифицират самото разсъждение?
Няколко изследвания от октомври 2026 г. подхождат към верификацията на нивото на изхода и разсъждението, а не на нивото на криптографското изпълнение. PRIME, представена в статия, предадена на 15 октомври, кара агента предварително да се ангажира с пътища за доказателства, преди да оцени публичните записи. Отделна програма записва проверките и блокира заключения, които тези проверки не оправдават.
Авторите на PRIME са тествали 480 задачи от публични записи. Те докладват, че конвенционален агент е произвел необосновано заключение в 26,7% от задачите, докато PRIME не е произвел нито едно. Системата също така е повишила средния резултат за обосновани заключения от 30,1 (при само отказ) на 59,2 след добавяне на насоки и проверки.
- PRIME: предварително се ангажира с правила и пътища за доказателства, преди да направи заключения.
- Тестов набор: 480 задачи от публични записи.
- Докладван процент грешки: 26,7% за сравняващия агент и нула за PRIME.
VERGE избра различен път. Статията от октомври в EMNLP Findings разлага отговорите на атомни твърдения, превежда твърденията в логика от първи ред и ги изпраща към автоматизирани доказватели на теореми или други проверки. Авторите докладват средно 18,7% подобрение в производителността при конвергенция с GPT-OSS-120B, в сравнение с отговорите от еднократно преминаване в техните бенчмаркове за разсъждение.
Тези системи стесняват обхвата на твърдението. Те не доказват всяка част от отговор, който е с отворен край. Те верифицират избрани твърдения съгласно експлицитни правила.
Каква роля играва самоверификацията?
RISE, публикувана вProceedings на NeurIPS 2026 на 8 октомври, обучава модел да решава проблеми и да оценява собствените си решения в един и същ процес на обучение с подкрепление (reinforcement learning). Методът използва верифицируеми награди от проверител на резултати, прилагайки обратна връзка както към генерирането на решението, така и към самоверификацията.
Изследователите докладват подобрения в бенчмарковете за математическо разсъждение и по-често, по-точно поведение при самопроверка. Дизайнът адресира позната слабост: един модел може да генерира уверена критика, без да открие централната грешка в собствения си отговор.
Самоверификацията остава по-слаба от външното доказателство, когато проверителят споделя „слепите петна“ на модела. Математически отговор може да бъде тестван спрямо точен резултат. Правен, научен или политически отговор може да изисква подбор на доказателства, интерпретация и преценка. Обучението на модела да инспектира собствената си работа помага, но не премахва нуждата от независима валидация.
Това ограничение обяснява защо съвременните системи комбинират методи. Криптографските доказателства за изводи могат да удостоверяват изпълнението. Символните инструменти могат да тестват формални твърдения. Регистрите с доказателства могат да контролират какво е позволено на агента да заключи. Нито един от тях не покрива целия проблем с надеждността самостоятелно.
Какво следва за доказуемите изводи?
Следващото изпитание е внедряването, а не по-голяма демонстрация. Докладваният от Anthropic пропускателна способност и размер на доказателството са отправна точка, но практическата употреба ще зависи от скоростта на верификация, изискванията за памет, цената на хардуера и това как се държат доказателствата, когато се добавят подкани, инструменти и дълги контексти.
Изследователските екипи също се нуждаят от по-ясни сравнения. Криптографското доказателство трябва да се оценява спрямо дефиниран модел на заплахи. Верификаторът на разсъжденията трябва да посочи кои твърдения може да проверява, какви доказателства приема и какво се случва, когато доказателствата липсват. Самите по себе си подобрения в бенчмарковете не могат да покажат, че една система е безопасна в среда с високи залози.
- Инженерство: намаляване на разходите за генериране на доказателства и размера им при дълги отговори.
- Оценка: тестване на моделите чрез съпротивителни подкани (adversarial prompts), променящи се инструменти и непълни доказателства.
- Управление: дефиниране на това какво удостоверява едно доказателство и какво остава извън неговия обхват.
Навлизащата посока е многослойната сигурност. Доставчиците могат да доказват кой модел е работил, агентите могат да записват кои доказателства са обосновали дадено действие, а външните програми могат да верифицират формални твърдения. Заедно тези механизми биха могли да направят услугите с езикови модели по-лесни за одит, без да разкриват собствените тегла. Технологията се движи от абстрактно обещание към измерими системи, но рутинната, цялостна (end-to-end) верификация все още е недовършена.


