9 artículos
Índice de etiquetas editoriales y cobertura filtrada.
El ingeniero Carter Church usó GPT-6 Astra para leer por completo una carta cifrada de marzo de 1809 dirigida al general Auguste de Marmont, que llevaba 217 años sin descifrar; el repositorio Cryptiana, de Satoshi Tomokiyo, ya la marca como resuelta tras revisar la solución.
Recortes del gobierno británico (informe Lighthill) y de DARPA enfriaron la IA tras expectativas desmesuradas de los 60.
El taller de Dartmouth de 1956, propuesto por John McCarthy y colegas, acuñó “artificial intelligence” y lanzó la disciplina como campo.
Los teoremas de incompletitud de Kurt Gödel mostraron que ningún sistema formal suficientemente rico puede capturar toda la verdad aritmética.
David Hilbert planteó si existe un procedimiento finito para decidir la verdad de cualquier enunciado matemático; la respuesta negativa abrió la teoría de la computación.
En 1843, Ada Lovelace describió un algoritmo para la máquina de Babbage y distinguió cálculo numérico de manipulación de símbolos.
En 1854, George Boole publicó Las leyes del pensamiento, transformando la lógica en un álgebra que sostiene circuitos y computación digital.
En los siglos XVII–XVIII, Gottfried Wilhelm Leibniz imaginó un lenguaje universal y un cálculo del razonamiento que anticipan la IA simbólica.
La lógica aristotélica del siglo IV a.C. aportó reglas formales de inferencia que siglos después inspiraron la automatización del razonamiento.