Anthropic afirma que Claude, aún no publicado, elevó una cota inferior relacionada con Riemann
Anthropic dice que un modelo de investigación no publicado aumentó la fracción de ceros de la función zeta que se sabe que yacen en la línea crítica, pero el extracto de la publicación proporcionado termina antes de indicar cualquiera de las cifras.
By Ryan Merket · Published
Primary source: Anthropic
Why it matters
A verified stronger bound would give Claude a concrete contribution to pure mathematics. The brief X post tests whether an internal model result can become auditable research that outside specialists accept.
Anthropic, co-founded by Dario Amodei and Daniela Amodei, says an unreleased research version of Claude increased a lower bound related to the Riemann hypothesis.
Anthropic's post on the research
Anthropic says Claude did not solve the hypothesis. The model instead worked on the fraction of nontrivial zeros of the Riemann zeta function that can be proved to lie on the critical line, where the real part equals 1/2.
The date of the research run could not be established from the public materials reviewed for this article, and the date of the X post was not independently verified. The text of Anthropic's post available for this article ends immediately after the word "from," before giving either lower-bound figure.
That excerpt does not establish whether Claude improved on a published result, reproduced known work or produced an argument that would survive specialist review.
Una afirmación matemática necesita una prueba verificable
La hipótesis de Riemann establece que cada cero no trivial de la función zeta yace en la recta crítica. El progreso parcial ha venido de probar que proporciones cada vez mayores de esos ceros se encuentran en esa recta.
Un paper by Kyle Pratt, Nicolas Robles, Alexandru Zaharescu and Dirk Zeindler, publicado en 2020 después de circular en arXiv, estableció que más de cinco doceavos de los ceros yacen en la recta crítica. Eso es ligeramente más del 41.67% y proporciona una comparación pública para la afirmación de Anthropic. El extracto disponible no establece que Claude superara ese punto de referencia.
Una derivación generada por un modelo se convierte en un avance matemático después de que los especialistas puedan inspeccionar sus supuestos y su demostración, reproducir el razonamiento y buscar errores. La publicación de Anthropic denomina al sistema una "unreleased research version" de Claude.
Anthropic declaró claramente que Claude no había resuelto la hipótesis de Riemann. La afirmación más restringida sobre el límite inferior aún requiere la publicación y la revisión que se esperan para trabajos producidos por matemáticos humanos.
Los Amodei están construyendo flujos de trabajo de investigación auditables
Anthropic es una corporación de beneficio público con sede en San Francisco fundada en 2021 por exempleados de OpenAI. Junto con Dario y Daniela Amodei, su grupo fundador incluyó a Jared Kaplan, Jack Clark, Chris Olah, Sam McCandlish y Tom Brown, según los company materials de Anthropic.
Dario Amodei llegó a la IA a través de la ciencia. Según su personal biography, obtuvo un PhD en biofísica por Princeton University como Hertz Fellow, realizó trabajo postdoctoral en Stanford School of Medicine y más tarde trabajó en Google Brain y OpenAI. Antes de Anthropic, trabajó en Google Brain y OpenAI en investigación sobre redes neuronales, escalado de modelos de lenguaje y seguridad en IA.
Daniela Amodei, cofundadora y presidenta de Anthropic, dirigió equipos técnicos en OpenAI antes de convertirse en su vicepresidenta de seguridad y políticas. Se ha descrito a sí misma como generalista y ha hablado sobre la curiosidad y la "responsabilidad radical" en una Stanford Graduate School of Business interview.
La investigación científica también se está convirtiendo en un flujo de trabajo pagado de Claude. El 30 de junio, Anthropic lanzó Claude Science, un banco de trabajo de IA que conecta a Claude con herramientas de investigación, bases de datos y recursos de cómputo. Anthropic dice que el producto conserva el código, los detalles del entorno y el historial de mensajes detrás de las salidas para que los investigadores puedan auditarlas y reproducirlas. Un agente revisor verifica cálculos y citas y marca figuras que no coinciden con su código subyacente.
Claude Science entró en beta para usuarios Pro, Max, Team y Enterprise. Anthropic no proporcionó precios separados para Claude Science, ni cifras de clientes, ingresos o uso en los materiales revisados para este artículo.
La pista de auditoría del producto aborda un obstáculo comercial en la investigación asistida por IA: los clientes necesitan rastrear un resultado a través de sus datos, código y supuestos.
La verificación se está convirtiendo en parte de la competencia
Anthropic compite con laboratorios de IA generales y empresas matemáticas especializadas que están incorporando la verificación en sistemas de investigación.
En un announcement, Google DeepMind describió a Gemini Deep Think como un sistema de investigación que utiliza verificación bajo la dirección de matemáticos y científicos expertos.
OpenAI ha seguido una ruta relacionada en las ciencias de la vida. Su GPT-Rosalind research preview combina un modelo especializado con bases de datos y herramientas científicas mientras restringe el acceso inicial a organizaciones calificadas. Google ha descrito por separado un multi-agent Co-Scientist system destinado a ayudar a los investigadores con hipótesis y propuestas científicas.
Los competidores especializados se están concentrando en las matemáticas. Harmonic está desarrollando Aristotle, según Axios. Axios también reported que Axiom Math dijo que su AxiomProver produce pruebas Lean verificables por máquina, con un verificador separado que revisa cada paso. Según Axios, Axiom dijo que recaudó $200 millones a una valoración de $1.6 mil millones en marzo de 2026 y que sus pruebas habían sido aceptadas por cinco revistas líderes.
El extracto de la publicación en X respalda una afirmación de Anthropic sobre un modelo interno más que establece un avance matemático aceptado. Las cifras del límite inferior y una derivación verificable permitirían a los matemáticos determinar si Claude contribuyó con un resultado original y si superó el punto de referencia publicado de cinco doceavos.