Автономні агенти переходять від експериментів до інфраструктури. Ми раді співпрацювати з @Kassai_ai, щоб дослідити, як криптографічна верифікація може забезпечити поведінку агентів. Йдеться про те, щоб дії агентів були доведеними, а не просто виконуваними: 🧵

2/ Kassai створює мережу розподіленого висновку, яка працює на межі. Замість концентрації обчислень у централізованих дата-центрах, Kassai активує сплячі споживчі GPU, формуючи глобально розподілений шар виконання з низькою затримкою для агентних систем. Цей дизайн ставить на перше місце стійкість, економічну ефективність і спутанність.

3/ Агентний ШІ принципово відрізняється від одиночного висновку. Агенти планують, викликають інструменти, викликають моделі, обмінюються повідомленнями та запускають наступні ефекти між системами. Коли ці дії непрозорі, невдачі стають невидимими, а відповідальність зникає.

4/ Лагранж усуває цю прогалину, додаючи верифікацію під час виконання. Використовуючи DeepProve, дії агентів можуть надавати докази з нульовим розголошенням, які підтверджують, що дія дотримувалася авторизованої логіки та дійсних вхідних даних, не розкриваючи внутрішніх міркувань чи конфіденційних даних. Результатом є докази, а не припущення.

5/ Це створює перевірений конвеєр виконання для агентів, що працюють у розподіленій інфраструктурі: • Прийняття рішень • Виклик інструменту • Виведення моделі • Оновлення штату • Зовнішні дії Кожен крок може бути незалежно перевірений іншими агентами, додатками або логікою примусового застосування.

6/ У цій моделі довіра більше не надається агенту чи апаратному забезпеченню, на якому він працює. Довіра надається криптографічним доказам, які підтверджують правильну поведінку. Кассай створює тканину виконання. Лагранж забезпечує рівень доказів, який робить це виконання відповідальним.

7/ Коли агентні системи починають координувати економічну діяльність, управління та реальні операції, верифікація стає обов'язковою. Автономія в масштабі вимагає доказів. Це напрямок, у якому рухаються Лагранж і Кассай.