Un modelo inédito de Anthropic logra un avance histórico en la hipótesis de Riemann
El 10 y 11 de agosto de 2026, Anthropic anunció que un modelo de investigación de Claude (no lanzado) elevó la cota inferior de ceros no triviales de la función zeta de Riemann que están en la línea crítica del 41.6%... El modelo probó unas 650 ideas candidatas a través de 60 subagentes coordinados, consumiendo 31 m...
El 10 y 11 de agosto de 2026, Anthropic anunció que un modelo de investigación de Claude (no lanzado) elevó la cota inferior de ceros no triviales de la función zeta de Riemann que están en la línea crítica del 41.6%...
El modelo probó unas 650 ideas candidatas a través de 60 subagentes coordinados, consumiendo 31 millones de tokens de salida en aproximadamente 1.5 días.
Dos de los 60 subagentes desarrollaron las ideas matemáticas clave; el enfoque ganador combinó un artículo de Enrico Bombieri de 2000 con resultados más recientes, una combinación que ningún humano había logrado.
Dos matemáticos internos de Anthropic, Levent Alpöge y Ralph Furmaniak, revisaron y confirmaron la prueba, que luego fue formalizada en el asistente de pruebas Lean.
What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomoAI-generated editorial hero image for What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo.
Prompt de IA
Create a landscape editorial hero image for this Studio Global article: What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo. Article summary: Let me search for information on this topicLet me search for the broader context of AI mathematical breakthroughs in 2026 and the debates around authorship and standards What the Anthropic model achieved On August 10–11,. Topic tags: general web, openai, chatgpt, llm, agents. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts wi
openai.com
¿Qué logró el modelo de Anthropic?
Entre el 10 y 11 de agosto de 2026, Anthropic anunció que una versión de investigación de Claude (aún no lanzada al público) logró un avance significativo en un problema relacionado con la hipótesis de Riemann, uno de los siete Problemas del Milenio dotados con un premio de $1 millón .
Específicamente, el modelo elevó una cota inferior sobre la proporción de ceros no triviales de la función zeta de Riemann que se encuentran en la línea crítica: del 41.6% al 67.2%. Este es el mayor avance individual en esta cota jamás registrado . El modelo la hipótesis de Riemann en sí misma, pero el resultado es un teorema genuino en teoría analítica de números .
Studio Global AI
Continúe su investigación
Esta página incluye una respuesta respaldada por fuentes que puede continuar dentro de Studio Global.
¿Cuál es la respuesta corta a "Un modelo inédito de Anthropic logra un avance histórico en la hipótesis de Riemann"?
El 10 y 11 de agosto de 2026, Anthropic anunció que un modelo de investigación de Claude (no lanzado) elevó la cota inferior de ceros no triviales de la función zeta de Riemann que están en la línea crítica del 41.6%...
¿Cuáles son los puntos clave a validar primero?
El 10 y 11 de agosto de 2026, Anthropic anunció que un modelo de investigación de Claude (no lanzado) elevó la cota inferior de ceros no triviales de la función zeta de Riemann que están en la línea crítica del 41.6%... El modelo probó unas 650 ideas candidatas a través de 60 subagentes coordinados, consumiendo 31 millones de tokens de salida en aproximadamente 1.5 días.
¿Qué debo hacer a continuación en la práctica?
Dos de los 60 subagentes desarrollaron las ideas matemáticas clave; el enfoque ganador combinó un artículo de Enrico Bombieri de 2000 con resultados más recientes, una combinación que ningún humano había logrado.
Un modelo inédito de Anthropic logra un avance histórico en la hipótesis de Riemann
El 10 y 11 de agosto de 2026, Anthropic anunció que un modelo de investigación de Claude (no lanzado) elevó la cota inferior de ceros no triviales de la función zeta de Riemann que están en la línea crítica del 41.6%... El modelo probó unas 650 ideas candidatas a través de 60 subagentes coordinados, consumiendo 31 m...
El 10 y 11 de agosto de 2026, Anthropic anunció que un modelo de investigación de Claude (no lanzado) elevó la cota inferior de ceros no triviales de la función zeta de Riemann que están en la línea crítica del 41.6%...
El modelo probó unas 650 ideas candidatas a través de 60 subagentes coordinados, consumiendo 31 millones de tokens de salida en aproximadamente 1.5 días.
Dos de los 60 subagentes desarrollaron las ideas matemáticas clave; el enfoque ganador combinó un artículo de Enrico Bombieri de 2000 con resultados más recientes, una combinación que ningún humano había logrado.
Dos matemáticos internos de Anthropic, Levent Alpöge y Ralph Furmaniak, revisaron y confirmaron la prueba, que luego fue formalizada en el asistente de pruebas Lean.
What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomoAI-generated editorial hero image for What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo.
Prompt de IA
Create a landscape editorial hero image for this Studio Global article: What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo. Article summary: Let me search for information on this topicLet me search for the broader context of AI mathematical breakthroughs in 2026 and the debates around authorship and standards What the Anthropic model achieved On August 10–11,. Topic tags: general web, openai, chatgpt, llm, agents. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts wi
openai.com
¿Qué logró el modelo de Anthropic?
Entre el 10 y 11 de agosto de 2026, Anthropic anunció que una versión de investigación de Claude (aún no lanzada al público) logró un avance significativo en un problema relacionado con la hipótesis de Riemann, uno de los siete Problemas del Milenio dotados con un premio de $1 millón .
Específicamente, el modelo elevó una cota inferior sobre la proporción de ceros no triviales de la función zeta de Riemann que se encuentran en la línea crítica: del 41.6% al 67.2%. Este es el mayor avance individual en esta cota jamás registrado . El modelo la hipótesis de Riemann en sí misma, pero el resultado es un teorema genuino en teoría analítica de números .
Studio Global AI
Continúe su investigación
Esta página incluye una respuesta respaldada por fuentes que puede continuar dentro de Studio Global.
¿Cuál es la respuesta corta a "Un modelo inédito de Anthropic logra un avance histórico en la hipótesis de Riemann"?
El 10 y 11 de agosto de 2026, Anthropic anunció que un modelo de investigación de Claude (no lanzado) elevó la cota inferior de ceros no triviales de la función zeta de Riemann que están en la línea crítica del 41.6%...
¿Cuáles son los puntos clave a validar primero?
El 10 y 11 de agosto de 2026, Anthropic anunció que un modelo de investigación de Claude (no lanzado) elevó la cota inferior de ceros no triviales de la función zeta de Riemann que están en la línea crítica del 41.6%... El modelo probó unas 650 ideas candidatas a través de 60 subagentes coordinados, consumiendo 31 millones de tokens de salida en aproximadamente 1.5 días.
¿Qué debo hacer a continuación en la práctica?
Dos de los 60 subagentes desarrollaron las ideas matemáticas clave; el enfoque ganador combinó un artículo de Enrico Bombieri de 2000 con resultados más recientes, una combinación que ningún humano había logrado.
El logro fue el resultado de un flujo de trabajo multiagente notable:
Un empleado de Anthropic sin una formación matemática sólida le pidió al modelo que "le diera una oportunidad real" a demostrar la hipótesis .
En aproximadamente 1.5 días, el modelo probó alrededor de 650 enfoques candidatos a través de 60 subagentes coordinados.
El proceso consumió 31 millones de tokens de salida en dos sesiones, ejecutó 2,400 comandos de shell y revisó 54 artículos de arXiv.
Dos de los 60 subagentes fueron los responsables de desarrollar el avance matemático clave .
El enfoque ganador sintetizó un artículo de Enrico Bombieri de 2000 con resultados más recientes, una combinación que ningún investigador humano había logrado .
Verificación
Dos matemáticos internos de Anthropic —Levent Alpöge y Ralph Furmaniak— revisaron y confirmaron la prueba . Luego, el argumento fue formalizado en Lean, un asistente de pruebas interactivo, produciendo un certificado de corrección verificable por máquina . Esta doble validación (revisión humana experta + verificación formal) es considerada la mejor práctica para resultados matemáticos generados por IA.
Contexto más amplio de 2026: un punto de inflexión
La mejora de la cota de Riemann por parte de Claude no es un hecho aislado. 2026 ha visto una secuencia acelerada de breakthroughs matemáticos liderados por IA:
Mayo de 2026 — OpenAI anunció que un modelo de razonamiento general no lanzado había refutado de forma autónoma la conjetura de la distancia unitaria de Erdős, un problema abierto de 80 años .
Mayo de 2026 — AlphaProof Nexus de Google DeepMind resolvió nueve problemas abiertos de Erdős (algunos sin resolver durante 56 años) y demostró 44 conjeturas de la Online Encyclopedia of Integer Sequences, todas formalizadas en Lean .
Julio de 2026 — El matemático de Anthropic Levent Alpöge utilizó el modelo no lanzado "Fable 5" para encontrar un contraejemplo de la conjetura jacobiana, un problema planteado en 1939 .
Agosto de 2026 — El modelo Astra de OpenAI supuestamente resolvió diez problemas matemáticos centenarios por aproximadamente $2,000 en costo de cómputo, con pruebas verificables por máquina publicadas en Lean en GitHub .
Varios comentaristas han señalado que el campo cruzó un umbral a mediados de 2026: los sistemas de IA pasaron de resolver problemas matemáticos de nivel competitivo a generar investigación publicable a nivel de problemas abiertos .
El debate: autoría, estándares y la Declaración de Leiden
El rápido ritmo de las matemáticas generadas por IA ha desatado un intenso debate:
En junio de 2026, un grupo de 16 matemáticos publicó la Declaración de Leiden sobre Inteligencia Artificial y Matemáticas, recomendando nuevos estándares para la estructura de las pruebas, la atribución de autoría y la supervisión humana de los resultados generados por IA . La declaración ha sido discutida por la Unión Matemática Internacional .
Las tensiones clave incluyen: ¿Quién recibe el crédito de autoría cuando una IA genera una prueba? ¿Puede el campo mantener la confianza epistémica si las pruebas son demasiado largas o novedosas para que los humanos las inspeccionen completamente sin herramientas formales? Y, ¿cómo deberían las revistas revisar por pares resultados que ningún ser humano podría haber producido ?
Algunos matemáticos argumentan que las pruebas asistidas por IA corren el riesgo de erosionar la comprensión y la perspicacia explicativa —una prueba puede ser correcta pero opaca . Otros ven la verificación formal en Lean como un estándar más estricto que la revisión por pares tradicional .
Lo que esto significa para la capacidad de la IA de descubrir nueva ciencia
El resultado de Riemann de Anthropic avanza la discusión de varias maneras concretas:
La escala de la exploración autónoma es importante. Probar 650 ideas en 60 subagentes demuestra que las arquitecturas multiagente pueden realizar una búsqueda sistemática a una escala que ningún grupo de investigación humano podría igualar en el mismo período de tiempo . Esto cambia la pregunta de "¿Puede la IA hacer matemáticas?" a "¿Cómo deberíamos integrar la exploración a gran escala de la IA en el proceso de descubrimiento científico?"
La síntesis fortuita es posible. El hecho de que un modelo sin formación matemática combinara un artículo de Bombieri (2000) con resultados más recientes —una combinación que ningún humano había visto— muestra que la IA puede hacer conexiones conceptuales no obvias entre literaturas dispares . Esta capacidad aborda directamente una preocupación central sobre si los LLM simplemente interpolan o pueden descubrir genuinamente.
La verificación formal resuelve el problema de la confianza. La formalización en Lean significa que el resultado no es una afirmación de "caja negra". Es un teorema demostrablemente correcto que cualquier matemático puede inspeccionar mecánicamente . Esto ofrece una plantilla sobre cómo los resultados científicos generados por IA pueden hacerse verificables, abordando una de las objeciones más fuertes al descubrimiento liderado por IA.
El debate sobre autoría y estándares es constructivo, no paralizante. La aparición simultánea de resultados sorprendentes (DeepMind, OpenAI, Anthropic) y respuestas institucionales lideradas por la comunidad (la Declaración de Leiden) sugiere que la comunidad matemática se está adaptando en lugar de retirarse. La conversación actual se centra en las normas y el crédito, no en rechazar los resultados de la IA en su totalidad.
El costo y la velocidad del descubrimiento se están desplomando. El costo de cómputo de $2,000 para los resultados de Astra de OpenAI y el tiempo de respuesta de 36 horas para la cota de Riemann de Claude sugieren que el costo marginal de un descubrimiento matemático publicable se acerca a cero. Esto tiene profundas implicaciones sobre qué preguntas eligen los investigadores y quién puede participar en la investigación matemática.
En resumen: La mejora de la cota de Riemann por parte de Anthropic es una demostración histórica de que los sistemas de IA ahora pueden descubrir de forma autónoma resultados matemáticos publicables y formalmente verificables que avanzan un problema abierto de 150 años. Combinado con la serie de breakthroughs similares de 2026, mueve la discusión de "si la IA puede contribuir al descubrimiento científico" a "cómo la comunidad científica debe estructurar los incentivos, la atribución y la verificación para una nueva clase de co-descubridores de IA".
en.wikipedia.org
Leiden Declaration on Artificial Intelligence and Mathematics - Wikipedia
El logro fue el resultado de un flujo de trabajo multiagente notable:
Un empleado de Anthropic sin una formación matemática sólida le pidió al modelo que "le diera una oportunidad real" a demostrar la hipótesis .
En aproximadamente 1.5 días, el modelo probó alrededor de 650 enfoques candidatos a través de 60 subagentes coordinados.
El proceso consumió 31 millones de tokens de salida en dos sesiones, ejecutó 2,400 comandos de shell y revisó 54 artículos de arXiv.
Dos de los 60 subagentes fueron los responsables de desarrollar el avance matemático clave .
El enfoque ganador sintetizó un artículo de Enrico Bombieri de 2000 con resultados más recientes, una combinación que ningún investigador humano había logrado .
Verificación
Dos matemáticos internos de Anthropic —Levent Alpöge y Ralph Furmaniak— revisaron y confirmaron la prueba . Luego, el argumento fue formalizado en Lean, un asistente de pruebas interactivo, produciendo un certificado de corrección verificable por máquina . Esta doble validación (revisión humana experta + verificación formal) es considerada la mejor práctica para resultados matemáticos generados por IA.
Contexto más amplio de 2026: un punto de inflexión
La mejora de la cota de Riemann por parte de Claude no es un hecho aislado. 2026 ha visto una secuencia acelerada de breakthroughs matemáticos liderados por IA:
Mayo de 2026 — OpenAI anunció que un modelo de razonamiento general no lanzado había refutado de forma autónoma la conjetura de la distancia unitaria de Erdős, un problema abierto de 80 años .
Mayo de 2026 — AlphaProof Nexus de Google DeepMind resolvió nueve problemas abiertos de Erdős (algunos sin resolver durante 56 años) y demostró 44 conjeturas de la Online Encyclopedia of Integer Sequences, todas formalizadas en Lean .
Julio de 2026 — El matemático de Anthropic Levent Alpöge utilizó el modelo no lanzado "Fable 5" para encontrar un contraejemplo de la conjetura jacobiana, un problema planteado en 1939 .
Agosto de 2026 — El modelo Astra de OpenAI supuestamente resolvió diez problemas matemáticos centenarios por aproximadamente $2,000 en costo de cómputo, con pruebas verificables por máquina publicadas en Lean en GitHub .
Varios comentaristas han señalado que el campo cruzó un umbral a mediados de 2026: los sistemas de IA pasaron de resolver problemas matemáticos de nivel competitivo a generar investigación publicable a nivel de problemas abiertos .
El debate: autoría, estándares y la Declaración de Leiden
El rápido ritmo de las matemáticas generadas por IA ha desatado un intenso debate:
En junio de 2026, un grupo de 16 matemáticos publicó la Declaración de Leiden sobre Inteligencia Artificial y Matemáticas, recomendando nuevos estándares para la estructura de las pruebas, la atribución de autoría y la supervisión humana de los resultados generados por IA . La declaración ha sido discutida por la Unión Matemática Internacional .
Las tensiones clave incluyen: ¿Quién recibe el crédito de autoría cuando una IA genera una prueba? ¿Puede el campo mantener la confianza epistémica si las pruebas son demasiado largas o novedosas para que los humanos las inspeccionen completamente sin herramientas formales? Y, ¿cómo deberían las revistas revisar por pares resultados que ningún ser humano podría haber producido ?
Algunos matemáticos argumentan que las pruebas asistidas por IA corren el riesgo de erosionar la comprensión y la perspicacia explicativa —una prueba puede ser correcta pero opaca . Otros ven la verificación formal en Lean como un estándar más estricto que la revisión por pares tradicional .
Lo que esto significa para la capacidad de la IA de descubrir nueva ciencia
El resultado de Riemann de Anthropic avanza la discusión de varias maneras concretas:
La escala de la exploración autónoma es importante. Probar 650 ideas en 60 subagentes demuestra que las arquitecturas multiagente pueden realizar una búsqueda sistemática a una escala que ningún grupo de investigación humano podría igualar en el mismo período de tiempo . Esto cambia la pregunta de "¿Puede la IA hacer matemáticas?" a "¿Cómo deberíamos integrar la exploración a gran escala de la IA en el proceso de descubrimiento científico?"
La síntesis fortuita es posible. El hecho de que un modelo sin formación matemática combinara un artículo de Bombieri (2000) con resultados más recientes —una combinación que ningún humano había visto— muestra que la IA puede hacer conexiones conceptuales no obvias entre literaturas dispares . Esta capacidad aborda directamente una preocupación central sobre si los LLM simplemente interpolan o pueden descubrir genuinamente.
La verificación formal resuelve el problema de la confianza. La formalización en Lean significa que el resultado no es una afirmación de "caja negra". Es un teorema demostrablemente correcto que cualquier matemático puede inspeccionar mecánicamente . Esto ofrece una plantilla sobre cómo los resultados científicos generados por IA pueden hacerse verificables, abordando una de las objeciones más fuertes al descubrimiento liderado por IA.
El debate sobre autoría y estándares es constructivo, no paralizante. La aparición simultánea de resultados sorprendentes (DeepMind, OpenAI, Anthropic) y respuestas institucionales lideradas por la comunidad (la Declaración de Leiden) sugiere que la comunidad matemática se está adaptando en lugar de retirarse. La conversación actual se centra en las normas y el crédito, no en rechazar los resultados de la IA en su totalidad.
El costo y la velocidad del descubrimiento se están desplomando. El costo de cómputo de $2,000 para los resultados de Astra de OpenAI y el tiempo de respuesta de 36 horas para la cota de Riemann de Claude sugieren que el costo marginal de un descubrimiento matemático publicable se acerca a cero. Esto tiene profundas implicaciones sobre qué preguntas eligen los investigadores y quién puede participar en la investigación matemática.
En resumen: La mejora de la cota de Riemann por parte de Anthropic es una demostración histórica de que los sistemas de IA ahora pueden descubrir de forma autónoma resultados matemáticos publicables y formalmente verificables que avanzan un problema abierto de 150 años. Combinado con la serie de breakthroughs similares de 2026, mueve la discusión de "si la IA puede contribuir al descubrimiento científico" a "cómo la comunidad científica debe estructurar los incentivos, la atribución y la verificación para una nueva clase de co-descubridores de IA".
en.wikipedia.org
Leiden Declaration on Artificial Intelligence and Mathematics - Wikipedia
