Tin nóng: Chúng tôi giờ đây có thể chứng minh rằng AI là chính xác. DeepProve-1 là hệ thống zkML đầu tiên sẵn sàng cho sản xuất để xác minh một cách mật mã một suy diễn LLM đầy đủ. Lagrange đã thành công trong việc chứng minh suy diễn của GPT-2 của OpenAI, đưa AI có thể xác minh từ lý thuyết vào sản xuất: 🧵
203,85K