DeepSeek Prover V2: Kostenloser KI-Assistent für Lean 4

Loading...

Loading DeepSeek deepSeekProver...

Das leistungsstärkste Open-Source-Sprachmodell mit 671B Parametern. Kostenlos zu nutzen, keine Registrierung erforderlich.

Datenschutzrichtlinie Nutzungsbedingungen