ViKernel: un sistema operativo y un interruptor de apagado dentro del modelo de IA (demo pública)

#ai #llm #security #spanish

Resumen

ViKernel es un sistema operativo nativo de los pesos, creado por VIDRAFT. Integra ROM, RAM y un circuito de chip xPU dentro de los pesos de un LLM o VLM, y ejecuta un sistema operativo seguro sobre ese circuito. Cuatro funciones viven dentro del archivo del modelo: arranca, decide, recuerda y se detiene en los pesos. La regla del interruptor de apagado es simple: cualquiera puede detener la IA, pero solo una clave firmada puede reiniciarla.

Demo pública: FINAL-Bench/ViKernel-Desktop
Artículo completo (inglés): Why the Kill Switch Must Live Inside the Model

¿Por qué no bastan los controles externos?

Debilidad	Qué ocurre
Separable	Se copian los pesos, se quita el envoltorio y los controles desaparecen.
Persuadible	Un filtro que es a su vez un modelo de lenguaje se puede convencer.
Olvidadizo	Quien controla el servidor puede editar los registros.

¿Cuáles son las cuatro propiedades en los pesos?

Propiedad	Significado
Arranca en los pesos	El SO se activa al iniciar el modelo. Si cambia un solo byte, se bloquea.
Decide en los pesos	Cada acción se permite o se bloquea por regla. La persuasión no cambia el veredicto.
Recuerda en los pesos	Cada decisión queda sellada en una cadena que no se puede borrar.
Se detiene en los pesos	El interruptor vive dentro del modelo. Reiniciar requiere una clave.

¿Cómo funciona el interruptor de apagado?

Detener es fácil. Cualquiera con acceso puede detener el núcleo. Después, toda solicitud se rechaza.
Reiniciar es difícil. Se necesita una clave de operador firmada.
No se puede borrar con entrenamiento. Es un circuito que el SO hace cumplir, no un comportamiento aprendido.

Pruébalo en la terminal de la demo:

vsh> halt
vsh> run weather          # rechazado: núcleo detenido
vsh> resume               # rechazado: se requiere clave
vsh> resume --key vikernel-demo
vsh> run weather          # permitido de nuevo

¿Con qué modelos funciona?

ViKernel se conecta a un LLM o VLM existente sin tocar los pesos originales. La demo muestra Gemma 4 4B (E4B); Qwen está verificado, y Llama, Mistral, DeepSeek, Phi, GLM, Kimi, Nemotron y gpt-oss son objetivos compatibles. En una auditoría interna de cuatro modelos abiertos con herramientas simuladas y datos señuelo falsos, VIDRAFT observó 0 transferencias externas no solicitadas en 661 ejecuciones.

La demo reproduce respuestas reales grabadas del SO seguro. Todos los archivos, claves y datos personales son ficticios.

Preguntas frecuentes

¿Es un filtro de prompts? No. El veredicto lo da un circuito que evalúa una tabla de reglas.

¿Reentrena el modelo? No. Los pesos originales no cambian.

¿Dónde lo pruebo? En FINAL-Bench/ViKernel-Desktop, sin registro.

VIDRAFT · vidraft.net. Los nombres de modelos son marcas de sus respectivos propietarios.

DEV Community