Управление · Понятие
Верификация вычислений при обучении ИИ с помощью доказательств с нулевым разглашением
Предложенная архитектура, использующая zkVM с предварительно скомпилированными операциями BF16/FP32 и обязательствами Меркла для криптографической верификации вычислений при обучении фронтирного ИИ без раскрытия архитектуры модели.
If practical at scale, this primitive could underpin international AI compute governance agreements analogous to nuclear verification regimes.
Связи
Связи · 3
Как этот узел связан с остальной картой и какие подтверждения стоят за связями.
Научное понимание динамики обучения является предпосылкой для разработки верифицируемых спецификаций обучения, используемых в архитектурах доказательств с нулевым разглашением.
+4 приростВерификация вычислений при обучении с помощью доказательств с нулевым разглашением может обеспечить технические примитивы правоприменения для систем управления ИИ, таких как Закон ЕС об ИИ.
+3 приростОбе статьи посвящены техническим примитивам верификации для управления ИИ; побитовая верификация вывода дополняет верификацию вычислений при обучении.
+3 приростИсточники сигнала
Источники сигнала
Датированные факты из первоисточников по этому направлению.
Обязательства Акта ЕС об ИИ для моделей общего назначения действуют со 2 августа 2025; обязательства для систем высокого риска (Приложение III) — со 2 августа 2026.
EU AI Act — implementation tracker →Рамочная конвенция Совета Европы по ИИ — первый юридически обязывающий международный договор об ИИ — открыта для подписания в сентябре 2024; ЕС ратифицировал её 15 мая 2026.
Council of Europe →26 августа 2025 Генеральная Ассамблея ООН создала Независимую международную научную панель по ИИ (40 экспертов) и Глобальный диалог по управлению ИИ.
United Nations →