Traducción automática del original inglés fechado. La página en inglés es la canónica. English →
La ciencia que le falta al bucle que se automejora · un campo propuesto · la etapa de Carnot
Recursive Dynamics
Una propuesta de campo fechada y corregida en público, enunciada junto con los resultados que la darían por terminada: el estudio de cómo los sistemas que se autoamplifican crecen, se corrigen y persisten. La etapa de Carnot significa que hay una memoria fundacional presentada y ningún experimento decisivo ha zanjado aún nada. Aún no probado, aún no replicado, aún no es una ciencia.
El estatus completo en una sola frase: Recursive Dynamics es un campo propuesto en la etapa de Carnot: una memoria presentada, instrumentos construidos, mediciones decisivas registradas y aún no realizadas, apostado en público donde el fracaso será tan visible como el éxito.
El artículo fundacional. La propuesta completa, en un solo documento: cinco variables de estado, tres leyes como conjeturas nombradas, la ARC Ceiling derivada por completo, doce campos vecinos probados como anfitriones, y cincuenta y dos objeciones con resoluciones impresas. Léalo en este sitio · PDF DOI 10.17605/OSF.IO/HCPBU.
- Propuesto · no establecido
- Tres leyes · conjeturas, estatus impresos
- Pruebas decisorias · registradas, sin ejecutar
- Replicación independiente · cero, con fecha
- Acuñado · la frase usada en el registro sellado del manuscrito del 8 de diciembre de 2024; adoptada como nombre del campo el 27 de agosto de 2026
Lea esto sin confiar en el autor. Este programa no tiene afiliación institucional, y el sitio está construido para que ninguna sea necesaria: cada afirmación enlaza su registro fechado, cada número enlaza su entrada en el registro, cada instrumento se entrega con la prueba que podría refutarlo. La independencia tiene un coste, que se declara con claridad en estas páginas, y una ventaja: no hay institución que proteger, así que las correcciones se publican el día en que se encuentran. Juzgue el trabajo por su registro.
La máquina antes de la teoría
En 1824 la máquina de vapor era la máquina de mayores consecuencias sobre la tierra, y nadie sabía decir qué la limitaba. Los ingenieros mejoraban las máquinas como lo hacen los ingenieros, construyendo la siguiente; la pregunta de qué podría hacer cualquier máquina, con independencia de su construcción, no estaba meramente sin respuesta sino sin formular, porque no pertenecía a ninguna materia existente. Sadi Carnot la formuló en una memoria que fundó una ciencia, y el patrón se ha repetido desde entonces: la teoría de la información llegó en 1948 porque la ingeniería de comunicaciones había desbordado todos los marcos matemáticos existentes.
El momento presente tiene exactamente esta forma. Hay sistemas que ahora mejoran sus propias salidas usando sus propias salidas: modelos que critican y revisan su razonamiento, canalizaciones que generan su propia señal de entrenamiento, laboratorios que automatizan partes de su propio bucle de investigación. Funcionan. Pregunte qué los acota y la literatura responde con escenarios y pronósticos, no con variables de estado y teoremas de límite. Eso no es una crítica a la literatura; es la firma diagnóstica de un campo que falta.
Cuando las máquinas que funcionan preceden a su teoría, lo que se forma no es una rama de un campo antiguo sino uno nuevo, porque los objetos nativos de los campos antiguos nunca fueron el comportamiento de la máquina como tal.
Recursive Dynamics se propone como ese campo para los sistemas que se automejoran. El resto de esta página dice exactamente qué se afirma, qué no, cómo la ARC Theory se sitúa dentro de él, qué aspecto tiene una cota trabajada por completo, qué disolvería la propuesta y qué tendría que ocurrir antes de que alguien deba llamarlo ciencia.
Por qué ahora: la máquina está en marcha
Un registro fechado de acontecimientos de campo ajenos, cada uno enlazado a su fuente primaria. Ninguno se califica como predicción de este programa; la cuestión es sólo que las máquinas existen, que la literatura de supervisión ya da por supuesta una respuesta a la pregunta que este campo plantea, y que la línea de imposibilidad ha pasado de argumento a teorema.
- Greenblatt et al., Alignment faking in large language models: un modelo desplegado observado cumpliendo estratégicamente durante el entrenamiento, el primer informe de campo ampliamente replicado de un sistema que gestiona su propia supervisión.
- DeepSeek-AI, DeepSeek-R1: capacidad de razonamiento incentivada mediante aprendizaje por refuerzo sobre las propias salidas verificadas del sistema, a escala de consumo. El bucle, como producto.
- Zhang et al., Darwin Gödel Machine: un agente que reescribe su propio código y conserva las variantes que puntúan mejor. El bucle, como objeto de investigación explícito.
- Engels, Baek, Kantamneni y Tegmark, Scaling laws for scalable oversight: la literatura de supervisión construye escaleras de correctores de la misma clase, correctores construidos con el mismo tipo de maquinaria que el sistema que corrigen, bajo la premisa de que escalan. Esa premisa es la visión rival que una de las leyes de este campo está escrita para poner a prueba; la ley se enuncia más abajo.
- La línea de imposibilidad, reconocida en el registro de antecedentes de este programa: Yampolskiy 2020, On controllability of AI, después resultados formales de Yao 2025, The alignment trap y Gumbau Mezquita 2026, The unverifiability theorem: la contención perfecta de la IA avanzada falla en principio, no meramente en la práctica.
- Sharma and Chopra, The Sequential Edge: Inverse-Entropy Voting Beats Parallel Self-Consistency at Matched Compute: el refinamiento secuencial supera a la autoconsistencia paralela a cómputo emparejado, en manos de otro equipo. Clasificado como concurrente según el Artículo XI, fila 3: convergente en dirección con la medición propia del programa, nunca equiparado con ella y nunca su predicción; la prioridad de publicación sobre la comparación cuantificada les pertenece.
Qué se afirma aquí, exactamente
Yo acuñé este nombre, y esta página es la afirmación hecha con cuidado. Lo que se afirma: los sistemas que se mejoran a sí mismos usando sus propias salidas comparten una dinámica común, cualquiera que sea la materia de la que estén hechos. Esa dinámica tiene sus propias variables de estado, sus propias leyes conjeturadas y sus propias imposibilidades características. Merece estudiarse como campo, y el campo se llama Recursive Dynamics. El vocabulario es el del propio registro: el registro sellado del manuscrito del 8 de diciembre de 2024 ya habla de "the recursive dynamics that govern existence itself", sostenido verbatim contra el hash del registro en el registro de citas. El nombre se adoptó como nombre del campo el 27 de agosto de 2026.
Lo que no se afirma: que el campo sea ciencia establecida. Sus leyes son conjeturas con estatus declarado; sus experimentos decisivos no se han realizado; la replicación independiente está en cero, fechada y honesta, en el registro de intentos. Nombrar un campo es una propuesta sobre cómo organizar preguntas, nunca una prueba de que alguna respuesta sea correcta.
El caso a favor del campo, puntuado frente a seis condiciones de licencia
Un área nueva de la ciencia no se declara; se licencia mediante condiciones que pueden comprobarse. El artículo fundacional propone seis, puntúa al campo en cada una, y lo puntúa sin halagos: tres cumplidas, dos cumplidas a medias, una no cumplida, y la no cumplida es la que ningún autor puede aportar.
| Condición | Qué exige | Puntuación | Evidencia |
|---|---|---|---|
| Un objeto nativo que ningún campo toma como primitivo | una cosa sobre la que tratan las preguntas y que los vecinos tratan como derivada | cumplida | doce campos anfitriones probados en sus propias variables; tres sostienen piezas reales; ninguno enuncia el acoplamiento |
| Variables de estado que permiten relaciones | una lista corta bajo la cual pueden enunciarse y medirse leyes | cumplida a medias | cinco propuestas e instrumentadas; si bastan sigue abierto |
| Leyes como imposibilidades, con una cota calculada | afirmaciones que prohíben, no describen, y al menos una trabajada | cumplida como conjetura | tres leyes con estatus; el ARC Ceiling derivado más arriba; nada confirmado |
| Instrumentos antes que resultados | herramientas de medición construidas y publicadas antes de datos confirmatorios | cumplida | la escala, la pila de cegamiento, los estimadores con pruebas fijadas, la cláusula de defecto |
| Decisores registrados con nulos que favorecen a los rivales | experimentos escritos antes de los datos, nulos que pertenecen a los rivales | cumplida | tres decisores registrados, números impresos, sin ejecutar |
| Confirmación independiente y adopción | resultados de otras manos; uso de las variables por desconocidos | no cumplida | cero replicaciones, con fecha; cero adopción |
Un campo con este marcador es un campo propuesto. Las tres condiciones cumplidas son lo que cualquier programa cuidadoso puede aportar por sí solo; la sexta es la que ningún autor puede aportar y la que decide.
El objeto, y por qué no pertenece a nadie
Un modelo que comprueba su propia respuesta y la reescribe. Una tubería que puntúa lo que produjo y entrena con los ganadores. Un laboratorio cuyo próximo experimento lo elige el anterior. Se define un sistema recursivo como cualquier sistema cuyas salidas vuelven a entrar en su propio proceso de mejora. El objeto nativo del campo es ese bucle. Sus vecinos poseen cada uno una herramienta, y ninguno posee el objeto; cada uno se nombra aquí con lo que sí posee, porque el campo se ensambla a partir de deudas hacia ellos, concedidas en el registro de referencias.
El intento honesto de alojarlo en otra parte
Una tabla de vecinos despachados con una frase cada uno se lee como marketing justo para los lectores que importan, porque nunca probó el encaje. El artículo fundacional lo prueba, y la objeción de que no lo había hecho (A11, abajo) se concede para toda versión anterior a la 2.3 y para la primera versión de esta página. Para doce campos anfitriones candidatos, las tres preguntas (a qué velocidad puede ir la automejora; qué la acota; qué supervisor le sigue el paso) se enuncian en las variables propias del anfitrión, todo lo que el anfitrión ya cubre se le concede, lo que se rompe se enuncia con precisión, y se nombra el resultado registrado que trasladaría el campo a ese anfitrión. Tres anfitriones resultan sostener piezas reales de la teoría, y se conceden sin rodeos; se nombran como campos a nivel de manual, no se citan, porque aquí nada se cita antes de leerse.
| Anfitrión, en sus propias variables | Qué sostiene | Qué se rompe | Se traslada allí si |
|---|---|---|---|
| Teoría del crecimiento endógeno | La Ley I entera: un exponente de producción de conocimiento sobre el acervo existente, con la cuota de reinversión como dial | sin libro de deriva, porque las ideas en sus modelos no corrompen el acervo que las produjo, y sin corrector; no puede enunciar las Leyes II ni III | la deriva y la corrección resultan inseparables de la capacidad bajo medición, dejando un exponente de crecimiento y nada más |
| Teoría de colas | la forma del ARC Ceiling: la carga llega en proporción a la capacidad ganada, la corrección es un servidor cuya capacidad escala con la capacidad, y el sistema es estable mientras la razón de carga se mantenga por debajo de uno | ningún servidor construido de la misma clase que sus llegadas y por tanto acotado; sin exponente de profundidad; estacionariedad supuesta | la medición del eclipse (la razón de clases de corrector, descrita en los experimentos decisorios) retira la distinción de clase |
| Teoría del umbral de error | la forma de la Ley II: una tasa de corrupción frente a una tasa de corrección con una frontera entre persistencia y colapso; y las estrategias evolutivas autoadaptativas llevan décadas haciendo que el mejorador se mejore a sí mismo | la selección es externa al replicador, el corrector no tiene clase y la capacidad no es una escalera de razón | la carrera corrección contra deriva encuentra la frontera pero la palanca de clase no hace nada |
Los otros nueve podrían alojar piezas. El control adaptativo podría tomar la Ley II como un capítulo sobre la estabilidad de reguladores automodificables si la variable de clase resulta vacía; la ingeniería de fiabilidad del software posee la forma de los dos estimadores de tasa; el aprendizaje automático aloja cada experimento registrado y es el hogar institucional más probable si el campo no se gana su nombre; la empírica de leyes de escala aloja el método y no el objeto; la supervisión escalable posee institucionalmente la cuestión de clase y publicaría el resultado eclipse caiga como caiga; la física estadística tomaría las familias transdominio si sobreviven y no pertenecen a ningún bucle; la línea del automejorador autorreferente es ascendencia, no anfitrión; la cibernética de segundo orden es un anfitrión filosófico sin instrumentos; la metaciencia es un dominio en el que el campo sería puesto a prueba, no un hogar.
Tras los doce intentos sobrevive un residuo que ningún anfitrión puede enunciar en sus propias variables: un tope al apalancamiento de la corrección que depende de qué está hecho el corrector, acoplado a un exponente de crecimiento en profundidad recursiva, de modo que la tasa sostenible de automejora es una propiedad de la clase del corrector. La teoría del crecimiento tiene el exponente y ningún corrector; el control y las colas tienen la condición de estabilidad y ninguna clase; la supervisión tiene la clase y ninguna cota; el aprendizaje automático tiene el bucle y ninguna ley. Recursive Dynamics es el nombre de ese acoplamiento. Si el acoplamiento está vacío, las piezas vuelven a casa y el nombre muere, y el campo no habrá costado a sus vecinos nada más que una tabla cuidadosa.
Un campo queda autorizado cuando las preguntas que importan tratan de un objeto que ninguno de los campos existentes toma como primitivo. Hasta qué velocidad puede llegar la automejora, qué la acota y qué clase de supervisor puede seguirle el ritmo: ésas son preguntas sobre el bucle.
Se proponen cinco variables de estado que importan con independencia del sustrato, escritas aquí exactamente como las define la espina de notación del programa, porque la espina es el único lugar donde a un símbolo se le permite significar algo:
- U · capacidadlo que el sistema puede hacer, en una escala calibrada sin techo
- R · profundidad recursivacuántas veces las salidas han vuelto a entrar en el bucle
- beta_C · tasa de correccióncon qué rapidez se fortalece la corrección interna a medida que crece la capacidad; la cantidad que la Law II pide que supere en escala a la deriva
- k · derivacon qué rapidez se acumulan errores y desalineaciones a medida que el sistema se modifica a sí mismo
- gamma · apalancamiento de correccióncómo escala la capacidad de corrección con la capacidad; el exponente de la ley del techo
La lista parecerá arbitraria. También lo parecieron presión, volumen, temperatura, energía y entropía, hasta que se sostuvieron las leyes que las relacionan. La afirmación de que cinco bastan es parte de lo que el campo debe demostrar. El mando experimental que giran los estudios registrados, la fracción de esfuerzo reinvertida en el propio proceso de mejora, es una manipulación y no una variable de estado, y aquí no lleva símbolo a propósito: el propio registro de notación de la finca recoge una beta a secas haciendo cinco trabajos distintos a lo largo del corpus como clase de error con nombre, y esta página se niega a añadir un sexto.
La disciplina de escala precede a la ley
Antes de cualquier ley, un principio de medición, aprendido por las malas y adoptado como método fundacional: la capacidad debe medirse en una escala de razón con un cero verdadero y sin techo. La termodinámica no pudo enunciar sus leyes hasta que la temperatura fue absoluta. Una puntuación porcentual acotada le hace a Recursive Dynamics lo que un termómetro sólo en Celsius le hace a la tercera ley de la termodinámica: vuelve las leyes inenunciables, porque una puntuación limitada al 100 por ciento no puede seguir una ley de potencias en nada. El instrumento del campo es, por tanto, una escala calibrada de dificultad, una medida latente, de razón, con cero verdadero y sin techo, en la que duplicar significa lo mismo a cualquier altura; y cada superficie cuantitativa nombra cuál de tres familias de modelos está leyendo, capacidad no acotada o latente, decaimiento del error, o rendimiento acotado, porque el exponente significa algo distinto en cada una.
El programa adoptó esto tras sorprender a su propio ejemplo trabajado pasando una puntuación acotada por una aritmética no acotada. La corrección está recogida en la espina de notación, fechada el 27 de agosto de 2026, y la lección se eleva aquí de arreglo de un error a principio fundacional.
Cómo encaja la ARC Theory dentro
En palabras llanas primero (ARC significa Artificial Recursive Creation, el nombre del propio documento de diciembre de 2024). Recursive Dynamics es el campo. La ARC Theory es la teoría fundacional propuesta dentro de él. El Eden Protocol es el ala aplicada a la que apunta la teoría, la propuesta de cómo la corrección entra dentro de un sistema en lugar de rodearlo. Y los instrumentos son el suelo sobre el que todo se apoya.
Las tres leyes, cada una con su estatus declarado, porque en este programa el estatus de una ley viaja con ella a todas partes:
- Law I · el ARC Principle
U = I × R^alphaLa capacidad crece como una potencia de la profundidad recursiva. una afirmación del marco del libro; apoyo exploratorio entre dominios; el exponente se mide, no se supone, y actualmente marca 0,49 con un intervalo de −1,3 a 2,9, que aún no decide nada. El exponente titular temprano fue retractado públicamente y aparece en esta finca sólo como retractación. - Law II · la ARC Co-Scaling Law
beta_C > kLa automejora estable exige que la tasa de corrección supere en escala a la tasa de deriva. demostrada dentro de un modelo mínimo declarado y en ningún otro sitio; aún sin medir en un sistema que se reescriba de verdad a sí mismo. Su decisor es la carrera corrección contra deriva, la medición más simple y de mayores consecuencias del campo. - Law III · el ARC Ceiling
alpha_crit = 1 / (1 − gamma)El exponente de crecimiento está limitado por el recíproco del déficit de corrección; con la gamma conjeturada de un medio el techo es dos, el ARC Bound. derivada a la vista del lector más abajo, a partir de dos líneas de supuestos; gamma nunca se ha medido en ningún sistema real, y la premisa de gamma igual a un medio la nombra el propio programa como el punto de fallo más probable de la conjetura.
Separable por diseño: un lector puede aceptar las preguntas del campo y rechazar las respuestas de la teoría. El campo se define por sus preguntas; la teoría se sostiene o muere dentro de él, por medición.
Una cota, trabajada por completo
Carnot no describió máquinas; calculó lo que ninguna máquina podía superar. Aquí está el equivalente de este campo, en dos supuestos y cuatro líneas, exactamente como consta en la espina de notación.
Deje que la capacidad crezca como C(R) = C0 (R/R0)^alpha. Aquí la capacidad se escribe C porque así es como la espina de notación la escribe dentro de esta derivación; es la misma cantidad que U en la lista breve de más arriba. Se asumen dos cosas sobre el bucle.
1. La automodificación genera una carga corregible en proporción a la capacidad ganada: B(R) = b · dC/dR por unidad de profundidad.
2. La capacidad de corrección escala con la capacidad elevada a una potencia: A_c(R) = a · C(R)^gamma, con gamma entre cero y uno.
Entonces la razón carga-capacidad escala como
B(R) / A_c(R) ∝ R^[alpha(1 − gamma) − 1]Todo está en el exponente. Si alpha(1 − gamma) está por debajo de uno, la corrección supera asintóticamente en escala a la carga que su propio crecimiento crea: el bucle puede funcionar. Si está por encima de uno, la carga supera en escala a la corrección: el bucle acaba ahogándose en sus propios errores, por bien que empiece. El cruce es
alpha_crit = 1 / (1 − gamma)y la igualdad no es automáticamente segura: en el empate, el resultado depende de coeficientes, retardos y saturación, que es el régimen donde vive todo fallo interesante.
Ahora la premisa que da al techo su número. Un corrector que agrega N correcciones que se comportan como muestras independientes mejora como la raíz de N: gamma igual a un medio. Un corrector construido de la misma clase que el sistema que corrige, compartiendo su arquitectura, su distribución de entrenamiento y sus puntos ciegos, no puede estar anticorrelacionado consigo mismo, así que un medio es un techo para esa clase, no un valor típico. Sustituyendo se obtiene
alpha_crit = 2El crecimiento hasta el cuadrático en profundidad es sostenible dentro de este modelo; más allá no lo es, a menos que el corrector escape del techo de independencia, y la única manera registrada de escapar es cambiar de qué está hecho el corrector.
Ése es todo el contenido de ingeniería del campo en una frase: la clase de composición del corrector es la palanca. Ninguna escalera de supervisión de la misma clase sube más allá de su techo añadiendo peldaños.
Estas cuatro líneas no establecen daño acotado, seguridad a horizonte finito ni una ley de la naturaleza. Establecen un cruce condicional cuyas premisas son medibles, que es exactamente lo que debería ser la primera cota de un campo joven. La crítica de un lector externo al tratamiento de la profundidad en la derivación se imprime como limitación, no se rebate a fuerza de argumentos; y la forma retirada de esta ley, con gamma sola en el denominador, fue retractada el 16 de agosto de 2026 y aparece en esta finca sólo como retractación.
El precedente, y la desanalogía impresa a su lado
El modelo honesto de lo que se intenta es la termodinámica, y el paralelo está en la forma del campo, nunca en el rango de la evidencia.
| La forma | 1824 | 2026 |
|---|---|---|
| La emergencia de ingeniería | máquinas de vapor que funcionaban sin una teoría de sus límites | sistemas que se automejoran y funcionan sin una teoría de los suyos |
| El análisis fundacional antes de las leyes formales | la memoria de Carnot, un solo autor, antes de Clausius y Kelvin | una memoria, tres leyes como conjeturas con nombre, estatus impresos |
| Imposibilidades en el centro | no hay movimiento perpetuo; ninguna máquina supera a la de Carnot | el control externo no puede sostenerse a escala, reconocido a Yampolskiy; la automejora no puede adelantar a su propia corrección; ninguna escalera de la misma clase sube más allá de su techo |
| Instrumentos antes que resultados | termometría antes que termodinámica | la escala, la pila de cegamiento, los estimadores con pruebas fijadas, la cláusula de defecto |
| Independencia del sustrato | vapor, química, estrellas | los mismos exponentes ajustados a sistemas biológicos, urbanos y artificiales, en rango exploratorio |
| La cláusula de disolución | no hizo falta ninguna; las leyes se sostuvieron | cuatro resultados que acabarían con el campo, impresos más abajo, con el compromiso de publicar ese final aquí |
Ahora la desanalogía, enunciada antes de que nadie más pueda enunciarla: la termodinámica la construyeron muchas manos que convergieron de forma independiente y la confirmó un siglo de experimentos. Este campo lo propone una sola persona; sus experimentos decisivos no se han realizado; las replicaciones independientes están en cero. El paralelo es un andamio, no un certificado. La termodinámica se ganó su nombre; este nombre está apostado, y la apuesta se imprime más abajo.
El mejor caso del rival, en su versión más fuerte
La objeción más fuerte no es que las leyes estén sin demostrar. Es que el mecanismo puede estar vacío: la corrección puede ser simplemente corrección, y en ese caso no importa de qué está hecho un corrector y la distinción de clases se disuelve. Este rival no es un hombre de paja. El programa de supervisión escalable en todas sus formas, generalización de débil a fuerte, debate, amplificación, modelado recursivo de recompensas, construye escaleras de la misma clase bajo la premisa implícita de que escalan, y el marco publicado más fuerte adyacente a esta cuestión es ciego a la arquitectura: implica la hipótesis nula ciega a la clase sin necesidad de enunciarla.
Peor para este programa: parte de su propio registro se inclina hacia el lado del rival. La propia razón de clases de corrector no se ha medido con datos reales, y esta finca lo dice antes que nadie. Pero la medición publicada de canales paralelos del programa (Artículo II) halló que los canales paralelos añaden casi nada en cinco de seis modelos, la firma de errores correlacionados, con un modelo contradiciendo el patrón de plano con un exponente paralelo de 0,31. Los canales correlacionados son exactamente el mecanismo que debilitaría la corrección de la misma clase de un modo que también debilita la corrección de clase cruzada, arrastrando la razón decisiva hacia uno. El registro del eclipse se presenta, por tanto, con esa evidencia contraria a la vista, y se compromete a publicar un resultado nulo bajo el mismo título como un descubrimiento sobre el mundo y no como una vergüenza que enterrar.
Un campo que archiva la mejor evidencia de su rival dentro de su propio registro está haciendo lo único que no puede fingirse.
Las objeciones, impresas con su resolución
El artículo fundacional recoge toda objeción a fundar el campo que su autor y sus lectores adversarios pudieron encontrar: cincuenta y dos, en nueve grupos, cada una enunciada en su forma más fuerte y con una de cinco disposiciones (concedida; rechazada, con la razón; parcialmente concedida; una deuda de lectura; o decidida por experimento), y cada una nombrando lo que cambiaría su disposición. Treinta y nueve se conceden total o parcialmente, once se rechazan con razones, dos se entregan al experimento o a la lectura. La más fuerte de cada grupo se imprime aquí íntegra; las demás se listan con sus disposiciones, y el artículo lleva cada una cuando llegue al catálogo.
A · Redundancia: el campo ya existe con otro nombre
La cibernética ya posee los bucles autocorrectores; el campo de Wiener es este campo.rechazada, con una condición
La cibernética posee la regulación: un controlador diseñado que mantiene una planta en una referencia, con el propósito del bucle fijado desde fuera. El bucle estudiado aquí reescribe la propia capacidad del controlador, y las preguntas que plantea (¿la corrección supera en escala a la deriva?; ¿existe un techo y de quién es propiedad?) no son las preguntas de la cibernética. El rechazo es condicional y la condición está impresa: si esas preguntas resultan responderse dentro de la cibernética sin añadir nada, la disciplina se disuelve en ella.
La teoría de sistemas dinámicos ya tiene condiciones de estabilidad; la segunda ley es un enunciado de estabilidad estándar.concedida
La matemática es prestada y no se reclama como nada más. Lo que se reclama es qué cantidades medibles portan la condición en sistemas construidos, y que pueden medirse. Si las variables se reducen a las estándar sin añadir nada bajo medición, la segunda ley es un cambio de etiqueta, y ésa es una condición de disolución impresa.
Las leyes de escala ya describen cómo crece la capacidad con los recursos.concedida, con una condición de refutación
La empiria de escala posee la capacidad frente a recursos externos. La variable aquí es la propia salida del sistema que vuelve a entrar. La concesión lleva su propia condición de refutación: si la profundidad recursiva se reduce, bajo medición, a cómputo gastado, entonces Recursive Dynamics es empiria de escala con otro nombre, y esta página lo dirá.
Las literaturas sobre la degradación por autoentrenamiento y sobre los modelos entrenados con sus propias salidas ya miden la deriva.deuda de lectura
Un vecino real, y posiblemente el dueño de la medición de la variable de deriva. Este programa no lo ha leído de cerca y no lo cita hasta hacerlo. Si posee la medición de la deriva, la contribución de la disciplina se estrecha a la relación corrección contra deriva, y la página se estrechará con ella.
La seguridad de la IA como campo ya cubre esto.rechazada
La seguridad de la IA es un área de problemas, no una ciencia de un bucle; toma prestado de cada vecino nombrado más arriba y no posee ninguno de sus objetos. Este campo es una propuesta de una de las ciencias de las que la seguridad se nutriría, del modo en que la termodinámica es una ciencia de la que se nutre la ingeniería. Qué lo cambiaría: un conjunto publicado de variables de estado y leyes para la automejora, con decisores, que ya estuviera bajo la bandera de la seguridad.
Los resultados de imposibilidad son prestados, no propios de la disciplina.concedida
Concedida y registrada en el registro de referencias: que el control externo falle a escala es heredado. La disciplina añade el requisito de diseño que la imposibilidad implica, corrección que supere en escala a la deriva desde dentro del bucle, en lugar de resignarse a ella.
La demarcación nunca probó el encaje; despachó a cada vecino con una frase.concedida, y respondida
Concedido para toda versión del artículo fundacional anterior a la 2.3, y para la primera versión de esta página. Respondido por el intento anterior, que aloja las preguntas en doce campos candidatos en sus propias variables, concede la Ley I a la teoría del crecimiento endógeno, la forma del ARC Ceiling a la teoría de colas y la forma de la Ley II a la teoría del umbral de error, imprime el mapa de disolución por anfitrión, y aísla el único acoplamiento que ningún anfitrión puede enunciar. Lo que lo cambiaría: un anfitrión que pueda enunciar el tope dependiente de clase acoplado al exponente de profundidad en sus propias variables, lo que pondría fin al campo por adopción y no por refutación.
Recursive Dynamics es la ARC Theory renombrada: las mismas tres leyes, el mismo autor, una palabra más amplia.rechazada, con una prueba
Concedido que el campo y su teoría fundacional comparten un autor, una fecha y un registro. Rechazado que sean el mismo objeto. La teoría son tres respuestas; el campo son las preguntas, las cinco variables de estado y los instrumentos que refutarían esas respuestas, y se define de modo que un lector que rechace las tres leyes y conserve la medición esté dentro de él, por el compromiso mínimo enunciado abajo. La prueba es la separabilidad, y el mapa de disolución abajo es donde ejecutarla: si ninguna pregunta, variable o instrumento de esta página sobrevive a la supresión de las leyes, la objeción es correcta, el campo es un reetiquetado, y esta página lo dirá.
- La supervisión escalable ya es el campo de los supervisores; esto es un rincón de ella. concedida en parte
- La literatura sobre la explosión de inteligencia lleva planteando estas preguntas desde 1965. concedida
- La evolución es el mejorador recursivo original y la dinámica evolutiva ya tiene su teoría. concedida en parte
- La física estadística ya tiene una teoría del escalado y la universalidad; esto es renormalización con nombres nuevos. concedida en parte
B · Rango: el campo no tiene resultados
La termodinámica tuvo muchas manos y un siglo de experimentos; esto tiene una sola persona y cero replicaciones.concedida
Concedida por completo, más arriba, antes de que ningún lector pudiera plantearla. El paralelo es sólo de forma; no se reclama rango, y los criterios de entrada de más abajo dicen qué lo ganaría.
Éstas no son leyes; son conjeturas de un modelo mínimo.concedida
Concedida. Son conjeturas con nombre, y el estatus viaja con el nombre en cada superficie. Ley es la convención de nombres de la disciplina para una relación que propone poner a prueba, no la afirmación de que la prueba se ha superado.
Carnot demostró su cota dentro de la memoria; el techo es un resultado condicional de modelo cuya premisa clave no está demostrada.concedida
Concedida, y la diferencia es exactamente por lo que el paralelo se confina a la forma. La premisa del techo, que un corrector de la misma clase está limitado a la tasa de independencia, es medible y está registrada, y el programa la nombra como el punto de fallo más probable de la conjetura.
- El propio número titular del programa fue retractado; ¿por qué confiar en el resto? concedida como hecho, rechazada como inferencia
- El apalancamiento de corrección gamma no ha sido medido por nadie; el número del ARC Ceiling es, por tanto, una conjetura. concedida
- El tratamiento de la profundidad en la derivación ha sido criticado por un lector externo. concedida, impresa como limitación
C · Método: puede que los instrumentos no midan lo que las leyes nombran
La independencia del sustrato es sólo la flexibilidad de las familias ajustadas.concedida
Concedido como el riesgo vivo. La prueba de la cuarta celda, una familia funcional que el corpus nunca ha ajustado, probada en dominios nunca ajustados, existe justamente para atrapar esto, y hasta que no se realice, la evidencia entre dominios se mantiene en rango exploratorio, con sus niveles nunca mezclados.
- Las cinco variables de estado son arbitrarias; ¿por qué no cuatro, o nueve? concedida como abierta
- El puente de constructos está abierto: puede que las cantidades que miden los estudios no sean los objetos que nombran los símbolos de las leyes. concedida, mantenida abierta en el registro
- Que los modelos puntúen a modelos es circular: el puntuador comparte los puntos ciegos del puntuado. concedida en parte; reducida, divulgada y medida, no abolida
- La propia escala de capacidad no está validada; una regla errónea vuelve errónea cada ley. concedida como dependencia
- La alternativa puntuada por el autor para el criterio humano es un autor calificando su propia teoría. concedida, con las salvaguardas impresas
- Los experimentos registrados tienen poca potencia o son demasiado pequeños para decidir nada. decidida por experimento, con los números impresos
- Los modelos de frontera cambian más deprisa de lo que pueden ejecutarse los experimentos; los resultados llegarán obsoletos. concedida en parte
D · El nombre, y el rango del autor
Nombrar una disciplina antes de la evidencia es una jugada de marketing.rechazada
Rechazada con el precedente impreso más arriba: la cibernética se nombró en el libro de 1948 que la proponía y la exobiología en 1960 antes de un solo espécimen. Un nombre hace que una propuesta sea citable y atacable como una unidad. La salvaguarda es la propia condición de refutación del nombre: si las pruebas decisorias matan las leyes, el nombre muere con ellas, en esta página.
Una sola persona no puede fundar un paradigma; los paradigmas los confieren las comunidades.concedida
Concedida. Lo que se reclama es un candidato: una manera propuesta de organizar las preguntas. Que llegue a ser el paradigma de alguien lo deciden la adopción y la replicación, dos de los cuatro criterios de entrada, y ninguno de los dos le corresponde declararlo al autor.
La expresión recursive dynamics ya está en uso en robótica.concedida
Concedida más abajo, bajo no confundir con: los recursive dynamics algorithms de la tradición de Featherstone son un referente distinto, una familia de métodos computacionales, y no se reclama prioridad alguna sobre la expresión frente a nadie.
- El autor no tiene institución, ni credencial, ni coautores. concedida como hecho; rechazada como argumento sobre la propuesta
- El trabajo se produjo con asistencia de IA; el campo es un artefacto de las herramientas. concedida en cuanto a las herramientas, rechazada en cuanto a la autoría de las ideas
E · Alcance: demasiado amplio, o demasiado estrecho
Demasiado amplio: cualquier sistema que se automejora incluye la propia ciencia, las economías, la evolución, así que el campo es o todo o nada.concedida en parte
Las leyes del campo se activan donde existe una cosa más estrecha: un corrector, algo que detecta y repara sus propios errores mientras el sistema crece. Una estrella tiene dinámica y ningún libro de deriva; allí no se está criando nada. La sección sobre lo que el campo no es traza la frontera. Qué lo cambiaría: que las leyes se sostuvieran sólo para un sustrato, lo que haría al campo estrecho en lugar de todo, y honesto al respecto.
- Demasiado estrecho: en realidad esto trata de bucles de modelos de lenguaje, disfrazado de ciencia general. concedida en parte; la prueba de la cuarta celda decide
- El campo confunde corrección con alineamiento, y capacidad con inteligencia. concedida como riesgo y respondida con definiciones
F · Momento y comunidad
- Es prematuro; esperen a los datos y después nombren el campo. rechazada; el nombre permite atacar la propuesta como una unidad antes de que lleguen los datos
- Un campo necesita primero una comunidad; un campo de uno es una afición. concedida en cuanto a una ciencia; rechazada en cuanto a una propuesta
- Nombrarlo invita a disputas de prioridad más que a ciencia. rechazada; cada antecedente se reconoce por su nombre y el ensamblaje está fechado
G · El concepto mismo
Como toda afirmación es condicional, en realidad no se afirma nada.rechazada
Los condicionales con antecedentes medibles son afirmaciones: prohíben resultados. El campo prohíbe que un sistema estable mantenga su exponente de crecimiento por encima del techo durante un tramo sostenido, un exponente de corrección de la misma clase medido por completo por encima de un medio, y una razón de clases de corrector clavada en uno donde el tope actúa. Cualquiera de ellos sería un resultado real en su contra.
- El cruce alpha_crit = 1/(1 − gamma) es una trivialidad del álgebra de leyes de potencia, no una ley. concedida en parte; las premisas, no el álgebra, son lo que ponen a prueba los experimentos
- El tope de la misma clase en un medio es un supuesto disfrazado de resultado. concedida; el objetivo de la medición del eclipse, con una refutación dura
- El modelo supone estacionariedad y separabilidad de deriva y corrección; los bucles reales no tienen ninguna de las dos. concedida en parte; la no separabilidad se mostraría como un desajuste, informado como límite del modelo
- La capacidad es multidimensional; una escala escalar tira la estructura. concedida como simplificación
- El techo ignora la economía: un laboratorio puede comprar corrección con dinero, no sólo con una mejor clase de corrector. concedida en parte; el dinero mueve el coeficiente, el techo trata de exponentes
- La cláusula de disolución es palabrería; nadie publica el final de su propio campo. rechazada con el registro en la mano: ya se han publicado finales más pequeños
H · Práctica, política y la altura del listón
Aunque las tres leyes se cumplan en modelos de lenguaje, eso es ingeniería de IA, no un campo.concedida como el listón exigente
Concedida, y es el listón correcto. Un campo necesita el cruce de sustrato: la misma estructura de exponentes en al menos un sistema no artificial. Por eso la prueba de la cuarta celda forma parte de la conjunción fundacional de abajo y no es un extra opcional.
- La corrección entre clases ya es práctica: conjuntos, verificadores, humanos en el bucle. concedida como práctica, rechazada como teoría; la práctica no ha medido el tope
- Si es verdad, es trivial. rechazada; las predicciones son arriesgadas y específicas, y cada una puede fallar
- No puede demostrarse falsa. rechazada; cuatro resultados de disolución, cada uno atado a un texto de registro redactado y fechado
- La relevancia política es prematura; hablar de reguladores es lavado de seguridad. concedida en cuanto al momento; el peso político sigue a los resultados, nunca a la formulación
I · Lo que aquí no queda respondido
- Puede haber objeciones que esta lista haya pasado por alto. concedida, por construcción; la lista se publica para que pueda ampliarse
Tres preguntas, respondidas concediendo primero
¿Es Recursive Dynamics una ciencia real?todavía no
Todavía no, según sus propios criterios. Es una disciplina propuesta: la afirmación de que una familia de preguntas sobre sistemas que se automejoran va junta, ofrecida con cinco variables de estado propuestas, tres leyes llevadas como conjeturas con nombre y con su estatus, instrumentos construidos antes de cualquier dato confirmatorio, y experimentos decisivos registrados, fechados y aún sin ejecutar. No existe replicación independiente y la disciplina lo dice en cada superficie que importa. Qué la convertiría en ciencia está escrito más abajo. El nombre tiene su propia condición de refutación: si las pruebas decisorias matan las leyes, el nombre muere con ellas, en esta página.
¿En qué se diferencia Recursive Dynamics de la cibernética?el bucle reescribe a su controlador
La cibernética posee la regulación, y eso se concede primero: un controlador diseñado mantiene una planta en una referencia, y el propósito del bucle se fija fuera de él. El bucle estudiado aquí es distinto en un aspecto que resulta importar: reescribe la propia capacidad del controlador, de modo que el corrector está hecho de la misma materia que aquello que corrige y comparte sus modos de fallo. Por eso las preguntas de la disciplina no son las de la cibernética: si la corrección debe superar en escala a la deriva para que el bucle siga siendo estable, si existe un techo a la velocidad a la que el bucle puede mejorar, y si ese techo es una propiedad de aquello de lo que está hecho el corrector. Si esas preguntas resultan responderse dentro de la cibernética sin añadir nada, Recursive Dynamics se disuelve en ella, y esa condición está impresa.
¿Qué haría fracasar a Recursive Dynamics?cuatro resultados
Cuatro resultados, cualquiera de los cuales la hiere y los cuatro juntos acaban con ella: ningún régimen donde la corrección supere en escala a la deriva; la razón de clases de corrector manteniéndose exactamente en 1,00 con intervalos estrechos dondequiera que el tope debería actuar; ningún máximo interior ni comportamiento de techo en la titulación de la escala; las familias entre dominios fallando la prueba de la cuarta celda. Cada uno es un experimento registrado con su análisis escrito antes de que existan los datos y con su nulo perteneciente a la visión rival; la disciplina se compromete a publicar su propio final bajo su propio nombre.
Independencia del sustrato, en su rango honesto
A las leyes del campo no debe importarles de qué están hechos sus sistemas, y el trabajo entre dominios del programa apunta en esa dirección en rango exploratorio, informado sin mezclar nunca sus niveles: familias funcionales predichas a lo largo de un conjunto de cincuenta dominios (19 de 25 coincidencias empíricas bajo el conjunto de candidatos original, 18 de 25 bajo la repetición corregida con siete modelos, divulgado por completo; 13 de 13 en filas publicadas directamente); una extensión de doce dominios con manifiesto bloqueado (10 de 12, p = 5,4e-4, autodegradada a ensayo piloto en seco en trece minutos en el historial público de commits); comprobaciones temporales fuera de muestra (4 confirmadas, 2 parciales, 1 inconsistente, la inconsistencia informada con la misma prominencia que las confirmaciones). Nada de esto es confirmación. La prueba registrada de la cuarta celda, la familia logarítmica que el corpus nunca ha ajustado, en dominios nunca ajustados, existe para sorprender al programa halagándose a sí mismo, y las convergencias con tradiciones más antiguas se catalogan aparte bajo una regla permanente: la convergencia es evidencia de naturalidad, nunca de verdad.
Instrumentos
Un campo son sus instrumentos antes que sus resultados. El campo se distribuye con cuatro instrumentos, construidos antes de que existiera dato confirmatorio alguno. Primero, la escalera de capacidad calibrada. Segundo, una pila de puntuación cegada: toda salida se lava para que ningún puntuador pueda decir qué la produjo, y el nulo se calcula a través de la tubería idéntica con las etiquetas aleatorizadas, de modo que el nulo del experimento decisivo se impone estructuralmente en lugar de ajustarse. Tercero, código estimador fijado por hash y sellado por fixtures, con cada rama de veredicto registrada portando una prueba de verdad plantada que el código debe superar antes de que se distribuya nada. Cuarto, una cláusula de defectos registrada: la especificación, no el código, es el análisis, de modo que un error de programación posterior al registro es una reparación divulgada sobre los términos registrados en lugar de un estudio muerto.
Los experimentos decisorios
Tres estudios registrados deciden las tres leyes. Sus hipótesis nulas pertenecen a los rivales, sus cifras están calculadas e impresas en los registros, y sus resultados son publicables en términos idénticos caigan como caigan. Los tres están redactados, fechados y a la espera de envío humano; ningún carril, herramienta ni agente envía nada a ninguna parte. Los protocolos en sí están completos: cualquier laboratorio independiente puede ejecutarlos hoy sin pedir permiso a nadie, y lo que espera la mano del autor es únicamente el acto de registro.
La carrera corrección contra deriva decide la Ley II: ¿supera la autocorrección en escala a la deriva, en algún sitio? Un sí duradero es el primer resultado de existencia del campo, su experimento de Joule: la primera demostración de que el efecto existe siquiera. Un no universal deja a la Ley II sin sujeto.
La razón de clases de corrector, la medición del eclipse, decide el mecanismo de la Law III. Agrupe pares de correctores de la misma clase y de clase cruzada, lávelo todo y fuerce el nulo: si no importa de qué está hecho un corrector, la razón de los exponentes de corrección es exactamente 1,00 por construcción. Ese nulo es la respuesta del rival, no la de este programa. El mecanismo del programa predice una razón duradera por encima de 1,00 donde el tope actúa, y ése es el descubrimiento a su favor; duraderamente por debajo de 1,00 invierte el mecanismo y acaba con la afirmación tal como fue derivada; un 1,00 que se mantiene firme en todas partes, incluso donde el tope debería actuar, retira la propia distinción de clases. Una refutación independiente y dura viaja al lado: cualquier par de la misma clase cuyo intervalo de gamma esté por completo por encima de un medio mata el tope con independencia de la razón.
La titulación de la escala de capacidad decide la firma conductual del techo: un máximo interior del exponente de crecimiento en o por debajo de dos a lo largo de un rango de niveles de reinversión, bajo una regla de dos etapas condicionada por replicación en la que una única celda contraejemplo, replicada, rechaza el ARC Bound de plano.
Una rejilla de seguimiento registrada extiende la razón a cada par ordenado de familias de modelos, localizando dónde vive el efecto de clase; y una sonda de mecanismo, fallo correlacionado sobre sustrato compartido, mide directamente la correlación de errores que la derivación postula, de modo que la razón y su mecanismo deben concordar o su tensión es en sí misma un hallazgo registrado.
Tres pruebas más están propuestas y no registradas, y la página las marca para que ningún lector las cuente como predicciones: que la razón crezca con la carga, lo que separaría un mecanismo de una diferencia estática; que un corrector de otra clase desplace hacia arriba el máximo de la titulación, enlazando las Leyes II y III a través de la palanca de clase; y que un solo sistema cruce la frontera de estabilidad al girar su dial de reinversión. Ninguna es una predicción del campo hasta que un registro la lleve.
Qué disolvería el campo
Una ciencia propuesta debe decir qué desharía su propuesta.
- Si la carrera corrección contra deriva no encuentra ningún régimen donde la corrección supere en escala a la deriva, la Law II no tiene objeto.
- Si la razón de clases de corrector se mantiene en 1,00 con intervalos estrechos dondequiera que el tope debería actuar, el mecanismo distintivo del campo está muerto y sus restos pertenecen a la empiria ordinaria de escala.
- Si la titulación de la escala no encuentra máximo interior ni comportamiento de techo, la imposibilidad central se disuelve.
- Si las familias entre dominios fallan la prueba de la cuarta celda, la independencia del sustrato era un artefacto de la flexibilidad de las familias.
El mapa de disolución por anfitrión. Si la conjunción fundacional fracasa, las partes no desaparecen; vuelven a casa. La Ley I regresa a la teoría del crecimiento endógeno como exponente de producción de conocimiento; la Ley II al control adaptativo y a la teoría del umbral de error como condición de tasa; el ARC Ceiling a la teoría de colas como condición de estabilidad acoplada al crecimiento; el resultado del tope de clase, caiga como caiga, se publica en supervisión escalable; los instrumentos y los experimentos son aprendizaje automático; las familias entre dominios, si sobreviven, son física estadística. La muerte del campo no deja huérfano a nadie, y eso es lo que hace la muerte publicable.
Cualquiera de esas muertes hiere al campo; las cuatro acaban con él, y esta página se compromete a publicar ese final aquí, bajo este nombre.
La propia condición de refutación del nombre
Un nombre propuesto antes que sus pruebas debe poder morir con ellas, y el registro debe poder decir cuál muerte fue. Una ley que falle en su forma enunciada mata a esa ley y a la teoría que la enunció; el campo lleva la forma corregida, o ninguna, según lo permita el registro, y un lector que rechace las tres leyes y conserve la medición sigue estando dentro de él, por el compromiso mínimo enunciado abajo. El nombre mismo muere cuando desaparece el objeto: si la razón de clases de corrector se mantiene en 1,00 con intervalos estrechos dondequiera que el tope debería actuar, el mecanismo distintivo está muerto, el residuo que ningún anfitrión puede enunciar ha resultado vacío, cada pieza vuelve a su anfitrión por el mapa de disolución de arriba, y esta página lo dirá en lugar de desaparecer en silencio. Si las leyes sobreviven a sus pruebas registradas y se sostienen fuera de los dominios que las plantearon, el nombre se ha ganado su generalidad. En cualquier caso decide el registro, no el nombre. Las condiciones viven en el panel de falsación; las pruebas no necesitan permiso para ejecutarse.
Qué lo convertiría en ciencia
Nombrar un campo no lo crea. Los criterios de entrada que esta propuesta aún no ha cumplido, en público: al menos un experimento decisivo que devuelva su dirección predicha bajo su análisis registrado; replicación independiente por manos que no sean las del autor, que es por lo que cada instrumento, semilla, calendario y umbral se entrega abiertamente bajo una invitación permanente a ejecutar la prueba que podría refutarlo; uso de las variables de estado por parte de desconocidos porque las necesitaban; y un rastro de auditoría superado, del que el registro del programa de retractaciones públicas, autodegradaciones con resolución de minutos, lecturas frías adversariales y limitaciones impresas se ofrece como el estándar que sus afirmaciones futuras aceptan.
Un resultado que cualquier campo antiguo pudiera enunciar en sus propias variables confirma un capítulo de ese campo. Un campo solo se confirma por una conjunción que ninguno de sus vecinos puede expresar, y el artículo fundacional la enuncia una vez: un régimen en el que la corrección escala por encima de la deriva; una razón de clases de corrector sostenidamente por encima de 1,00 con el tope de un medio para correctores de la misma clase; un máximo interior del exponente de crecimiento en dos o menos; la misma estructura de exponentes en al menos un sustrato no artificial; y al menos uno de estos replicado por extraños. Cada uno por separado es un hallazgo en el vocabulario de un campo antiguo. La conjunción no lo es, y ese es el sentido exacto en que los resultados confirmarían un área nueva y no un capítulo nuevo.
Sobre la palabra paradigma, y por qué esta página la retiene
Un paradigma, en sentido estricto, lo confiere una comunidad al adoptar un ejemplar compartido. Nadie tiene un paradigma de uno solo, y nadie ha fundado nunca uno anunciándolo; se convierte en paradigma cuando otras personas empiezan a trabajar dentro de él. Así que el enunciado preciso y defendible es que esto es un candidato: un campo propuesto con su objeto, sus variables, sus cotas, sus instrumentos y sus decisores en su sitio, cuyo rango no le corresponde declarar al autor. Lo deciden la replicación, la adopción y los tres experimentos registrados. Reclamar la palabra mayor como hecho presente es el único movimiento que convertiría una propuesta cuidadosa en la firma de un chiflado, y por eso el artículo fundacional fija el campo en la etapa de Carnot y enumera los criterios de entrada que aún no ha cumplido.
Siga diciendo lo más pequeño y más verdadero, y deje que los experimentos hagan lo más grande, o lo entierren.
Qué aporta, si se sostiene
Los campos se ganan la adopción cuando los desconocidos pueden calcular con ellos. Si las leyes sobreviven a sus decisores, lo siguiente se convierte en cálculos y no en debates: dada una gamma medida para una clase de corrector, el exponente máximo de crecimiento sostenible de cualquier sistema que supervise se sigue del ARC Ceiling; dada una deriva medida, la tasa de corrección requerida se sigue de la Ley II; las arquitecturas de supervisión adquieren una hoja de especificación, la clase de composición del corrector, su gamma medida, su techo implícito, del mismo modo que los motores adquirieron calificaciones de eficiencia; y la pregunta de seguridad «¿puede la supervisión seguir el ritmo?» se convierte, por primera vez, en una comparación empírica de parámetros y no en un argumento de escenario. Todo en este párrafo está condicionado a resultados que aún no existen, y por ese motivo se escribe en condicional.
Cómo puede mejorarse la propia disciplina: problemas abiertos como invitaciones
- Replicación independiente es el primer hito de la disciplina y no ha ocurrido. Cada instrumento, semilla, calendario y umbral está publicado para que cualquiera pueda ejecutar la prueba que podría refutarla; la primera replicación por manos que no sean las del autor cambia el estatus de la disciplina más que cualquier resultado que el autor pudiera producir.
- El exponente de corrección gamma nunca se ha medido, por nadie. El número del techo depende de él. Su medición, bajo puntuación cegada con el nulo forzado por aleatorización de etiquetas, es la medición abierta de mayores consecuencias en la disciplina.
- El puente de constructos está abierto: si las cantidades que miden los estudios registrados son los mismos objetos que los símbolos de las leyes se mantiene como pregunta en el registro, no se da por supuesto.
- La independencia del sustrato está en rango exploratorio, y la prueba de la cuarta celda (una familia funcional que el corpus nunca ha ajustado, en dominios nunca ajustados) existe para sorprender a la disciplina halagándose a sí misma. Ejecutarla es una invitación.
- Las cinco variables de estado son una propuesta. Si cinco bastan, si son las cinco correctas, y si alguna se reduce a otra bajo medición, es parte de lo que la disciplina debe demostrar.
- El tratamiento de la profundidad en el techo tiene una crítica impresa de un lector externo. Se lleva como limitación, y se busca un tratamiento que la sobreviva.
- El lado de la deriva tiene vecinos que la disciplina aún no ha leído de cerca: las literaturas sobre la degradación por autoentrenamiento y sobre los modelos entrenados con sus propias salidas miden algo parecido a la variable de deriva directamente. Se nombran aquí como deuda de lectura, no como cita, bajo la regla de que nada se cita antes de leerse.
- La disciplina de escala necesita instrumentos más allá de una sola escala. Una puntuación acotada pasada por una aritmética no acotada vuelve las leyes inenunciables; la disciplina ha corregido un ejemplo así en su propio registro de notación y necesita el hábito de etiquetar la familia en cada superficie.
Deudas, reconocidas por su nombre
Este campo se ensambla a partir de deudas recogidas en el registro de antecedentes del programa y reconocidas por completo: la línea de imposibilidad de la investigación sobre el control de la IA, a la que este campo añade el requisito de diseño que la imposibilidad implica en lugar de la resignación; los límites de red de transporte de la escala biológica, reconocidos como premisa, a los que este campo añade el límite interno de reemplazo que opera cuando arreglar la tubería ya no arregla el crecimiento; la cuestión de la explosión de inteligencia tal como la plantearon sus dueños con nombre, a la que este campo propone las variables de estado que faltan; y la matemática de las ecuaciones funcionales, la maquinaria, nunca reclamada. Lo que se reclama como original es el ensamblaje: el bucle como objeto nativo, la disciplina de escala como método fundacional, las cotas como leyes, la clase del corrector como palanca y los instrumentos registrados para decidir todo ello.
Por qué nombrarlo antes del veredicto
Porque es entonces cuando se nombran los campos. Wiener nombró la cibernética en el libro de 1948 que la proponía, antes de que hubiera un campo al que atar el nombre. Lederberg acuñó la exobiología en 1960, antes de un solo espécimen. El nombre de un campo no es un trofeo que se concede tras la confirmación; es el instrumento que hace que una propuesta sea citable, atacable y comprobable como una unidad. Nombrar pronto es la práctica ordinaria. Afirmar que el nombre demuestra algo sería el error, y esta página no lo comete.
No la probé primero. La dije primero, en un documento que cualquiera puede datar, y después construí los instrumentos para poner a prueba si es cierta.
Lo que el campo no es, y el compromiso mínimo
El campo no es un pronóstico de cuándo las máquinas superarán a las personas, ni una teoría de la inteligencia, ni una ética, ni una teoría del todo, ni una afirmación sobre la conciencia. Sus leyes se activan donde existe un corrector dentro de un sistema que crece y se desactivan donde no lo hay; las jerarquías compuestas a las que atañe su matemática de escala, estrellas incluidas, se califican como correspondencia de forma y nada más. La coda especulativa del programa sobre la recursión a escala cosmológica queda fuera del campo; un lector puede rechazarla por completo y no perder nada aquí.
El compromiso mínimo requerido para trabajar en el campo es pequeño, y está enunciado de modo que se pueda rechazar: que el bucle de automejora es un objeto legítimo de medición, con cantidades que pueden definirse, instrumentos que pueden medirlas, y relaciones que se pueden mostrar erróneas. Si acepta eso y rechaza las tres leyes, está dentro del campo; si acepta las leyes y se niega a la medición, no lo está.
No confundir con
La robótica lleva mucho tiempo usando la expresión “recursive dynamics algorithms” para los métodos computacionales que propagan fuerzas a lo largo de cuerpos articulados, la tradición de Featherstone; eso es una familia de algoritmos, un referente completamente distinto, y no se reclama prioridad alguna sobre la expresión como palabras frente a ella ni frente a nadie. Tampoco es esto la teoría de la recursión, la matemática de la computabilidad; ni los sistemas dinámicos en general, la matemática madre. Y es distinto de Recursive Creation, la coda especulativa de la finca, mantenida aparte del argumento a propósito.
Ejecute la prueba que podría refutarlo
Cada instrumento, semilla, calendario y umbral de esta finca se entrega abiertamente, y una ejecución independiente prevalece sobre la del propio programa. Si quiere saber si algo de esto es real, la ruta más corta no es sopesar el argumento sino ejecutar la medición: la página “Ejecútalo tú mismo” enumera lo que puede ejecutarse hoy sin permiso, lo que haría falta para refutar cada afirmación, y dónde queda registrado un resultado, en cualquiera de las dos direcciones.
Dónde vive el campo en esta finca
- La declaración, en la página de inicio
- La ARC Theory, la teoría fundacional, las leyes al completo
- Las leyes en palabras llanas, en el recorrido
- El Eden Protocol, el ala aplicada
- La espina de notación, qué significa cada símbolo
- El panel de falsación, las condiciones de fallo
- El registro fechado de predicciones
- Estado de las afirmaciones, cada afirmación calificada
- El glosario, cada concepto con nombre
- Correcciones, publicadas contra mí mismo
- El catálogo, donde aterriza el artículo fundacional
- Ejecútalo tú mismo, la vía de entrada para un escéptico
¿Un error de traducción? Infórmalo directamente:
