Investigación en IA
Anthropic afirma que Claude elevó al 67,2% un límite inferior de los ceros zeta de Riemann
Un Claude de investigación no resolvió la hipótesis de Riemann, pero produjo un resultado verificable formalmente sobre la proporción conocida de ceros zeta en la línea crítica.
Anthropic afirma que una versión de investigación inédita de Claude mejoró un límite histórico de teoría analítica de números, elevando del 41,6% al 67,2% la proporción conocida de ceros de la función zeta de Riemann en la línea crítica. El resultado llegó tras pedirle un empleado que intentara seriamente la hipótesis de Riemann. Claude no resolvió el famoso problema abierto y la empresa dice que sus técnicas no deberían producir tal prueba.
La hipótesis de 1859 trata la posición de los ceros no triviales de zeta y está muy ligada a la distribución de primos. Afirma que todos caen sobre una línea vertical del plano complejo. No se ha demostrado ni refutado, pero sí se ha establecido una proporción mínima en la línea. Antes del resultado descrito, el límite publicado era del 41,6%.
Claude aprovechó décadas de matemáticas existentes. Anthropic dice que combinó trabajos recientes de Siegfred Alan Baluyot, Daniel Goldston, Ade Irma Suriajaya y Caroline Turnage-Butterbaugh con un artículo de Enrico Bombieri de 2000. Usó una forma cuadrática inducida por André Weil y subespacios definidos positivos y negativos vinculados a ceros dentro y fuera de la línea, derivando una desigualdad de rango de datos de primer y segundo momento.
La verificación es esencial. Dos matemáticos de Anthropic estudiaron y validaron el artículo y prepararon una nota para especialistas; Brian Conrey y Daniel Goldston también lo examinaron con poco plazo. Claude produjo en Lean una prueba formalmente verificable, para que un asistente comprobara su lógica y no depender solo de prosa convincente. Artículo, nota, apéndice y formalización se publicaron con el anuncio.
El cálculo fue considerable: el modelo trabajó en dos sesiones de Claude Code y generó 31 millones de tokens de salida. Descompuso el problema, exploró trabajos previos y revisó su enfoque durante una ejecución prolongada. No fue un chatbot común respondiendo un prompt, sino un proceso costoso con herramientas, gran contexto y posterior revisión matemática humana.
El episodio muestra por qué el encuadre preciso es vital en problemas abiertos. Claude no demostró la hipótesis, no mostró que 67,2% fuera definitivo ni eliminó el escrutinio de pares. Afirmó mejorar un límite relacionado sintetizando técnicas establecidas; Anthropic dice que el enfoque difícilmente llevará a la conjetura completa. La publicación y el examen de la comunidad serán una prueba más fuerte que la validación interna.
Con esos límites, indica que sistemas de investigación prolongada pueden contribuir donde la corrección es exigente. Las pruebas formales separan un objeto lógico comprobable de una explicación persuasiva, pero no garantizan que definiciones, supuestos e importancia estén bien enmarcados. Queda saber si expertos independientes confirman el argumento, si se generaliza y si se reproduce eficientemente. Para los laboratorios, verificación con herramientas y revisión experta pueden importar tanto como generar ideas candidatas.