El atleta olímpico de matemáticas a la sombra de John Nash intenta resolver el dilema de la confianza entre Blockchain y la IA

En matemáticas, Jasper Zhang parece ser una especie de Zeus. Dice que ganó medallas de oro en olimpiadas de matemáticas en China y Rusia, y que le llevó sólo dos años obtener un doctorado. de la Universidad de California, Berkeley.

Ahora está intentando resolver un problema clave en la intersección de dos de las áreas de más rápido crecimiento pero más complicadas: blockchain y AI.

Hyperbolic, la startup de dos años que dirige Zhang y que se centra en la computación de IA descentralizada, dijo el jueves que está introduciendo un protocolo llamado "Prueba de muestreo (PoSP)", destinado a abordar los desafíos con confianza en las redes de IA descentralizadas.

Hyperbolic fue cofundada en 2022 por Zhang y Yuchen Jin, quien tiene un doctorado. en ciencias de la computación de la Universidad de Washington.

Según el equipo, el concepto del nuevo protocolo se creó junto con investigadores de Berkeley y la Universidad de Columbia. Combina matemáticas, informática y economía, implementando "métodos de muestreo avanzados y teoría de juegos para incentivar la integridad y minimizar las demandas computacionales en redes descentralizadas", compartió Hyperbolic en un comunicado de prensa con CoinDesk.

Zhang, de 28 años, dijo en una entrevista con CoinDesk que ve a PoSP como la próxima iteración de verificación para redes descentralizadas.

"Al principio, la gente pensaba que sólo había una forma de realizar la verificación, que era con consenso", dijo Zhang. "Más tarde, la gente descubre pruebas optimistas y luego pruebas ZK ”.

Ahora existe PoSP, dijo, y no sólo se puede aplicar a la IA, sino también a los paquetes acumulativos, un tipo de cadena de bloques de capa 2, así como a los llamados servicios validados activamente (AVS), que son protocolos asegurados por protocolos de restauración  como EigenLayer.

A  El artículo de investigación sobre el protocolo de prueba de muestreo de Zhang y varios coautores se envió el 1 de mayo a arXiv, un repositorio de acceso abierto alojado por la Universidad de Cornell para artículos científicos que aún no han sido revisados por pares.

Según el artículo, el diseño se basa en una "estrategia pura de equilibrio de Nash". Esto se refiere a un concepto de teoría de juegos atribuido al matemático John Nash, educado en la Universidad de Princeton, quien fue el tema de la película ganadora del Oscar en 2001  Una mente maravillosa , dirigida por Ron Howard y protagonizada por Russell Crowe.

Aquí hay una figura del artículo que ilustra la arquitectura:

Como parte del lanzamiento, Hyperbolic presenta “spML”, una implementación de PoSP creada específicamente para la verificación de IA.

"SpML aprovecha los principios fundamentales de PoSP para crear un mecanismo de verificación que no sólo es más rápido y seguro sino también económicamente viable", dijo Zhang en el comunicado de prensa.

Ahora sólo tienen que demostrar que funciona en la práctica.