Claude elevó al 67.2% la proporción demostrada de ceros de zeta en la línea crítica — y el método importa más que la cifra

El 10 de agosto, Anthropic publicó una nota de investigación cuyo autor es un modelo de lenguaje de gran tamaño. El resultado: al menos el 67.2% de los ceros no triviales de la función zeta de Riemann se encuentran en la línea crítica Re(s) = 1/2. Incondicionalmente. El récord demostrado anterior era del 41.6% (5/12), una cifra que había sobrevivido cuatro décadas de refinamientos del método de Levinson.

Claude no demostró la hipótesis de Riemann. El propio artículo lo dice, dos veces. Lo que hizo —y aquí conviene detenerse— fue convertir un 67% condicional en un 67% incondicional mediante un método genuinamente nuevo: sin estimaciones de densidad de ceros, sin región libre de ceros y sin mollifier. El insumo aritmético es exactamente la evaluación de Montgomery, del lado de los primos, del segundo momento de correlación de pares con ancho de banda ≤ 1, que es incondicional desde 1973. Todo lo que antes exigía RH para poder interpretarse ha sido reemplazado por álgebra lineal sobre una matriz finita.

Por qué esta cifra tiene peso

La hipótesis de Riemann afirma que todo cero no trivial tiene parte real exactamente igual a 1/2. Sigue sin demostrarse desde 1859; es uno de los Problemas del Milenio de Clay, con una recompensa de un millón de dólares. Los resultados parciales son cotas inferiores sobre la fracción de ceros que están en la línea, y vale la pena exponer íntegramente su trayectoria:

Hardy (1914): infinitos ceros en la línea.
Selberg (1942): una proporción positiva.
Levinson (1974): al menos 1/3, mediante el método del mollifier.
Conrey (1989): 2/5, refinando a Levinson.
Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler: 5/12, el récord vigente hasta esta semana.

Todos los números de esa lista proceden de la misma familia de técnicas: el método de Levinson y sus descendientes. El nuevo 2/3 no. Procede del conjunto de ideas de correlación de pares de Montgomery, que antes solo podía utilizarse condicionalmente a RH. Es una ruptura estructural, no un incremento: es la primera vez que las «consecuencias de la correlación de pares condicionadas a RH» se separan de la propia RH con esta intensidad.

El número 2/3 tiene su propia historia. En 1973, Montgomery demostró que, bajo RH, al menos 2/3 de los ceros son simples (más tarde Goldston y otros elevaron la cifra al 67.9%). El 2/3 de aquí es la misma constante, ahora incondicional, pero para ceros en la línea y contados como ceros distintos, no como «simples» en el sentido de Montgomery. La distinción importa: N₀* cuenta los ceros distintos en la línea crítica, así que las multiplicidades no juegan en tu contra. El artículo también demuestra que al menos 5/6 de todos los ceros son distintos, algo que se deduce de la misma maquinaria.

Hay otros dos puntos estructurales. Primero, el teorema trata de rangos diádicos [T, 2T] con un error o(1); el límite inferior cuando T→∞ es al menos 2/3, y el artículo informa que la proporción para T finito queda por debajo de su límite porque la convergencia es lenta (su Observación 5.9). Segundo, el método no está atascado en 2/3: con la ventana óptima de Montgomery–Taylor, la constante pasa a ser 0.67250…, exactamente la constante de Montgomery–Taylor condicionada a RH. El 2/3 es la formulación limpia; el método puede obtener algo ligeramente mejor sin coste adicional.

Un motor diferente

Aquí es donde el resultado deja de ser un récord y se convierte en una técnica. La fórmula explícita de Weil transforma una afirmación de positividad sobre funciones de prueba en una afirmación sobre ceros: el funcional cuadrático asociado es semidefinido positivo si y solo si RH es cierta. Esa equivalencia es a la vez la fuerza y la trampa: todas las rutas ingenuas de «demostrar RH mediante positividad» mueren ahí, y el agente coordinador de Claude informa de que, en la sesión anterior con mil agentes, el primer paso sustantivo de todas las rutas propuestas resultó ser la positividad de Weil o un equivalente disfrazado.

El truco consiste en dejar de preguntar por toda la forma de dimensión infinita. Claude restringe el emparejamiento a un espacio de dimensión finita de funciones de prueba —un «sistema de Gabor» de ventanas moduladas, con d ≈ λN(T,2T) funciones— y analiza la matriz real simétrica finita resultante. Ahora:

