DeepSeek AI lanza DeepSeek-Prover-V2, un LLM de código abierto para la demostración del teorema Lean 4. Utiliza búsqueda de prueba recursiva con DeepSeek-V3 para datos de entrenamiento y aprendizaje de refuerzo, logrando los mejores resultados en MiniF2F. Dee...
Las liberaciones de pesos abiertos presionan los precios cerrados y amplían el acceso, cambiando la matemática de construcción versus compra para todo el ecosistema.
Empresas y modelos mencionados en esta historia: abra sus páginas y vea los precios en vivo
Los resúmenes se agregan únicamente con fines informativos; siga el enlace fuente para ver la historia completa. Las entradas de demostración son ilustrativas.