Breaking: Nyní můžeme dokázat, že AI je správná. DeepProve-1 je první systém zkML připravený k produkci, který kryptograficky ověřuje úplnou inferenci LLM. Lagrange úspěšně prokázal odvození GPT-2 od OpenAI, čímž přesunul ověřitelnou umělou inteligenci z teorie do produkce: 🧵
203,84K