Un proyecto de investigación dirigido por Jan von Plato está utilizando inteligencia artificial para decodificar los cuadernos privados de Kurt Gödel, uno de los lógicos más influyentes de la historia. Debido a que Gödel publicó relativamente poco de su trabajo, se cree que estos cuadernos —escritos en una taquigrafía casi obsoleta— contienen cientos de teoremas probados que han permanecido ocultos durante décadas.
Desbloqueando las notas privadas del lógico
El proyecto se centra en los cuadernos de Kurt Gödel, una figura cuyo trabajo transformó fundamentalmente las matemáticas y la lógica. Si bien Gödel es reconocido por sus contribuciones, era conocido por tardar en publicar, esperando a veces décadas para lanzar sus primeras ideas sobre temas complejos como la interpretación Dialectica.
Estos cuadernos proporcionan una visión rara y sin pulir de su proceso de pensamiento. Al decodificarlos, los investigadores esperan recuperar una gran cantidad de contenido matemático que Gödel nunca compartió con el público durante su vida.
“La IA desbloquea los cuadernos de Gödel, que supuestamente contienen cientos de teoremas probados”
— AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
El desafío de la taquigrafía Gabelsberger
Un obstáculo técnico principal para acceder a estas notas es el uso por parte de Gödel de la taquigrafía Gabelsberger. Este sistema estenográfico se enseñaba en las escuelas alrededor de 1920, pero se volvió técnicamente obsoleto, dejando a muy pocas personas en el mundo capaces de leerlo.
Jan von Plato, un experto líder en Gödel, supuestamente aprendió la taquigrafía por su cuenta para comenzar el proyecto en 2017. Para escalar el esfuerzo, su equipo utilizó una subvención de 2,5 millones de euros del Consejo Europeo de Investigación para entrenar un modelo de IA en transcripciones existentes de la taquigrafía con el fin de automatizar el proceso de decodificación.
Discusión y perspectivas en Hacker News
La discusión en Hacker News sobre este avance presenta diversas perspectivas sobre la intersección de la IA y las matemáticas históricas. Un comentarista, escribiendo como 'semolinapudding', expresó su entusiasmo por el proyecto, señalando que el trabajo de Gödel es de tal importancia que incluso una pequeña cantidad de producción nueva sería un 'gran acontecimiento'.
Otros participantes discutieron las practicidades de la taquigrafía. Por ejemplo, un comentarista llamado 'hobo123' señaló que, aunque la taquigrafía Gabelsberger a menudo se considera obsoleta, todavía era utilizada por algunos individuos bien entrados en la década de 2020. Otro comentarista, '2aFds', señaló que la eficacia de la IA probablemente se debe a que fue entrenada en transcripciones preexistentes de la taquigrafía que todavía estaban ampliamente disponibles.
La discusión también abordó las implicaciones sociales del proyecto. Un comentarista llamado 'alterom' sugirió que esto podría cambiar la cultura de 'publicar o perecer' al proporcionar una forma de establecer un registro del pensamiento sobre un problema desde el principio, incluso si el trabajo permanece incompleto. Por el contrario, otro comentarista, 'cyanydeez', especuló que las críticas más complejas de la lógica dentro de las notas podrían eventualmente alcanzar los 'límites desesperantes' de los modelos de lenguaje grandes actuales.
Limitaciones e incertidumbres
Si bien el proyecto promete revelar cientos de teoremas, el contenido matemático específico y el número exacto de teoremas 'desbloqueados' con éxito aún no se han detallado por completo. También existe una pregunta en curso sobre qué tan bien puede una IA capturar las críticas lógicas matizadas y de alto nivel por las que Gödel era conocido en comparación con las pruebas matemáticas estándar.