Claude amplía de ocho a nueve bucles el cálculo de una amplitud, según Anthropic

Anthropic ha informado de un cálculo a nueve bucles realizado por Claude. El resultado publicado anteriormente para esta amplitud terminaba en ocho bucles. Eso supone un orden más en el desarrollo perturbativo, y cada orden adicional resulta notablemente más costoso que el anterior. El texto al que hemos tenido acceso no incluye detalles del cálculo en sí. Lo que sí existe es un extenso análisis en Habr, cuyo autor convirtió la noticia en un experimento práctico sobre el control del código científico escrito por una IA.

Qué significa «nueve bucles»

En la teoría cuántica de campos, la precisión de una predicción se aumenta orden a orden en la teoría de perturbaciones. Cada orden corresponde a un bucle en los diagramas de Feynman. Con cada bucle nuevo crecen el número de diagramas, la dimensión de las integrales y el volumen del álgebra. En términos de esfuerzo, pasar de ocho a nueve bucles no tiene comparación con pasar de uno a dos.

Es una tarea difícil tanto para las personas como para el código. Un error en un signo, en un factor de simetría o en la cancelación de divergencias se esconde con facilidad entre miles de términos. Por eso, la afirmación «el modelo ha calculado nueve bucles» no dice nada sobre la fiabilidad del resultado mientras no se describa el esquema de verificación. El resumen de Habr no incluye el cálculo ni su verificación, de modo que la confirmación independiente de la publicación habrá que esperarla por separado.

El trabajo de fin de carrera sobre grafeno como campo de pruebas

El autor del análisis no se limitó a parafrasear la nota de prensa. Con ayuda de una IA reconstruyó los cálculos de su trabajo de fin de carrera sobre grafeno y encontró un error que había quedado tras la defensa. Es el episodio más valioso del material: aquí la IA actuó como revisora de un trabajo humano antiguo.

De este episodio el autor pasa a un método que denomina descomposición por procesos. El cálculo se divide en etapas, y para cada una se definen:

• entradas y salidas;
• contratos: qué debe garantizar exactamente la etapa;
• comprobaciones independientes del resultado por otra vía;
• comprobaciones de las propias comprobaciones;
• defectos introducidos deliberadamente, para asegurarse de que el control los detecta.

El último punto se parece a las pruebas de mutación en ingeniería de software. Si el control no detectó un error introducido a propósito, no se puede confiar en su estado «verde».

Qué contiene el material

• Resultado declarado: cálculo de la amplitud a 9 bucles frente a 8 en la publicación anterior.
• Volumen: 95 ilustraciones, algunas de ellas animaciones.
• Código: el código completo en Python y 7 experimentos reproducibles.
• Recorrido de la exposición: desde la ecuación de Schrödinger y un bucle hasta los métodos bootstrap y los símbolos (symbols).
• Concepto: el «pictorialismo cuántico» como posible base del código científico para la teoría cuántica.
• Hecho comprobado: se encontró un error en el trabajo de fin de carrera que había sobrevivido a la defensa.

El autor presenta el penúltimo punto como una hipótesis, no como un estándar establecido. Propone el lenguaje diagramático como una estructura en la que el código resulta más fácil de leer y verificar.

Cómo adoptar el enfoque

Si delega en una IA cálculos, simulaciones o código analítico, empiece por tres pasos:

1. Divida la tarea en etapas y fije por escrito un contrato para cada una: entradas admisibles, forma de las salidas, invariantes. 2. Para cada etapa, establezca al menos una comprobación por otra vía: un caso límite conocido, un cálculo numérico frente a uno analítico, la comparación con un valor publicado. 3. En cada ciclo, introduzca en el código un defecto deliberado y compruebe si las pruebas lo detectan. Si no lo hacen, hay que reescribir las comprobaciones.

Y una advertencia aparte: evalúe cualquier afirmación sobre «N bucles», o sobre cualquier otro récord, según estén publicados el código, los contratos y los métodos de verificación independiente. Sin ellos, por ahora es el anuncio de un resultado, no el resultado en sí.