Lagrange Labs este mândru să anunțe DeepProve-1, primul sistem zkML gata de producție care generează cu succes o dovadă criptografică a unei inferențe complete a unui model de limbaj mare (LLM). Această lansare demonstrează că AI-ul verificabil nu mai este o aspirație îndepărtată - este acum o realitate.

Cu DeepProve-1, am generat cu succes o dovadă de cunoștințe zero pentru întreaga inferență a GPT-2 de la OpenAI - o realizare majoră în domeniul AI-ului verificabil. Această realizare nu este doar o performanță tehnică; stabilește o fundație concretă pentru suportul zkML în următoarea generație de modele de limbaj mare, inclusiv LLAMA, Gemma și altele. Din punct de vedere arhitectural, GPT-2 și LLAMA de la Meta prezintă similarități izbitoare, ceea ce înseamnă că DeepProve este acum mai aproape ca niciodată de a putea dovedi un LLM bazat pe LLAMA. Lagrange plănuiește să umple acest ultim gol în lunile următoare, permițând DeepProve să susțină cele mai adoptate LLM-uri open-source din lume.

DeepProve-1 marchează un punct de inflexiune în progresul învățării automate, introducând verificabilitatea ca o caracteristică de bază a sistemelor AI moderne. Verificabilitatea, odată limitată la tipuri de modele de bază, cum ar fi MLP-uri și CNN-uri, se extinde acum la arhitecturi transformatoare complet dezvoltate. Pe măsură ce AI-ul își asumă din ce în ce mai mult rolul în luarea deciziilor în apărare, sănătate, finanțe și infrastructură, DeepProve-1 aduce integritate criptografică sistemelor care contează cel mai mult.