100
DeepSeek-Prover-V2
freemium
حل النظريات المعقدة في Lean 4 بفضل DeepSeek-Prover-V2، نموذج مفتوح المصدر يجمع بين الاستدلال غير الرسمي والبراهين الرسمية.
زيارة الموقعInformations
الفئة
LLM models
Tags
LLM models
اللغات المدعومة
EN