Independent Verification for Every Result | Dweve AION

Gobernanza del conocimiento basada en la procedencia de estilo AION.

Analizador certificable por Merkle que AION usa para el manejo de entradas.

Runtime verificado que empareja certificados AION con transcripciones de ejecución.

Procedencia de eventos para sistemas: registros encadenados por hash de lo que ocurrió, no de los pasos de razonamiento dentro de una decisión.

Ejecuta un certificado de ejemplo y compruébalo con aion check, cvc5 o cualquier verificador compatible con LRAT cuando el repositorio se publique. La publicación está prevista para el 1 de septiembre de 2026, y las instrucciones de instalación llegarán con ella.

para que cualquiera pueda comprobarlo sin ti

Un certificado sigue siendo pequeño y se puede volver a comprobar años después.

AION es infraestructura de prueba para decisiones de IA, pública desde el 1 de septiembre de 2026. Emite una prueba compacta junto al resultado de IA, y un verificador independiente recorre esa prueba contra las premisas originales y la acepta o rechaza sin el modelo, la sesión del solver ni la red.

para decisiones de IA comprobadas de forma independiente

AION añade un recibo comprobable a una respuesta de IA. Tu asistente puede decirte si el razonamiento se sostiene sin pedirte que entiendas la maquinaria, y el recibo se puede volver a comprobar sin conexión a internet. AION es público desde el 1 de septiembre de 2026, el día en que también se publica su documentación.

AION abre el programa el 1 de septiembre de 2026: infraestructura de pruebas para decisiones de IA, con el repositorio y su documentación publicados juntos. Las explicaciones a posteriori solo te piden que confíes en otro relato del mismo sistema. AION, en cambio, emite un certificado de prueba que cualquier verificador puede comprobar sin conexión, en tiempo lineal, sin el solucionador.

Tus archivos, tu hardware, tus números y un verificador que lee la prueba de un desconocido

Eso es una evaluación de dos semanas con un resultado por escrito en lugar de una demostración. El corpus es tuyo, el hardware es tuyo, los números son tuyos para publicar internamente, y nada del ejercicio requiere una conversación con nosotros. El kit se incluye con el repositorio, así que la ejecución puede comenzar el día en que llegue el acceso.

Correcto no es la opinión de AION sobre sí mismo. Cada archivo en un corpus estándar lleva el estado que se sabe que tiene, y el kit compara la respuesta de AION con esa anotación caso por caso, de modo que el recuento final es una puntuación frente a una verdad de referencia declarada. El espacio de direcciones por ejecución se puede limitar, lo que evita que un archivo patológico arrastre consigo una máquina.

AION incluye un kit de evaluación comparativa, así que los números que citas en un caso de negocio son los que tus propios archivos produjeron en tu propio hardware. Apúntalo a un corpus y registra el tiempo de análisis, el tiempo de resolución y la memoria máxima residente para cada instancia, y luego imprime un recuento de cuántas respuestas fueron correctas. La ejecución se repite sobre el mismo corpus, de modo que una segunda evaluación se puede comparar con la primera línea por línea.

Incluso con todo eso, alguien cuestionará un resultado. Eso necesita una vía, no una reunión

En algún momento antes de esa última fecha hubo un día en que el trabajo aún era de una tarde, y ese es el día que un gestor quiere marcado, porque cada opción posterior cuesta más. Leer el margen a diario es cómo se encuentra ese día.

El informe tiene un responsable en lugar de una cola, y cada línea implica una pieza de trabajo diferente con una urgencia diferente. Una está completa y no requiere acción de nadie. Una tiene cuatro días restantes, lo que la convierte en el plan de esta semana en lugar del de hoy. Una tiene un solo día restante, lo que la convierte en el trabajo de esta mañana. Una lleva dos semanas pasada su fecha, lo que necesita un nombre asociado y una frase que explique la brecha.

Cualquier cosa con una fecha límite se puede vigilar mientras se ejecuta, y AION informa el margen restante como un número con signo en lugar de un aprobado. Una ventana de respuesta con cuatro días restantes. Un período de retención dos semanas después de la fecha en que debería haber cerrado. Esa es una lectura operativa sobre la que alguien puede actuar esta mañana. El número se mueve cada día, así que el informe se lee como un margen en lugar de como una alarma.

antes de que se convierta en una infracción

Los registros responden preguntas después del hecho. Algunas obligaciones necesitan vigilancia mientras se ejecutan

La atribución es un segundo mecanismo en lugar de otra columna del mismo registro. Se aplica una firma sobre el orden de derivación, de modo que quién produjo un resultado sobrevive a un cambio de contratista, y dos respuestas idénticas de dos proveedores siguen siendo distinguibles. Eso se mantiene incluso cuando ambas se produjeron a partir de las mismas entradas declaradas.

Cada entrada de esa lista nombra el componente que cambió, y el certificado almacenado detrás es completo, así que volver a comprobar es una ejecución en lugar de una reconstrucción. La alternativa, que es lo que tienen la mayoría de las organizaciones, es una elección entre reexaminarlo todo y no reexaminar nada, y en la práctica esa elección siempre se hace de la misma manera.

Un resultado aceptado el año pasado se aceptó bajo el contrato del año pasado. Siete cosas diferentes pueden moverse debajo: una regla de verificador, un esquema de certificado, una política, una regla de compilador, un contrato de tiempo de ejecución, una versión de modelo o un contrato de simulación. Cuando una de ellas se mueve, la pregunta de qué conclusiones pasadas se basaban en la parte que cambió tiene una respuesta, y la respuesta es una lista.

Un registro local es fácil de mantener. Mantenerlo significativo cuando cambian las reglas es más difícil

Para un delegado de protección de datos que responde a una breve lista de preguntas sobre esta ruta, y solo esta ruta: ningún procesador que añadir a un registro, ninguna transferencia que justificar, ningún proveedor de modelos en la cadena, y nada nuestro que pueda no estar disponible durante su incidente o cambiar bajo sus pies según el calendario de lanzamiento de otra persona. La compilación que tiene es la que se ejecuta el año que viene. Esa respuesta es la misma tanto si el sitio está conectado como aislado.

Dos rutas pueden cruzar un límite y ambas son configurables por usted. Un clúster se ejecuta sobre direcciones que usted mismo establece. Un verificador externo, si quiere uno en el circuito, es un programa que instala y que se ejecuta como un proceso local en su propia máquina.

La compilación predeterminada de AION no incluye ningún cliente saliente. Comprobar una prueba, traducir un requisito, supervisar una señal y ejecutar la búsqueda ocurren en la máquina donde los inició, dentro de su propio límite, en hardware que usted controla. No hay ningún modelo alojado en la cadena ni ninguna ruta hacia uno. La misma compilación se ejecuta en una sala aislada que en una conectada, porque nada en la ruta predeterminada necesita una red para terminar.

Una prueba sobre las reglas es una cosa. Dónde se ejecuta el trabajo es la siguiente pregunta que la gente hace

Esa es una declaración sobre el conjunto de reglas, no una muestra de casos pasados. Probar mil aplicaciones muestra mil aplicaciones; una comprobación de no interferencia cubre cada par que las reglas permiten, usando autocomposición, alcanzabilidad dirigida por propiedades e inducción k, con la abstracción ajustada donde un par mostró que era demasiado laxa. Cuando no se cumple, lo que se devuelve no es una estadística. Son dos aplicaciones idénticas en todos los campos públicos, que difieren en el que usted preguntó, con dos resultados diferentes impresos lado a lado. Eso es un hallazgo en el que un oficial de cumplimiento puede actuar esa misma mañana.

Tome la que los reguladores y los denunciantes preguntan con más frecuencia, en diferentes palabras: ¿este campo cambió el resultado? Se responde como una propiedad sobre dos ejecuciones. Ate todas las entradas públicas, deje el campo en cuestión libre en cada lado y exija que el resultado visible coincida. Si siempre coincide, el resultado no dependía de ese campo.

Un certificado solo es interesante por la frase que le permite decir. Este binario corresponde a este gráfico fuente. Esta carga de trabajo se ejecutó bajo estas capacidades. Esta acción tuvo la aprobación requerida. Este óptimo cumple este límite. Esta trayectoria respetó estos invariantes. Esta conclusión se sigue de estas restricciones. Esta salida provino de este modelo y conjunto de parámetros exactos.

Un caso trata sobre una aplicación. Algunas preguntas tratan sobre dos a la vez

Ambos son hallazgos, y ambos tienen un propietario. Ninguno está disponible a partir de un aprobado o un suspenso. El contraejemplo es lo que le dice cuál de los dos está sosteniendo.