los ceros en la línea crítica contribuyen bloques semidefinidos positivos de rango uno;
los ceros fuera de la línea se emparejan como {ρ, 1−ρ̄} por la ecuación funcional y contribuyen bloques indefinidos (1,1): una signatura de espacio de Kreĭn, no de espacio de Hilbert;
la ley de inercia de Sylvester acota la signatura de la forma completa;
una desigualdad de rango–traza, demostrada mediante la desigualdad de traza de von Neumann, conecta la signatura con momentos de traza computables;
las trazas mismas se evalúan incondicionalmente a partir de los primos hasta X = (T/2π)^λ mediante Montgomery–Vaughan.

El lado de los ceros y el lado de los primos se emparejan mediante una identidad de sumación de Poisson que proporciona exactamente el núcleo de muestreo, sin aliasing. Numéricamente, ambos lados coinciden con una precisión de 10⁻⁸ para alturas pequeñas. El paso más importante es conceptual: clásicamente se necesitaba RH para leer el lado de los ceros como una suma positiva sobre ordenadas reales. Aquí, la indefinición de los pares fuera de la línea es absorbida por el álgebra lineal: nunca hace falta saber cuánto se aleja un cero de la línea, solo que su bloque (1,1) está acotado en rango. El índice negativo se trata mediante el teorema de inercia, en lugar de hacerse desaparecer con una hipótesis no demostrada.

Por eso también hay que citar como antecedente correcto el artículo de Bombieri de 2000, «Remarks on Weil’s quadratic functional in the theory of prime numbers, I»: estudió las truncaciones finitas de la forma de Weil y demostró que, si RH falla con solo un número finito de ceros problemáticos, el número de autovalores negativos de una truncación suficientemente grande equivale a la mitad del número de ceros problemáticos. La signatura de la compresión finita codifica cómo falla RH. La contribución de Claude consiste en mostrar que se puede extraer el recuento de ceros en la línea a partir de esa signatura sin resolver jamás cuáles son los ceros fuera de la línea.

Lo que no dice y dónde está el techo

El artículo es inusualmente explícito sobre sus límites. Ningún certificado de este tipo puede superar 0.68185: la información del primer y segundo momento con ancho de banda λ ≤ 1 tiene un techo rígido, y λ ≤ 1 es esencial para el argumento (más allá de ese valor se necesita información que el lado incondicional de los primos no proporciona). Alcanzar 0.70/0.80/0.90 exigiría que el soporte de correlación de pares llegara aproximadamente a 1.04/1.26/1.70, lo que significa un insumo aritmético genuinamente nuevo, no un álgebra lineal más ingeniosa.

Así que la lectura honesta es esta: no es un paso hacia la demostración de RH, y los autores no afirman que lo sea. Es un paso hacia el proyecto anterior y posiblemente más tratable de hacer incondicionales las «consecuencias de RH», siguiendo el espíritu de lo que Bombieri y otros han hecho con los primos en intervalos cortos. Y demuestra que la maquinaria de correlación de pares, una vez liberada de RH, es más potente que la maquinaria de mollifiers para esta tarea concreta.

La sesión de 54 horas que lo hizo posible

El apéndice es la lectura más interesante y debería leerse como un artículo sobre el flujo de trabajo, no como una anécdota. Un agente coordinador ejecutó unos 60 subagentes aislados durante un día y medio: 2.400 comandos de shell, cientos de scripts de Python y 31 millones de tokens de salida. El coordinador hizo muy poca matemática por sí mismo; su función fue orientar, clasificar y verificar.

Dos subagentes produjeron las ideas clave. E2 demostró que la ruta del índice negativo estaba vacía —el índice negativo finito honesto es idénticamente cero— y después invirtió la idea: acotó inferiormente el índice positivo a partir de las trazas del lado de los primos para afirmar que al menos la mitad de los ceros están en la línea. E2-pairs pasó 91 minutos pensando, ejecutó experimentos numéricos que contradecían su propio encargo y escribió el lema de rango–traza que elevó 1/2 a 2/3. Cuatro minutos después de escribirlo, un fallo de infraestructura terminó la ejecución a mitad de una frase. El coordinador leyó el directorio del agente muerto, reconoció el resultado como «lo más importante que había ocurrido esa noche», comprobó línea por línea la demostración de cinco líneas y reanudó el mismo agente con una lista de verificación.

