DeepSeek AI merilis DeepSeek-Prover-V2, LLM sumber terbuka untuk pembuktian teorema Lean 4. Ini menggunakan pencarian bukti rekursif dengan DeepSeek-V3 untuk data pelatihan dan pembelajaran penguatan, mencapai hasil terbaik di MiniF2F. Dee…
Rilis bobot terbuka menekan harga tertutup dan memperluas akses, mengubah perhitungan build-vs-buy untuk keseluruhan ekosistem.
Perusahaan dan model yang disebutkan dalam cerita ini — buka halaman mereka dan harga langsung
Ringkasan dikumpulkan untuk informasi saja — ikuti tautan sumber untuk cerita selengkapnya. Entri demo bersifat ilustratif.