Створення та розповсюдження програми зі штучним інтелектом вражає. Але довести, що він працює так, як треба, так само важливо. За допомогою zML (машинне навчання з нульовим розголошенням) ми можемо перевіряти програми штучного інтелекту, щоб зробити їх доказово правильними та надійними. 🧵

2. DeepProve — провідний zkML для перевіреного штучного інтелекту — дозволяє будь-кому довести: → Що їхня модель штучного інтелекту працює так, як задумано → Щоб виходи моделі були правильними

3/ DeepProve може: → Доведіть, що LLM, такі як GPT-2 і Gemma3, ще більше в розробці. → Адаптуйтеся, щоб довести інші популярні моделі штучного інтелекту. → Пропонуйте в 1000 разів швидшу генерацію доказів за базовий рівень і в 671 раз швидшу перевірку доказів, ніж базовий рівень.