Hay varios aspectos destacables en la forma en que funcionó. Las dos predicciones creativas del propio coordinador fueron erróneas —orientó el mecanismo en la dirección equivocada en el paso de un medio y dio una palanca de recuperación incorrecta en el paso de dos tercios—, mientras que su arquitectura de árbitros se mantuvo firme. Los subagentes estaban deliberadamente aislados: no podían ver la conversación ni a los demás, lo que mantuvo independientes sus errores y dio sentido a la revisión adversarial. Y la contribución humana consistió en un puñado de indicaciones de una línea: «Reanuda tu trabajo», «Llévalo a 2/3», «Sigue». Claude se subestimó al principio; la persistencia vino de fuera.

El protocolo de verificación es el verdadero hallazgo

Aquí es donde el resultado importa más allá de la teoría de números. El problema de confianza de las matemáticas hechas por IA no es «¿puede un modelo encontrar una demostración?», sino «¿por qué debería creerle alguien?». El flujo de trabajo de aquí ofrece una plantilla para responder:

Agentes árbitros hostiles y ciegos, cada uno asignado a una laguna distinta y a un plan de ataque, con la prohibición de leerse entre sí. Encontraron un error real —una premisa falsa sobre la matriz de masas— y propusieron la reparación que acabó en el artículo. Un bucle adversarial detectó una alucinación; eso demuestra que el sistema funciona.
Un agente de redemostración ciega que probó el resultado sin leer la demostración, junto con casos de control en los que se sabe que RH falla. Ambas son formas baratas de reproducibilidad.
Un agente bibliográfico que descargó 54 artículos de arXiv para comprobar la novedad; el coordinador se negó explícitamente a confiar en su propia memoria.
Una formalización en Lean 4 / Mathlib de los teoremas A–E, sin sorry, que depende únicamente de los tres axiomas estándar (propext, Classical.choice, Quot.sound). Incluye la fórmula explícita de Weil, el conteo de Riemann–von Mangoldt, las estimaciones de Stirling, Chebyshev–Mertens y Montgomery–Vaughan: también se formalizó el andamiaje analítico, no solo el teorema principal.
Expertos humanos: los matemáticos internos de Anthropic Levent Alpöge y Ralph Furman lo validaron; los expertos externos Brian Conrey y Dan Goldston lo examinaron con muy poca antelación.

Las propias reservas del coordinador son la parte más instructiva. «No te estoy diciendo que la mitad de los ceros estén en la línea. Te estoy diciendo que un agente produjo un argumento con esa conclusión». «El resultado necesita a un experto humano». El veredicto del borrador final: «El próximo lector debe ser una persona».

Esa es la división correcta del trabajo, y vale la pena nombrarla: la generación y la ejecución se pueden paralelizar; la verificación es estratificada y adversarial; la formalización es la fuente de verdad; el juicio sigue en manos de las personas. El error que detectaron los árbitros es precisamente la razón de ser del flujo: que un modelo genere una demostración plausible es el caso exacto en el que un lector acrítico se quema.

Las salvedades honestas

Esto es un artefacto de investigación en fase de preprint, publicado la misma semana en que fue escrito. La propia nota para expertos señala términos de error no desarrollados (colas O(T^δ log T) y O(T^{1/2−2δ}) esbozadas en lugar de detalladas por completo). La formalización en Lean es un artefacto de investigación estático, no una biblioteca mantenida. Y los comportamientos observados a nivel de sesión —un coordinador cuyas predicciones fueron erróneas dos veces, un agente que necesitó que un fallo de infraestructura hiciera visible su trabajo— todavía no constituyen un proceso reproducible; son un dato sobre lo que este flujo puede producir cuando funciona.

Las matemáticas se han comprobado con más rigor que la mayoría de los preprints: una demostración en Lean verificada por máquina, un circuito adversarial de árbitros y dos lecturas independientes de expertos. El juicio final sigue correspondiendo a la comunidad, como debe ser. Pero la forma del resultado —un teorema generado por IA, verificado formalmente y revisado por expertos, cuyo método se vincula honestamente con sus predecesores Bombieri y Montgomery— es nueva. El 67.2% es la parte menos sorprendente del anuncio.