Model ReleasesDeepSeek revoluciona el razonamiento lógico con DeepSeek-Prover, un modelo de 7B especializado en demostraciones de teoremas para Lean 4.hace alrededor de 2 años5 min de lectura
