Lagrange logra grandes cosas: DeepProve-1 permite que el razonamiento LLM se autoprovoque.
¿Quién podría imaginar que la tecnología zkML, que antes solo se podía experimentar en modelos pequeños, ahora puede conquistar LLM?
@Lagrange Official El recién lanzado DeepProve-1 se convirtió directamente en el primer sistema de producción capaz de generar pruebas criptográficas para razonamientos completos de grandes modelos de lenguaje, y logró generar pruebas de conocimiento cero para el razonamiento completo de GPT-2.
Lo más impresionante es que modelos populares de código abierto como GPT-2 y LLAMA son muy similares en su arquitectura, lo que significa que DeepProve está cerca de soportar LLAMA también.
En unos meses, tal vez los grandes modelos de código abierto que usamos habitualmente puedan utilizar esta función verificable.