gWarden ✌️
Реальна проблема в AI-перевірці полягає не в довірі ... а в детермінізмі
Більшість систем очікують, що одна й та сама вхідна інформація завжди дає однаковий результат ... але це руйнується з реальними завданнями LLM, де виходи можуть змінюватися
Старомодний ZKML був створений для малих моделей із передбачуваними результатами та багатьма криптографічними перевірками
Сучасні AI-агенти спроектовані так, щоб мати змінювані виходи
Що привернуло мою увагу останнім часом, це SPEX від @wardenprotocol 👌
Замість того, щоб змушувати все до строгих доказів, вони вибірково зразковують сам проце
Переглянути оригінал