Claude descubre cientos de teoremas ocultos en los cuadernos de Gödel
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Los 16 cuadernos de Kurt Gödel, 1.009 páginas escritas en una taquigrafía alemana ya obsoleta, avanzaban a razón de una página por semana para el lógico Jan von Plato. En septiembre le pasó el material a Claude y en un par de días obtuvo un resumen completo: Gödel había demostrado cientos de teoremas desconocidos, incluida una prueba de la independencia del axioma de elección que se le escapó por una sola definición errónea. Claude identificó 663 teoremas; Coq validó unos 400 tal cual.
El AI puede conectar todas las piezas de mil páginas. Puede ver todos los escritos de Gödel como una sola pieza.
- iltennico
Por lo que nos cuentan los historiadores de la ciencia, Gödel era en cualquier caso un perfeccionista absoluto que publicaba mayormente trabajos a prueba de balas. Su enorme conjunto de notas seguramente contenía algunas ideas muy agudas, pero es poco probable que hubiera producido teoremas nuevos e iluminadores y concluyentes por casualidad y sin darse cuenta. Era un crítico muy severo con su propio trabajo.
- hobo123
Lo de la taquigrafía Gabelsberger me suena ridículo. Mi padre escribía notas en una versión personalizada de ella hasta su muerte en 2020.
Oficialmente (es decir, en las escuelas que enseñaban taquigrafía, en su época) hacía mucho que había sido reemplazada por la "taquigrafía alemana unificada" (Deutsche Einheitskurzschrift, si mal no recuerdo), pero él siempre consideró que la Gabelsberger era superior.
Bueno, quizás él también era una de las 6 personas en el mundo que podían leerla (o sí, quizás eso era una exageración, no estoy seguro) :D
- agnosticmantis
La IA no comentó sobre la consistencia o completitud de los cuadernos.
- imbiased
No recuerdo la cita exacta, pero creo haber leído que Gödel le confió a Einstein (en sus paseos por Princeton) su profunda preocupación de que su trabajo fuera olvidado. Si él supiera.
- ducttapecrown
¡Sería interesante escuchar sobre estos nuevos 14 temas de lógica que Gödel abordó!