Una investigación de 16 cuadernos de Kurt Gödel, con 1.009 páginas, identificó 663 posibles teoremas con la ayuda de Claude, modelo de inteligencia artificial de Anthropic. El trabajo fue realizado por el matemático Jan von Plato, de la Universidad de Helsinki, y sus resultados fueron divulgados por el periódico británico The Guardian el viernes 13.
Los manuscritos, escritos en la década de 1940, contienen investigaciones sobre matemáticas y lógica, muchas de ellas registradas en Gabelsberger, un antiguo sistema alemán de taquigrafía. Desde 2017, el equipo de von Plato investigaba el material, pero avanzaba aproximadamente una página por semana.
En septiembre de 2026, el investigador comenzó a utilizar Claude para analizar las transcripciones de los cuadernos, junto con libros y estudios relacionados. En pocos días, la IA produjo una síntesis de aproximadamente 650 páginas, lo que permitió relacionar información dispersa en los manuscritos.
“La IA consigue conectar todas las partes de mil páginas”, afirmó von Plato en declaraciones a The Guardian. El investigador resaltó, sin embargo, que el material producido exigió revisión página por página.
Los resultados identificados por la IA requirieron correcciones y verificación
Tras el análisis inicial, von Plato pidió a Claude que identificara todos los teoremas para los que Gödel había registrado demostraciones completas, esbozos o ideas de demostración. El sistema presentó 663 resultados, posteriormente examinados con Coq, herramienta de verificación formal de pruebas matemáticas.
Según el investigador, cerca de 400 fueron verificados tal como se presentaron, aproximadamente 200 necesitaron ajustes en los enunciados o en las hipótesis utilizadas, y cerca de 50 fueron considerados falsos.
Entre los hallazgos está un intento de demostración de la independencia del axioma de elección, cuestión matemática asociada al trabajo que le valió a Paul Cohen la Medalla Fields en 1966. La reconstrucción examinada por von Plato fue sometida a verificación en Coq, pero contenía una definición que Gödel había formulado incorrectamente.
El matemático Joel David Hamkins, de la Universidad de Notre Dame, advirtió que la similitud con la demostración de Cohen no comprueba que Gödel haya concluido el mismo resultado décadas antes.
La investigación también señaló 14 temas de lógica aún no explorados, según la evaluación relatada por von Plato. El investigador pretende seguir examinando los manuscritos, incluidos los cuadernos dedicados a la física y la cosmología.
