Đừng nghĩ rằng việc chứng minh GPT-2 bằng DeepProve-1 là dễ dàng, điều này thực sự là sự kết hợp của mật mã học, kỹ thuật và AI.
Trước tiên cần giải quyết vấn đề phi tuyến tính của cấu trúc mô hình, các LLM như GPT-2 đều là đồ thị tính toán phức tạp, còn có kết nối residual và nhánh song song, DeepProve đã đặc biệt thêm hỗ trợ cho bất kỳ cấu trúc đồ thị nào, bất kể là lớp đầu vào đa dạng hay đầu ra nhánh đều có thể xử lý, các đường cong trong tệp ONNX, GGUF cũng có thể được sắp xếp lại.
Điều thực tiễn nhất là đã thêm hỗ trợ định dạng GGUF, đây là định dạng LLM thường được các nhà phát triển sử dụng trên Hugging Face, sau này không cần phải xuất khẩu tùy chỉnh, chỉ cần dùng các mô hình cộng đồng có sẵn để xác minh bằng DeepProve.