#open-source
Artículos etiquetados con #open-source
TodasAlmacenamientoCPUCajas PCFuentes de AlimentaciónGPUGamingInteligencia ArtificialMemoria RAMOverclockPSUPeriféricosPlacas BasePortátilesProcesadoresRAMRefrigeraciónSSDTarjetas 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
Inteligencia Artificial
Akrites: la alianza de 20 gigantes tech para blindar el open source frente a la IA
La Linux Foundation y veinte grandes empresas tecnológicas lanzan Akrites para corregir vulnerabilidades en software open source antes de que la IA las explote.
27 jun 0
2 artículos · Página 1 de 1