Investigación
La inteligencia artificial descubre cientos de teoremas ocultos en los cuadernos de un genio de las matemáticas
La Razón · Por Juan & Scaliter ·
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.
A quién afecta
- aficionados a la historia de las matemáticas
- investigadores en lógica y matemáticas
- #inteligencia artificial
- #matemáticas
- #kurt gödel
- #lógica
- #historia de la ciencia
Puede que su nombre no esté en el imaginario popular, pero sus logros sí. Kurt Gödel fue el lógico y matemático más influyente desde Aristóteles, amigo íntimo de Albert Einstein y célebre por haber demostrado que ningún sistema formal es capaz de probar todas sus propias verdades…