💬 Олимпийский чемпион по математике в «Тени Джона Нэша» пытается решить дилемму блокчейна и доверия к искусственному интеллекту

Олимпийский чемпион по математике в «Тени Джона Нэша» пытается решить дилемму блокчейна и доверия к искусственному интеллекту

В математике Джаспер Чжан считается своего рода Зевсом. Он говорит, что выиграл золотые медали на математических олимпиадах в Китае и России, и ему потребовалось всего два года, чтобы получить докторскую степень. из Калифорнийского университета в Беркли.

Сейчас он пробует свои силы в решении ключевой проблемы на стыке двух наиболее быстро развивающихся, но сложнейших областей — блокчейна и искусственного интеллекта.

Hyperbolic, двухлетний стартап, возглавляемый Чжаном и специализирующийся на децентрализованных вычислениях с использованием искусственного интеллекта, заявил в четверг, что представляет протокол под названием «Доказательство выборки (PoSP)», направленный на решение проблем с доверием к децентрализованным сетям искусственного интеллекта.

Hyperbolic была основана в 2022 году Чжаном и Ючен Цзинь, имеющим докторскую степень. Степень бакалавра компьютерных наук в Вашингтонском университете.

По словам команды, концепция нового протокола была создана совместно с исследователями из Беркли и Колумбийского университета. Он сочетает в себе математику, информатику и экономику, применяя «передовые методы выборки и теорию игр для стимулирования целостности и минимизации вычислительных требований в децентрализованных сетях», — сообщил Hyperbolic в пресс-релизе CoinDesk.

28-летний Чжан сказал в интервью CoinDesk, что рассматривает PoSP как следующую итерацию проверки для децентрализованных сетей.

«Люди вначале думали, что есть только один способ провести проверку — это консенсус», — сказал Чжан. «Позже люди обнаруживают оптимистические доказательства, а затем доказательства ZK».

По его словам, теперь есть PoSP, и его можно применять не только к ИИ, но и к объединению, типу блокчейна уровня 2, а также к так называемым активно проверяемым сервисам (AVS), которые представляют собой протоколы, защищенные протоколами рестейкинга. как ЭйгенЛайер.

Исследовательская работа по протоколу Proof of Sampling, написанная Чжаном и несколькими соавторами, была представлена ​​1 мая в arXiv, хранилище с открытым доступом, размещенном в Корнельском университете для научных работ, которые еще не прошли рецензирование.

Согласно статье, проект основан на «чистой стратегии Равновесия Нэша». Это относится к концепции теории игр, приписываемой математику Джону Нэшу, получившему образование в Принстонском университете, который стал героем оскароносного фильма 2001 года «Игры разума» режиссера Рона Ховарда с Расселом Кроу в главной роли.

Вот рисунок из статьи, иллюстрирующий архитектуру:

В рамках релиза Hyperbolic представляет «spML» — реализацию PoSP, созданную специально для проверки ИИ.

«SpML использует основополагающие принципы PoSP для создания механизма проверки, который не только быстрее и безопаснее, но и экономически целесообразен», — сказал Чжан в пресс-релизе.

Теперь им осталось доказать, что это работает на практике.

Подробнее: Возможности децентрализованного искусственного интеллекта