# La inteligencia artificial descubre cientos de teoremas ocultos en los cuadernos de un genio de las matemáticas

Fuente: [Noticias de Ciencia en La Razón](https://www.larazon.es/ciencia/inteligencia-artificial-descubre-cientos-teoremas-ocultos-cuadernos-genio-matematicas_202611146af8226a4196933d7edcfb4f.html) · 2026-11-14 · Vida y mente
Página: https://themorning.science/es/story/la-inteligencia-artificial-descubre-cientos-de-teoremas-ocultos-en-los-cuadernos-e40c9407efde3247
Tipo: Investigación · Impacto: medio

## Lo esencial

- Según La Razón, una inteligencia artificial habría descubierto cientos de teoremas ocultos en los cuadernos del matemático Kurt Gödel.
- Gödel es conocido por demostrar que ningún sistema formal es capaz de probar todas sus propias verdades.
- La información disponible procede de un único artículo de divulgación, por lo que los detalles del hallazgo no pueden verificarse con más fuentes.

## Por qué importa

Muestra que la inteligencia artificial puede revisar archivos históricos de matemáticas y sacar a la luz resultados que no se habían aprovechado. Para los aficionados a la ciencia, es un ejemplo de cómo la IA puede ayudar a recuperar el trabajo de grandes matemáticos.

## Cobertura

- [La inteligencia artificial descubre cientos de teoremas ocultos en los cuadernos de un genio de las matemáticas](https://www.larazon.es/ciencia/inteligencia-artificial-descubre-cientos-teoremas-ocultos-cuadernos-genio-matematicas_202611146af8226a4196933d7edcfb4f.html) — Noticias de Ciencia en La Razón, 2026-11-14

Etiquetas: inteligencia artificial, matemáticas, kurt gödel, lógica, historia de la ciencia

---

Resumen generado por IA (claude-haiku-5-5) a partir de las notas citadas en «Cobertura». Los titulares pertenecen a sus medios. The Morning Science – https://themorning.science/es