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

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

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

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

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

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

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

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

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

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

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

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

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

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

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