Seberapa sulit membuktikan GPT-2? Lagrange memberikan semua paket keterampilan ke DeepProve
Jangan berpikir bahwa DeepProve-1 dapat membuktikan GPT-2 dengan mudah, di balik ini adalah penggabungan kriptografi, teknik, dan kerja AI semua menjadi satu.
Pertama-tama harus menyelesaikan masalah non-linearitas struktur model, LLM seperti GPT-2 semuanya adalah grafik perhitungan yang kompleks, dengan koneksi residual dan cabang paralel, DeepProve secara khusus menambahkan dukungan untuk struktur grafik sembarang, baik itu lapisan input ganda atau keluaran cabang, semuanya dapat diatasi, serta dapat merapikan semua kebingungan dalam file ONNX dan GGUF.
Yang paling praktis adalah ditambah dukungan format GGUF, ini adalah format LLM yang sering digunakan oleh pengembang di Hugging Face, ke depan tidak perlu membuat ekspor kustom, cukup ambil model komunitas yang sudah ada untuk menggunakan DeepProve.