La

Nu credeți că DeepProve-1 poate demonstra cu ușurință că GPT-2 este o treabă simplă, în spatele acestuia se află o combinație de criptografie, inginerie și activități AI.
Mai întâi trebuie rezolvată problema non-linearității structurii modelului, LLM-uri precum GPT-2 sunt grafice de calcul complexe, cu conexiuni reziduale și ramuri paralele, DeepProve a adăugat suport special pentru orice structură grafică, indiferent dacă este vorba de straturi cu multiple intrări sau ieșiri ramificate, totul poate fi gestionat, inclusiv complicările din fișierele ONNX și GGUF.
Cel mai practic este că a adăugat suport pentru formatul GGUF, acesta fiind un format LLM folosit frecvent de dezvoltatori pe Hugging Face, astfel că nu va mai fi nevoie să facem exporturi personalizate, putem folosi modele comunității disponibile pentru a verifica cu DeepProve.