#mistral-ai

Artículos etiquetados con #mistral-ai

Todas Almacenamiento CPU Cajas PC Fuentes de Alimentación GPU Gaming Inteligencia Artificial Memoria RAM Overclock PSU Periféricos Placas Base Portátiles Procesadores RAM Refrigeración SSD Tarjetas Gráficas

Inteligencia Artificial

Leanstral 1.5: la IA de Mistral que encuentra bugs reales en código abierto

Mistral AI lanza Leanstral 1.5, un modelo open-source de verificación formal en Lean 4 que ya ha detectado cinco bugs desconocidos en repositorios reales.

hace 1 d 1

1 artículo · Página 1 de 1