Breaking: Vi kan nå bevise at AI er riktig. DeepProve-1 er det første produksjonsklare zkML-systemet som kryptografisk verifiserer en full LLM-slutning. Lagrange har med suksess bevist slutningene til OpenAIs GPT-2, og flyttet verifiserbar AI fra teori til produksjon: 🧵
201,94K