Conozca a @duveZK, ingeniero de zkVM en Nexus. Estudió lógica y informática, y ahora trabaja en la verificación formal, las pruebas de conocimiento cero y la infraestructura que impulsa la IA verificable.

Tanner se centra en la verificación formal de la IA. "A medida que la IA se despliega en sistemas críticos, los resultados poco fiables pueden ser desastrosos. La exactitud demostrable significa garantías formales y criptográficas, para la seguridad, la privacidad y la equidad".

Está especialmente emocionado por la intersección de PL, AI y ZK. "Existe un impulso real en el uso de la IA para ayudar con la verificación formal, capacitando a los LLM en datos Lean para generar matemáticas y software verificados".

Lee la entrevista completa aquí: