Investigación en IA determinista

Cada salida puede volver a derivarse a mano.

Aleten desarrolla Ackren, un motor conversacional determinista para despliegue regulado. Sin inferencia estadística en ningún punto de la cadena, respuestas en milisegundos de un solo dígito y un registro de derivación para cada respuesta. Ackren aún no es un producto: el registro de desarrollo es público, las especificaciones salen a medida que se terminan, el motor ya está en línea y se puede probar, y una demostración funcional del producto está a cuatro o seis meses.

Latencia · medida
~7.700×
Respuesta
3,6 ms
Artefacto · Octavo
16 MB
SRAM · más el índice mapeado
50 KB

Una marca de collación de encuadernador. Un cuadernillo correcto muestra una diagonal ininterrumpida, y uno equivocado la rompe de forma visible. Seiscientos años de antigüedad, sin instrumento alguno, legible a simple vista en un segundo. Pasa el cursor por la marca o tócala para ponerla fuera de secuencia.

Registro de desarrollo

Qué cambió, y en qué compilación

Cada entrada completa, como mínimo una vez al mes. Si se falla la cadencia, esta página lo dice en lugar de quedarse callada. Las correcciones son un tipo de entrada de pleno derecho y las cifras superadas se tachan, nunca se borran.

Investigación28 jul 2026

La especificación formal está terminada en la v0.4

Sale tal como está, sin ningún formulario delante y sin recoger direcciones de correo. Las matemáticas son aquí el activo más sólido, así que son lo primero que sale de casa.

Espec. v0.4

Compilación24 jul 2026

Tasa de acierto de trigramas elevada a 0,461 en el conjunto reservado

Frente a 0,449. La poda sigue eliminando el 55,1 % de la masa de trigramas, así que una compilación de 16 MB sigue siendo un modelo de bigramas con excepciones de trigramas.

Compilación 7f2a9c31

Corrección18 jul 2026

Retirada la votación por mayoría del régimen de anotación

Solo funciona si los errores son independientes, y en los ítems ambiguos no lo son. Sustituida por anotación triple y arbitraje experto.

Régimen v2

Regulación11 jul 2026

Las fechas del Reglamento de IA tras el Digital Omnibus

El alto riesgo del anexo III se aplaza al 2 de diciembre de 2027. La transparencia del artículo 50 se mantiene en el 2 de agosto de 2026, y nos aplica. El determinismo no compra nada ahí.

Revisado el 11 jul 2026

Compilación3 jul 2026

Esquema del registro de derivación fijado, versionado y abierto

El formato de registro quedó fijado antes de que nadie lo pidiera, bajo una licencia permisiva, con un registro de cambios y una invitación a implementarlo.

Esquema v1.0.0

Investigación26 jun 2026

Errores silenciosos de consulta, contados en lugar de estimados

Unos 6.100 por cada mil millones de consultas con la anchura de índice actual. Se compran con bits, y esos bits cuestan la mayor parte de un presupuesto de 16 MB.

Espec. v0.4 §7

Programa19 jun 2026

El programa de verificación, y lo que paga

Cuatrocientas horas a quince libras, pagadas por hora verificada en lugar de por ítem, para que el incentivo no sea acelerar los casos dudosos.

Programa v1

Compilación5 jun 2026

Octavo cabe en 16 MB, con una garantía más débil

Una falsa aceptación entre 4.096, frente a una entre 16,7 millones en Quarto. Las huellas de doce bits son todo lo que permite el presupuesto, y eso se dice con el nombre.

Compilación 4c81e0a2

Corrección29 may 2026

Se ha retirado la comparación energética

Se apoyaba en un tamaño de lote que nadie ha publicado, así que no era una cifra que pudiéramos defender. Tachada hasta que pueda recalcularse. La latencia no se ve afectada.

2 a 6 ×10⁵ · retirada, no sustituida

Afirmaciones v1.1

Ackren

Tres formatos, un motor

Los nombres son pliegues de pliego de imprenta: folio es un pliegue, quarto dos, octavo tres. El formato nombra el suelo de hardware, no la competencia, y cualquier paquete corre en cualquier formato, sujeto solo a la flash. Esto no es una escala de capacidades.

Folio

Un pliegue · Linux

El artefacto completo a escala de gigabytes, mapeado en memoria, allí donde el almacenamiento no es la restricción determinante. Huellas a plena anchura.

Suelo Linux Garantía Anchura plena

Quarto

Dos pliegues · PSRAM

Unos 200 MB contra una tarjeta. El suelo intermedio, y el que la mayoría de objetivos embebidos pueden alcanzar de verdad sin rediseñar la placa.

Presupuesto ~200 MB Falsa aceptación 1 entre 16,7 M

Octavo

Tres pliegues · 16 MB XIP

Dieciséis megabytes, ejecutados en el sitio, sin tarjeta alguna. Octavo lleva una garantía más débil y no solo menos contenido: las huellas de doce bits son todo lo que permite el presupuesto.

Presupuesto 16 MB Falsa aceptación 1 entre 4.096

Paquetes de dominio

Reunidos

La competencia se entrega como paquete: redactado, listado y comprobable. La conversación es el motor base y no un paquete, y la autoría es un problema de investigación más que una función por llegar.

Reunidos en Quire

Pruébalo por tu cuenta

El motor está en línea en ackren.com

Fundamenta lo que le dices, hace sus propias preguntas de seguimiento e imprime el registro de derivación de cada turno, incluida la marca tipada en los turnos que rechaza. Todavía no sabe nada y lo dice en lugar de adivinar. El área de pruebas no necesita cuenta y la conversación nunca sale de tu navegador.

Investigación

Publicar las matemáticas

Cada documento está fechado, versionado y es citable, y cada cifra lleva la base de la que se derivó: medida, calculada, modelada o citada. Una cifra sin su base no es una afirmación, y no aparece en este sitio.

  • Gramática y análisis sintáctico
  • Relaciones de qualia
  • Determinismo
  • Verificación
  • Registro de derivaciones
  • Despliegue regulado
  • jul 2026 Especificación formal del motor Ackren v0.4
  • jul 2026 Las ocho etapas: especificación de la cadena, con banderas tipadas v0.7
  • jul 2026 Registro del log de derivación, un esquema abierto y versionado v1.0.0
  • jun 2026 Contabilidad de fallos: once filas, dos de ellas poco sólidas Nota
  • may 2026 El ajuste a 16 MB lo limita el vocabulario, no los n-gramas Nota

Estos documentos aún no están publicados, así que esto es una lista y no un conjunto de enlaces. Cada uno se subirá a una URL estable en cuanto esté terminado, sin nada detrás de un formulario. Pide cualquiera de ellos ahora y recibirás la versión actual: research@aleten.com.

Límites

Lo que esto no resuelve

Cada modo de fallo conocido se publica antes de que lo encuentre nadie más. Cuatro de ellos están abajo, con la condición de detección indicada junto a cada uno.

La contabilidad completa suma once filas, dos de ellas poco sólidas. Se publicará con la especificación.

01

Puenteo inédito

Detectado, nunca resuelto. La cobertura es estrictamente menor que uno por mucho que se redacte, y ninguna cantidad de escritura cierra la brecha.

02

Implicatura no convencional

La detección es alcanzable. La resolución no. Este problema está abierto para todos, incluidos los modelos transformer, que no lo señalan cuando fallan.

03

Coherencia en textos largos

Nada en el modelo mantiene un argumento unido de un párrafo a otro. La autoría es un problema de investigación, no una función por llegar.

04

Determinismo entre compilaciones

El determinismo se mantiene dentro de una compilación, identificada por el hash del artefacto. No se mantiene entre compilaciones, y no afirmamos que lo haga.

Trabaja con nosotros

Estamos contratando, y las condiciones están publicadas

El programa de verificación paga quince libras por hora, por hora verificada en lugar de por ítem, para que el incentivo no sea acelerar los casos dudosos. El régimen de calidad es público antes de que te presentes: cinco por ciento de ítems patrón insertados, veinte por ciento con anotación triple, y el kappa de Fleiss publicado.

  • Anotador, programa de verificación
  • Autor de gramática
  • Ingeniero de sistemas embebidos
  • Responsable de regulación y normas
  • Ingeniero de investigación, análisis sintáctico

Sin formulario de solicitud y sin sistema de seguimiento. Escribe a work@aleten.com diciendo cuál de estos puestos quieres y te responderá una persona.

Escríbenos