Picture of the author

LA

08/19 02:10

Breaking: We can now prove that AI is correct.

DeepProve-1 is the first production-ready zkML system to cryptographically verify a full LLM inference.

Lagrange has successfully proven the inference of OpenAI’s GPT-2, moving verifiable AI from theory to production: 🧵

7Partager

Tous les commentaires0RécentPopulaire

avatar
RécentPopulaire