люди припускають, що "верифікація ШІ" означає довести, що модель є правильною. Насправді ж проблема полягає в тому, щоб довести, що виконання справді відбулося так, як стверджує агент. Саме це SPEX і намагається формалізувати — не теоретичну безпеку, а достовірність виконання під час роботи. І саме з цього підходу виходить @wardenprotocol
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
люди припускають, що "верифікація ШІ" означає довести, що модель є правильною. Насправді ж проблема полягає в тому, щоб довести, що виконання справді відбулося так, як стверджує агент. Саме це SPEX і намагається формалізувати — не теоретичну безпеку, а достовірність виконання під час роботи. І саме з цього підходу виходить @wardenprotocol