Учора вночі о другій годині ночі я з другом їли шашлик, він дивився на AI-трейдинг-робота і жаліється: «Він заробляє чи ні — не важливо, я боюся, що він просто вигадує причини.» Він ще й показав мені скріншот прибутку і сказав, що все стабільно, але рука у нього тремтіла. Я спонтанно запитав: «А який саме модель він використовує?» Він здивувався: «Не знаю… головне, що працює.» Мій хребет одразу похололо.

Саме тому я останнім часом звернув увагу на @inference_labs: вони не змагаються у тому, хто краще «генерує», а роблять «процес виведення» доступним для аудиту у вигляді аудиторського реєстру. Останнім часом у них дві важливі новини: ① офіційне оголошення про співпрацю з @cysic_xyz, що переносить zkML-обчислення доказів у децентралізовану мережу обчислювальних ресурсів/апаратного забезпечення, спрямоване на вирішення проблеми proof time і вартості; ② офіційно повідомляється, що JSTprove вже підключено до DSperse, модель розділена на частини і працює паралельно, кожен сегмент може видавати підтверджувальний «квитанцію». А ще, що TruthTensor Crucible S1 щойно зайняв перше місце у рейтингу, і я трохи збуджений — це не просто презентація, а реальний крок у напрямку впровадження verifiable AI у виробниче середовище.