DeepSeek Prover V2
DeepSeek
DeepSeek·Text
Open-Source-LLM spezialisierte sich in Lean 4 auf formale Theorembeweise und basierte auf einer rekursiven Theorembeweis-Pipeline.
