Mistral AI SAS es una startup francesa de inteligencia artificial (IA), con sede en París. Se especializa en modelos de lenguaje grande de pesos abiertos.
Proofcraft completa hitos clave en la verificación formal de seL4 y anuncia novedades
Proofcraft ha cerrado la demostración matemática de que el microkernel seL4, en su implementación para AArch64 (ARM de 64 bits), preserva la confidencialidad de los datos. Con las pruebas previas de corrección funcional e integridad ya finalizadas, la empresa culmina así la pila completa de garantía
