#verificacion-formal

Artículos etiquetados con #verificacion-formal

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