Intelligence SynthesisJAEN

La IA y los problemas difíciles del mundo ─ Matemáticas

Ciencia y erudición impulsadas por la IA, por disciplina

Feed RSS · 3 elementos

Science · Revista / noticias científicas · 2026-10-13Matemáticas

La IA se acerca a resolver la hipótesis de Riemann, uno de los problemas más difíciles de las matemáticas

Título original: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems

Leer el original ↗🔗 Compartir enlace

Nature (machine learning) · Revista / noticias científicas · 2026-10-07Matemáticas

OpenAI publica 700 preprints de matemáticas en línea: los matemáticos están en pie de guerra

Título original: OpenAI posts 700 maths preprints online: mathematicians are up in arms

OpenAI utilizó un modelo no publicado en cientos de problemas matemáticos de gran relevancia y publicó más de 700 preprints generados por IA en GitHub el 6 de octubre. Algunos matemáticos celebraron las soluciones a problemas de larga data, mientras que otros se quejaron en las redes sociales de que les habían arrebatado el mérito. Un matemático calificó el aluvión de "slopocalipsis", aunque el contenido aún podría resultar formalmente correcto.

Leer el original ↗🔗 Compartir enlace

Anthropic · Laboratorio de IA · 2026-09-26Matemáticas

Claude ha mejorado una cota inferior de larga data para la fracción de ceros de la función zeta de Riemann que satisfacen la hipótesis de Riemann

Título original: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis

La hipótesis de Riemann, un problema sin resolver, afirma que todos los ceros de la función zeta de Riemann se encuentran en una determinada línea vertical. Mientras intentaba resolver el problema, una versión de investigación no publicada de Claude no lo demostró, pero mejoró una cota inferior de larga data sobre la fracción de ceros que cumplen esa condición, elevándola del 41.6% al 67.2%. Dos matemáticos de Anthropic validaron el artículo y redactaron una nota informal de expertos, y Claude también produjo una demostración verificable formalmente. No se espera que el resultado conduzca a una demostración de la hipótesis en sí.

Leer el original ↗🔗 Compartir enlace