Breaking: Voimme nyt todistaa, että tekoäly on oikeassa. DeepProve-1 on ensimmäinen tuotantovalmis zkML-järjestelmä, joka tarkistaa kryptografisesti täydellisen LLM-päättelyn. Lagrange on onnistuneesti todistanut OpenAI:n GPT-2:n päättelyn siirtämällä todennettavissa olevan tekoälyn teoriasta tuotantoon: 🧵
204,03K