El hilo invisible: Hitos y relaciones en la historia de la computación.

Línea temporal estructurada y grafo de relaciones · 1642 → 2027 · Correcciones y aportaciones son bienvenidas: carlos.ortet@zoopa.es

CAUSAL HABILITA CONTINÚA PARALELO PUENTE

CLICK NODO = AISLAR · DRAG = PAN · CTRL+SCROLL = ZOOM

100%

▸ TABLAS EXTRA · NO EN GRAFO: STORAGE OPEN SOURCE CIBERSEGURIDAD MOBILE CRIPTOGRAFÍA SO ARQ. SISTEMA ► MAPA ► GLOSARIO ► FUENTES ► NARRATIVAS

▸ TABLAS COLAPSABLES · ESCANEA EL GRAFO Y PROFUNDIZA AQUÍ

► TABLAS PRINCIPALES (1–15) 15 columnas del grafo · cada hito con su descripción y relaciones

1 · LÓGICA FORMAL — La base matemática

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1673	Leibniz · binario	Gottfried Leibniz formaliza el sistema binario (1679, Explication de l'Arithmétique Binaire) y diseña la Stepped Reckoner (idea 1672, prototipo de madera 1673, bronce 1674), primera calculadora capaz de las 4 operaciones. "Es indigno que hombres excelentes pierdan horas como esclavos en la labor de cálculos".	Sin notación binaria no hay álgebra booleana de Boole (1847) ni circuitos digitales de Shannon (1937).
1847	Álgebra booleana	Boole formaliza la lógica con operaciones algebraicas (AND/OR/NOT) en Mathematical Analysis of Logic (1847) y Laws of Thought (1854).	Habilita el siguiente salto: Shannon (1937) la convertirá en circuitos.
1879	Lógica de predicados	Frege publica Begriffsschrift: lógica de predicados y cuantificadores. Primera notación formal completa.	Influye en Russell, Hilbert y Turing.
1931	Incompletitud · Entscheidungsproblem	Hilbert plantea el Entscheidungsproblem (1928). Gödel publica los teoremas de incompletitud (1931).	Plantea el reto que Turing y Church responden en 1936.
1936	Lambda calculus (Church)	Alonzo Church publica el cálculo lambda (1936): notación formal para funciones puras y aplicación. Demuestra (a la vez que Turing) que el Entscheidungsproblem es indecidible.	Equivalente al modelo Turing en poder expresivo (tesis Church-Turing). Sustrato matemático de LISP, Haskell, ML y toda la programación funcional.
1948	Teoría de la Información	Claude Shannon publica A Mathematical Theory of Communication (jul-oct 1948, Bell Labs). Define el bit, el canal, la entropía. Funda la teoría matemática de la comunicación.	"Magna Carta de la era de la información" (Scientific American). Más importante que el transistor según Gleick. Sin esto no hay compresión, criptografía moderna, ni canal IA.
1937	Lógica → circuitos	Shannon, en su tesis de máster (MIT), aplica el álgebra de Boole a circuitos eléctricos de relés.	Fusiona lógica + electrónica → puente directo a Z3, Colossus y ENIAC.
2013	HoTT Book · Univalent Found.	The Univalent Foundations Program (40 autores, IAS Princeton) publica el HoTT Book en 2013. Voevodsky aporta el axioma de univalencia (no es autor único). Alternativa a teoría de conjuntos como cimiento de las matemáticas.	Reabre el debate fundacional. Conecta lógica con topología; aspirante a sustituir ZFC.
2021	Lean 4 + mathlib	Lean 4 (Microsoft Research, Leonardo de Moura) + biblioteca colaborativa mathlib. Matemáticos vivos formalizan resultados ganadores de Fields Medal (Scholze's liquid tensor experiment, etc.).	La formalización del razonamiento matemático se vuelve práctica colaborativa a escala.
2024	AlphaProof / AlphaGeometry	DeepMind AlphaProof + AlphaGeometry logran medalla de plata en la IMO 2024 resolviendo problemas formales nivel olimpiada matemática.	Cierra el círculo Boole → Hilbert → Gödel → Turing → IA razonando en lógica formal a nivel élite.
2025	Gemini Deep Think · oro IMO	Una versión avanzada de Gemini Deep Think obtiene 35 de 42 puntos y estándar de medalla de oro en la IMO 2025, resolviendo cinco de seis problemas en lenguaje natural dentro del tiempo oficial.	Continúa AlphaProof, pero cambia pruebas formalizadas por soluciones de extremo a extremo evaluadas por los jueces de la olimpiada.

Cadena causal: Boole → Frege → crisis de fundamentos → Turing/Church (1936) → Shannon traduce la lógica a circuitos → Lean y AlphaProof formalizan pruebas → Gemini Deep Think añade resolución en lenguaje natural. Verificación formal y juicio olímpico son logros relacionados, no equivalentes.

► LEE LA NARRATIVA COMPLETA · LÓGICA

2 · ARQUITECTURA — El concepto de "ordenador"

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1642	Pascalina	Blaise Pascal (con 19 años) construye la primera calculadora mecánica de la historia. Suma y resta mediante engranajes. ~50 unidades fabricadas para su padre, recaudador de impuestos.	Funda la categoría "máquina de calcular". Inspira a Leibniz (Stepped Reckoner 1675) y a Babbage (1837).
1804	Telar de Jacquard	Joseph Marie Jacquard automatiza el telar mediante tarjetas perforadas. Patrón en cartón controla acción mecánica.	Primer "programa almacenado" de la historia. Lo cita Babbage como inspiración para la Máquina Analítica. Eslabón directo a Hollerith → IBM.
1837	Máquina Analítica	Babbage diseña la Máquina Analítica: memoria, control, cálculo y programa en una sola máquina.	Primera arquitectura conceptual general; nunca terminada en vida.
1843	Primer programa	Ada Lovelace publica el primer algoritmo destinado a una máquina (notas a Menabrea).	Inaugura la distinción hardware / software.
1890	Hollerith → IBM	Herman Hollerith inventa la tabuladora con tarjetas perforadas para procesar el censo USA 1890 (el censo de 1880 había tardado 8 años; el de 1890 se completó en 6 meses para conteo, ~2 años para datos completos). Funda la Tabulating Machine Company → CTR (1911) → renombrada IBM en 1924.	Origen literal de IBM. Las tarjetas perforadas dominarán el procesamiento de datos durante 70 años hasta los discos magnéticos.
1944	Harvard Mark I	Howard Aiken (Harvard + IBM) entrega el ASCC / Harvard Mark I (ago 1944): electromecánico, ~5 toneladas (4,3 t métricas), 765.000 piezas. Primero en EEUU automático de propósito general.	Donde Grace Hopper aprende a programar. El famoso "bug" (polilla) de 1947 fue encontrado en el Harvard Mark II (sucesor), no en el Mark I — la anécdota dio nombre a los errores de software.
1948	Manchester Baby (SSEM)	Small-Scale Experimental Machine en Manchester (21 jun 1948): primer ordenador del mundo en ejecutar un programa almacenado en memoria electrónica (CRT Williams tube). 32×32 bits.	Anticipa al EDSAC (1949) por casi un año. Primera prueba real del modelo von Neumann en hardware electrónico.
1951	LEO I	LEO (Lyons Electronic Office) en Reino Unido: primer ordenador del mundo usado en negocio (J. Lyons & Co., cadena de salones de té). Calcula nóminas y gestión de stock.	Marca el salto de "ordenador como herramienta científica" a "ordenador como herramienta empresarial". 30 años antes de la era PC.
1962	Manchester Atlas	Universidad de Manchester + Ferranti: introduce la memoria virtual y el paginado por demanda (concepto fundamental). Considerado el ordenador más potente del mundo en su lanzamiento (1962).	Inventa el concepto de "ejecutar más programa del que cabe en RAM". Sustrato de TODOS los SO modernos (Multics, Unix, Linux, Windows).
1936	Máquina universal	Turing formula la máquina universal en On Computable Numbers.	Base teórica de todo ordenador de propósito general.
1945	Programa almacenado	Von Neumann describe la arquitectura de programa almacenado en First Draft of a Report on the EDVAC.	Modelo dominante hasta hoy: CPU + memoria + bus.
1949	EDSAC operativo	Wilkes pone en marcha el EDSAC en Cambridge: primer von Neumann plenamente operativo.	Convierte la teoría de von Neumann en realidad práctica.
1964	IBM System/360	IBM lanza el System/360 (7 abr 1964): familia de mainframes 100% compatibles entre sí. Inversión de 5.000M USD (más cara que el Apollo). ISA estable que sigue viva 60+ años en IBM Z.	Define el concepto de "arquitectura" como contrato estable entre hardware y software. Modelo dominante en empresa hasta hoy. Sustrato de COBOL bancario.
1948	Autómatas autoreplicantes	Von Neumann formula la teoría de los autómatas autoreplicantes y diseña el constructor universal (publicado póstumamente en 1966 como Theory of Self-Reproducing Automata).	Predice la lógica del ADN antes de su descubrimiento (1953); inspira autómatas celulares, vida artificial y algoritmos evolutivos.

Cadena causal: Babbage/Lovelace (concepto) → Turing (teoría) → Von Neumann (modelo) → Wilkes (realización).

► LEE LA NARRATIVA COMPLETA · ARQUITECTURA

3 · ELECTRÓNICA — De válvulas a chips

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1938	Zuse Z1	Konrad Zuse construye el Z1 en el salón de su casa en Berlín (1938): primera máquina mecánica programable binaria con coma flotante. Funcionaba… mal. Sin financiación oficial.	Anticipa el Z3 (1941) por 3 años. Primer ejemplo del paradigma "construir el ordenador" en una vivienda particular, 40 años antes de Wozniak/Apple.
1939	Atanasoff-Berry (ABC)	John Atanasoff y Clifford Berry (Iowa State) construyen la ABC entre 1939-42: primera computadora electrónica digital. Vacuum tubes + capacitores como memoria.	En 1973 un tribunal federal USA declara que la ABC fue el primer ordenador electrónico, invalidando la patente de ENIAC. Hito legal y técnico.
1941	Z3	Konrad Zuse construye el Z3: primer ordenador programable y automático funcional (relés electromecánicos).	Demuestra viabilidad práctica antes que los aliados.
1944	Colossus	Tommy Flowers y Bletchley Park construyen Colossus para criptoanálisis (válvulas).	Primer ordenador electrónico programable.
1946	ENIAC	Eckert y Mauchly entregan ENIAC en Penn: ordenador electrónico de propósito general.	Consolida el paradigma electrónico.
1947	Transistor	Bardeen, Brattain y Shockley (Bell Labs) inventan el transistor de unión bipolar.	Permite miniaturizar y sustituir las válvulas (Nobel 1956).
1959	Circuito integrado	Kilby (TI, 1958) y Noyce (Fairchild, 1959) inventan el IC; Noyce con la versión planar fabricable.	Habilita Moore (1965) y la era del chip.
1965	Ley de Moore	Moore observa que el número de transistores por chip se duplica cada ~2 años.	Marco económico de planificación de la industria semiconductora.
2019	Fin Moore clásico	Jensen Huang (NVIDIA) declara "Moore's Law is dead" en GTC 2019. La cadencia 2-años-doblado se ha roto: 14nm → 10nm de Intel tomó >5 años. Dennard scaling murió antes (~2006).	Fin del escalado puro de nodos. Industria pivota a chiplet (Ryzen 2017), 3D stacking, advanced packaging (CoWoS). Cambia la economía del silicio.
2019	Project Silica · cristal 5D	Microsoft Research demuestra Project Silica: almacenamiento óptico 5D en cristal de cuarzo escrito con láser de femtosegundos. Datos durables miles de años; demos comerciales con Hitachi (2023).	Primer sustrato post-silicio creíble para almacenamiento de muy largo plazo (cold storage de archivo).
2022	Transistor GAA	Samsung lanza el primer chip con transistores Gate-All-Around (GAA) a 3nm. Sucesor estructural del FinFET (Intel 2011).	Habilita la continuidad de la ley de Moore más allá de los 5nm: nueva geometría del canal.

Cadena causal: Shannon habilita la lógica electrónica → Zuse/Colossus/ENIAC la materializan → transistor + IC inician la ley de Moore → 50 años después se rompe → la industria responde con chiplet (Ryzen) y nuevas geometrías (GAA).

► LEE LA NARRATIVA COMPLETA · ELECTRÓNICA

4 · SOFTWARE E INGENIERÍA DEL SOFTWARE

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1945	Plankalkül (Zuse)	Konrad Zuse escribe Plankalkül entre 1942-1945 (publicado 1972): primer lenguaje de programación de alto nivel del mundo. Tipos de datos, estructuras de control, cálculo lógico. Nunca compilado en su tiempo (Alemania post-guerra).	40 años adelantado a su tiempo. Su existencia se ignora hasta los 70 — los conceptos se reinventan en FORTRAN/ALGOL.
1952	Compilador A-0	Grace Hopper desarrolla el compilador A-0 en UNIVAC: primer compilador funcional.	Acerca la programación al lenguaje humano.
1957	FORTRAN	John Backus (IBM) lidera FORTRAN: primer lenguaje de alto nivel ampliamente adoptado.	Despega el software científico y técnico.
1959	COBOL	CODASYL (con Grace Hopper como influencia clave) define COBOL: lenguaje orientado al negocio, sintaxis casi en inglés. Primer compilador 1960.	Funda el software empresarial. Hoy aún corre el 70% de transacciones bancarias y muchos sistemas COBOL siguen activos en mainframes (>200 mil millones de líneas en producción).
1958	LISP	McCarthy diseña LISP: funcional y simbólico, basado en el cálculo lambda.	Lengua franca de la IA simbólica durante décadas.
1960	ALGOL 60	ALGOL 60 establece sintaxis estructurada (bloques, scopes) y notación BNF.	Padre de Pascal, C, Java y casi todo lo que vino después.
1961	CTSS · timesharing	Compatible Time-Sharing System (MIT, Fernando Corbató 1961): primer sistema de tiempo compartido funcional. Múltiples usuarios concurrentes en un mainframe IBM 7090 vía teletipos.	Funda el paradigma multiusuario. Padre conceptual de Multics (1969) y por tanto de Unix. Primera vez que se inventan los passwords (1962).
1968	Programación estructurada	Dijkstra publica Go To Statement Considered Harmful; consolida la programación estructurada.	Funda la ingeniería del software moderna.
1969	Hamilton · Apollo 11	Margaret Hamilton dirige el equipo de software de vuelo del Apollo 11 (MIT Instrumentation Lab). Su sistema de prioridades evita el aborto del alunizaje cuando el AGC se satura. Acuña el término "software engineering" para legitimar la disciplina.	Primer software crítico-misión a escala humana. Funda la ingeniería del software como profesión reconocida (medalla presidencial Obama 2016).
1969	Unix	Thompson y Ritchie crean Unix en Bell Labs: filosofía modular, archivos como interfaz universal.	Sustrato de macOS, Linux, Android, iOS y servidores.
1973	Lenguaje C	Ritchie diseña C como lenguaje de implementación de Unix: portable y de bajo nivel.	Lenguaje de sistemas dominante; padre de C++, Objective-C, Java, C#…
1983	GNU Project	Richard Stallman anuncia GNU: SO libre + manifesto. Funda el movimiento del software libre. La GPL (1989) define el copyleft.	Crea la base ideológica y técnica del open source.
1991	Linux kernel	Linus Torvalds publica el primer kernel Linux. Junto con GNU forma el sustrato del 90% de servidores actuales y de Android.	Permite que el ecosistema GNU sea funcional como SO completo. Funda la era de servidores open source.
2005	Git	Linus Torvalds escribe Git tras conflicto con BitKeeper. VCS distribuido, branches baratas, modelo de snapshots.	Cambia el modelo de colaboración en software. GitHub (2008) lo populariza globalmente.
2013	Docker	Solomon Hykes (dotCloud) populariza los contenedores Linux como modelo de empaquetado. Reusa namespaces + cgroups del kernel.	Funda la era cloud-native moderna. Sin Docker no hay Kubernetes (2014).
2021	GitHub Copilot	GitHub + OpenAI lanzan Copilot: primer AI pair programmer masivo basado en Codex (descendiente de GPT-3).	Cambia la práctica de programación. Ancestro de Cursor, Aider, Claude Code.
2024	Coding agents	Cursor (2023), Aider, Claude Code, Devin (Cognition), Cline. IDEs habitados por agentes IA que entienden codebase completa, ejecutan, iteran.	Programación como diálogo con agente. Antecede el "vibe coding" (Karpathy 2025).

Cadena causal: Hopper → FORTRAN/ALGOL/LISP → Dijkstra disciplina → Unix+C como sustrato → GNU/Linux democratizan → Git distribuye colaboración → Docker contenedores → Copilot trae IA → coding agents redefinen la práctica.

► LEE LA NARRATIVA COMPLETA · SOFTWARE

5 · PARADIGMAS DE PROGRAMACIÓN

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1967	Simula 67	Dahl y Nygaard (Universidad de Oslo) introducen clases, objetos y herencia con Simula 67.	Primer hito real de la POO; Alan Kay acuñará después el término "object-oriented".
1980	Smalltalk-80	Equipo Xerox PARC: Alan Kay (visión), Dan Ingalls (implementación) y Adele Goldberg (lenguaje, libros, evangelización). Goldberg presenta el sistema a Jobs en su famosa visita a PARC (1979). ACM Software System Award (1987).	Inspira Mac, Objective-C y Java. Pionera de la POO comercial.
1985	C++	Stroustrup (Bell Labs) suma POO sobre C; primera edición comercial en 1985.	Lleva los objetos al software de sistemas y alto rendimiento.
1991	Python	Guido van Rossum diseña Python combinando scripting, POO y legibilidad.	Hoy lengua franca de IA, data science y automatización.
1995	Java	Gosling (Sun) lanza Java con la promesa "write once, run anywhere" sobre la JVM.	Masifica la POO en empresa y backend.
1995	JavaScript	Brendan Eich diseña JavaScript en 10 días en Netscape (mayo 1995). Originalmente "Mocha", luego "LiveScript", finalmente "JavaScript". Estandarizado como ECMAScript (1997).	Lenguaje más usado del mundo. Único lenguaje del navegador hasta WebAssembly. Sustrato de la web interactiva.
2001	TDD + Manifiesto Ágil	Kent Beck Extreme Programming Explained (oct 1999); Manifiesto Ágil (feb 2001, Snowbird); Beck TDD: By Example (nov 2002). Tests primero, iteración corta.	Desplaza el waterfall. Funda XP, Scrum, agile mainstream.
2007	Renacimiento funcional	Clojure (Rich Hickey, 2007) + Scala (Martin Odersky, 2004). Inmutabilidad y FP como respuesta a la complejidad de OOP en sistemas concurrentes.	Influye en JavaScript (React/Redux), Java (lambdas 2014), Python (functools).
2010	Go + Rust	Go (Google, anuncio nov 2009 · 1.0 mar 2012). Rust (Graydon Hoare, proyecto personal desde 2006; Mozilla lo patrocina 2009; anuncio público 2010; 1.0 mayo 2015). Concurrencia nativa + memory safety sin GC.	Sucesores prácticos del C/C++ para infraestructura cloud. Docker/K8s en Go; Firefox, Cloudflare workers en Rust.
2014	Swift + TypeScript	Apple Swift (jun 2014) sucesor de Objective-C · Microsoft TypeScript (2012, mainstream 2014) tipos opcionales sobre JavaScript.	Modernización de plataformas masivas (iOS apps, web frontend). TypeScript se vuelve estándar de facto.
2014	Microservicios	Martin Fowler y James Lewis popularizan el término "microservices" (mar 2014). Descomposición de monolitos en servicios pequeños desplegables independientemente.	Habilita desarrollo paralelo de equipos grandes; encaja con cloud + Docker + Kubernetes.
2025	Vibe Coding	Andrej Karpathy acuña vibe coding (feb 2025). Programar describiendo intención en lenguaje natural, dejando que un agente IA escriba/itere el código.	Última fase: del compilador (Hopper 1952) al agente que entiende intención.

Cadena causal: Simula → Smalltalk (objetos+GUI) → C++/Java (industrial) → Python (puente IA) → TDD/Ágil (proceso) → funcional (inmutabilidad) → Go/Rust (sistemas modernos) → Swift/TS (plataformas) → microservicios (descomposición) → vibe coding (intención + agente).

► LEE LA NARRATIVA COMPLETA · PARADIGMAS

6 · MICROPROCESADOR Y PC

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1971	Intel 4004	Faggin, Hoff, Mazor y Shima diseñan el Intel 4004 (4 bits, 2.300 transistores).	Primer microprocesador comercial; inicia la era del "ordenador en un chip".
1972	Intel 8008	Intel 8008: primer microprocesador de 8 bits.	Antecesor directo de la familia x86.
1974	Intel 8080	Intel 8080: 8 bits ampliado, 6.000 transistores.	Hace viables los primeros microordenadores útiles (Altair, IMSAI).
1963	Sketchpad (Sutherland)	Ivan Sutherland · tesis MIT (1963): primer sistema gráfico interactivo. Lápiz óptico sobre TX-2. Inventa la GUI, las restricciones gráficas, las jerarquías de objetos visuales, programación visual.	Padre de la HCI, del CAD, y de toda la computación gráfica. Obtiene el Turing Award 1988. Sin Sketchpad no hay Xerox Alto, ni Mac, ni nada visual.
1968	Mother of All Demos	Douglas Engelbart presenta en SF (9 dic 1968) en 90 minutos: ratón, hipertexto, edición colaborativa, videoconferencia, ventanas, control por voz. Todo de golpe, en una demo legendaria.	Comprime 30 años de futuro en hora y media. Inspira directamente a Xerox PARC y a todo el ecosistema personal computing.
1973	Xerox Alto	Xerox PARC · primer ordenador personal con GUI completa, ethernet, ratón, WYSIWYG, bitmap display. ~2.000 unidades fabricadas pero NO comercializado. Steve Jobs lo visita en 1979.	Cuna conceptual de Macintosh (1984) y Windows. La metáfora del escritorio nace aquí, no en Apple. Smalltalk-80 corre sobre Alto.
1975	Altair 8800 + BASIC	MITS lanza el Altair 8800; Microsoft (Gates/Allen) escribe Altair BASIC.	Nace la industria del software para PC.
1976	Apple I	Wozniak diseña el Apple I (con Jobs como cofundador comercial).	Primer paso hacia el PC orientado al usuario doméstico.
1977	Apple II	Apple II: primer microordenador de éxito masivo, con color y software empresarial (VisiCalc).	Convierte el PC en producto de consumo.
1981	IBM PC 5150	IBM PC 5150 con MS-DOS (Microsoft). Arquitectura abierta.	Estandariza la arquitectura PC; explosión de clones a nivel global.
2008	Android 1.0	Google libera Android 1.0 (sep 2008) en el HTC Dream. SO móvil open source basado en Linux. Adquirido por Google en 2005 (Andy Rubin).	Funda el duopolio iOS/Android. Hoy 70%+ de smartphones del mundo. Demuestra que open source puede liderar en consumo masivo.
2012	Raspberry Pi	Eben Upton lanza Raspberry Pi (feb 2012): single-board computer Linux a 35 USD. Pensado para educación, adoptado masivamente por makers, IoT, retro-gaming.	Democratiza el cómputo embedded. Más de 50M unidades vendidas; estándar para prototipos hardware/software.
1984	Macintosh	Apple Macintosh: primer PC de éxito masivo con GUI heredada de Xerox PARC.	Lleva Smalltalk/PARC al mercado.
1980	RISC	IBM 801 (John Cocke, ~1980) + Berkeley RISC (David Patterson 1980, acuña el término) + Stanford MIPS (John Hennessy 1981). Reduced Instruction Set Computer: pocas instrucciones simples, pipeline más rápido, mejor para compiladores.	Paradigma rival al CISC (x86). Da origen a SPARC (Sun 1987), MIPS, PowerPC, ARM (1985), Alpha. Hoy ARM domina mobile y empieza desktop con M1.
2010	RISC-V	Berkeley RISC-V (Krste Asanović + David Patterson, proyecto desde 2010 · ratificado 2014). Open ISA libre de royalties · sin dependencia de propietarios.	Alternativa abierta a ARM y x86. Adoptado por SiFive, Western Digital, Alibaba, NVIDIA (microcontroladores). Apuesta estratégica europea + china por soberanía tecnológica.
1985	Intel 80386	Intel 386: primer x86 de 32 bits con memoria protegida y modo virtual. 275.000 transistores.	Funda la era de los SO multitarea modernos (Windows NT, Linux, OS/2). Sin esto no hay servidores ni desktops modernos.
1993	Intel Pentium	Intel Pentium (P5): arquitectura superescalar con doble pipeline. 60–66 MHz iniciales, escala hasta 200 MHz.	Inicia la carrera agresiva del reloj hasta 1 GHz; populariza el branding "Pentium" durante una década.
2003	AMD Athlon 64	AMD Opteron (abr 2003) y Athlon 64 (sep 2003): primer x86 de 64 bits comercial. AMD inventa el ISA AMD64.	AMD se adelanta a Intel y obliga a toda la industria a migrar a 64 bits. Intel adopta AMD64 como "EM64T".
2006	Intel Core 2 Duo	Intel Core 2 Duo (Conroe): multi-core mainstream para consumidores. Fin de la guerra de GHz, comienza la de núcleos.	Recupera el liderazgo para Intel; modelo dominante durante 5 años hasta Sandy Bridge.
2007	iPhone (ARM mobile)	Apple iPhone (jun 2007) con CPU Samsung S5L8900 (ARM11): cómputo personal en el bolsillo. El primer Apple Silicon (A4, ARM Cortex-A8) llegará en 2010 con iPad y iPhone 4.	Inflexión de plataforma — funda la dominación ARM en mobile y cambia para siempre la economía del software.
2017	AMD Ryzen / Zen	AMD Zen 1 (Ryzen, mar 2017): renacimiento de AMD tras 10 años irrelevante. Estrena arquitectura chiplet (multi-die en un package).	Romper de la complacencia de Intel. Chiplet se vuelve estándar industrial (Intel, NVIDIA, Apple lo adoptan).
2020	Apple M1 · ARM	Apple M1 (nov 2020): primer SoC ARM en Mac tras 15 años de Intel. Eficiencia energética disruptiva (10W con rendimiento de chip de 35W).	ARM llega al desktop. Desencadena Snapdragon X Elite (2024) y la nueva ola Windows-on-ARM.
2024	NPU mainstream	Apple A17 Pro · Snapdragon X Elite · Intel Core Ultra · AMD Ryzen AI: las NPU se integran como bloque obligatorio del CPU. 40+ TOPS on-device.	IA on-device deja de ser opción. Microsoft "Copilot+ PC" (2024) define la categoría.
2026	Apple M5 + Intel 18A	Apple M5 series en N3P (TSMC) · Intel Panther Lake debuta el nodo 18A con backside power delivery (PowerVia) y RibbonFET (GAA).	La carrera de procesos se reabre tras una década de dominio TSMC. Intel intenta recuperar liderazgo de fabricación.
2027	Apple M6 + Vera (esp.)	Apple M6 esperado en TSMC N2 (2nm) · NVIDIA Vera CPU acoplada a Rubin GPU — primera CPU diseñada explícitamente como compañera de GPU para IA, con NVLink directo.	Convergencia CPU+GPU+NPU: el "computer for AI" deja de ser un cluster y se vuelve un único package.

Cadena causal: IC → 4004/8080 → Altair → Apple/IBM PC → Mac (GUI) → 386 (32 bits) → Pentium → Athlon 64 (64 bits) → Core 2 Duo (multi-core) → iPhone (mobile) → Ryzen (chiplet) → M1 (ARM en desktop) → NPU mainstream → carrera de procesos N3/N2/18A.

► LEE LA NARRATIVA COMPLETA · MICRO+PC

7 · INTELIGENCIA ARTIFICIAL

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1943	Neurona artificial	McCulloch y Pitts publican un modelo matemático de neurona artificial.	Semilla de las redes neuronales.
1948	Turochamp	Alan Turing y David Champernowne diseñan hacia 1948 un programa de ajedrez cuando aún no había una máquina adecuada para ejecutarlo; Turing simula después una partida a mano.	Primer diseño completo de un programa de ajedrez y puente entre computabilidad, búsqueda y la larga cadena de IA en juegos.
1950	Test de Turing	Turing propone su test en Computing Machinery and Intelligence.	Marco filosófico de referencia para la IA.
1956	Logic Theorist (1955–56)	Allen Newell, Herbert A. Simon y Cliff Shaw conciben en 1955 y presentan en 1956 Logic Theorist, capaz de demostrar teoremas de Principia Mathematica mediante búsqueda heurística.	Uno de los primeros programas de IA operativos; inaugura la demostración automática y el paradigma de resolución simbólica de problemas.
1956	Conferencia Dartmouth	McCarthy, Minsky, Shannon y Rochester organizan la conferencia que acuña "Artificial Intelligence".	Nace formalmente el campo.
1958	Perceptrón	Rosenblatt construye el Perceptrón: primera red neuronal entrenable.	Primera ola conexionista.
1965	DENDRAL	Edward Feigenbaum, Joshua Lederberg, Bruce Buchanan y colaboradores inician en Stanford Heuristic DENDRAL para inferir estructuras moleculares a partir de espectrometría de masas.	Primer gran sistema experto aplicado a un problema científico real; establece que el conocimiento especializado puede dominar la búsqueda.
1969	Perceptrons · revés conexionista	Minsky y Papert publican Perceptrons, un análisis riguroso de los perceptrones de una capa y de sus limitaciones, entre ellas representar XOR.	Contribuye al retroceso de la financiación y el interés por el conexionismo; no equivale por sí solo al primer invierno de toda la IA.
1973	Informe Lighthill · primer invierno	James Lighthill entrega al Science Research Council británico una evaluación muy crítica de gran parte de la investigación básica en IA.	Acelera la contracción del apoyo británico y simboliza el primer invierno de la IA; no fue la única causa del retroceso internacional.
1980	Sistemas expertos	Pico comercial de la IA simbólica: XCON (DEC), MYCIN (Stanford), Prolog (Colmerauer 1972) y proyectos como el japonés Fifth Generation Computer System.	Segunda ola comercial del GOFAI; sus costes, fragilidad y dificultad de mantenimiento preparan el segundo invierno de la IA.
1986	Backpropagation	Rumelhart, Hinton y Williams popularizan backpropagation (Werbos lo había formulado en 1974).	Resucita las redes neuronales.
1987	Segundo invierno de la IA	Desde 1987 se contraen el mercado de sistemas expertos y el de máquinas Lisp; también cae la financiación, en un ciclo que se prolonga hasta mediados de los noventa.	Separa el auge comercial simbólico de la recuperación estadística y conexionista que desembocará en el deep learning.
1997	Deep Blue	IBM Deep Blue vence a Garry Kasparov en match a 6 partidas.	Hito simbólico de IA simbólica + búsqueda + hardware especializado.
2011	IBM Watson · Jeopardy!	IBM Watson derrota a los campeones Ken Jennings y Brad Rutter en un desafío televisado de Jeopardy!, combinando recuperación de información, procesamiento del lenguaje y estimación de confianza.	Traslada los grandes retos de IA desde juegos con tablero a preguntas abiertas en lenguaje natural.
2012	AlexNet	Krizhevsky, Sutskever y Hinton ganan ImageNet con CNNs entrenadas en 2× GTX 580.	Detona la revolución del deep learning moderno.
2016	AlphaGo	DeepMind AlphaGo vence a Lee Sedol al Go.	Demuestra el poder de RL + redes profundas en juegos complejos.
2017	Transformer	Vaswani et al. (Google) publican Attention Is All You Need: arquitectura Transformer.	Base de todos los LLM actuales (GPT, Claude, Gemini, Llama).
1966	ELIZA (1964–66)	Joseph Weizenbaum desarrolla ELIZA en el MIT entre 1964 y 1966 y publica el sistema en 1966. Su guion DOCTOR simula a un psicoterapeuta rogeriano mediante reglas de correspondencia de patrones.	Abre 60 años de IA conversacional; demuestra el "efecto ELIZA" — antropomorfizamos cualquier interfaz que conversa.
2006	Deep Belief Nets	Hinton publica A fast learning algorithm for deep belief nets: pre-entrenamiento capa por capa de redes profundas. Resucita el deep learning tras dos décadas en el desierto.	Eslabón perdido entre backprop (1986) y AlexNet (2012). Sin esto no hay revolución 2012.
2009	ImageNet	Fei-Fei Li (Princeton/Stanford) presenta ImageNet: 14M de imágenes etiquetadas. La competición ILSVRC empieza en 2010.	Sin este dataset gigante no hay AlexNet (2012). Cambia la cultura: data > algoritmo.
1998	LeNet-5 (LeCun)	Yann LeCun publica LeNet-5: primera CNN exitosa entrenada con backprop, aplicada a reconocimiento de dígitos manuscritos (MNIST). Usada por bancos para cheques.	Eslabón directo entre backpropagation (1986) y AlexNet (2012). Funda la arquitectura CNN.
2013	Word2Vec	Tomas Mikolov + equipo Google publican Word2Vec (sep 2013): embeddings densos de palabras entrenados con redes shallow. "rey - hombre + mujer ≈ reina".	Funda los embeddings modernos. Antecesor conceptual del attention y los Transformers.
2014	GANs	Ian Goodfellow propone Generative Adversarial Networks: dos redes (generador + discriminador) compitiendo. Demuestra que la IA puede CREAR, no solo clasificar.	Funda la IA generativa moderna. Predecesor conceptual de los modelos de difusión.
2018	GPT-1 (OpenAI)	OpenAI publica GPT-1 (jun 2018): primer transformer decoder-only entrenado en BookCorpus + datos web. Demuestra que pre-training + fine-tuning escala.	Funda la rama autoregresiva (decoder-only) que llegará a GPT-3/4 y a todos los LLM modernos.
2018	BERT (Google)	Google libera BERT (oct 2018): pre-trained transformer bidireccional encoder-only. Primer salto cualitativo en NLP downstream tasks.	Funda la rama encoder-only · sustrato de búsqueda Google y procesamiento NLP empresarial.
2022	ChatGPT	OpenAI lanza ChatGPT (30 nov 2022): una interfaz conversacional basada en un LLM que alcanza una adopción global extraordinariamente rápida.	Cambio cultural y económico a escala global. Abre la era IA generativa de consumo.
2020	GPT-3 · scaling	OpenAI publica GPT-3 (175B parámetros). Demuestra "scaling laws": el rendimiento mejora predeciblemente con tamaño + datos + cómputo.	Cambia la estrategia de la industria: escalar es el camino. Inicia la carrera billion-scale.
2018	AlphaFold 1	DeepMind AlphaFold 1 gana CASP13 (dic 2018). Primer salto cualitativo de IA en plegamiento de proteínas, predecesor directo de AlphaFold 2.	Demuestra que el deep learning puede atacar problemas científicos duros. Lanza la trayectoria que culmina en el Nobel 2024.
2021	AlphaFold 2	DeepMind resuelve el plegamiento de proteínas con precisión cristalográfica. Libera la base de datos con 200M+ estructuras predichas (julio 2022).	Mayor aplicación científica de IA hasta la fecha. Transforma biología estructural; Premio Nobel de Química 2024 a Hassabis y Jumper.
2022	Diffusion	Stable Diffusion (Stability AI, ago 2022) + DALL-E 2 (OpenAI, abr 2022) + Midjourney. Difusión latente democratiza la IA generativa visual.	Generación visual masiva. Cambia el mercado del arte digital y la publicidad de la noche a la mañana.
2023	LLaMA (Meta · open)	Meta libera LLaMA (feb 2023): primer LLM grande con pesos abiertos competitivo con cerrados. Llama 2 (jul 2023), Llama 3 (abr 2024), Llama 4 (2025). Hugging Face explota.	Bifurca el campo en cerrado-élite vs open weights. Sin LLaMA no hay Mistral, DeepSeek, ni la ola de modelos open actuales.
2023	GPT-4 (OpenAI)	OpenAI GPT-4 (mar 2023): primer modelo multimodal masivo (texto + imagen). Salto cualitativo en razonamiento. Cerrado, vía API.	Establece el listón de capacidades. Inspira competencia (Claude, Gemini, DeepSeek). Antecesor directo de GPT-4o, GPT-5 (2025).
2024	o1 · reasoning	OpenAI o1 (sep 2024) introduce el extended thinking en producción: el modelo "piensa" antes de responder, generando cadenas de razonamiento internas largas.	Transición del paradigma "predicción de siguiente token" al de "razonamiento explícito". Antecede a Claude Opus 4.7.
2024	Nobel IA · Física + Química	El Nobel de Física 2024 reconoce a John Hopfield y Geoffrey Hinton por fundamentos del aprendizaje con redes neuronales. El de Química premia a David Baker por diseño computacional de proteínas y a Demis Hassabis y John Jumper por predicción de estructuras proteicas.	Convergen dos arcos: perceptrón → backprop → deep learning y biología computacional → AlphaFold → ciencia asistida por IA.
2023	Mistral · open EU	Mistral AI (París, fundada 2023): Mistral 7B (sep 2023) · Mixtral 8x7B (dic 2023, MoE) · Mistral Large (feb 2024). Open weights europeos competitivos, eficientes.	Demuestra que Europa puede competir en LLMs. Funda la rama MoE (Mixture of Experts) eficiente. Inspira ola open weights europea.
2023	Gemini Ultra → 2.5	Google DeepMind Gemini Ultra (dic 2023) · Pro · Flash · Nano · Gemini 2.5 (2025) con extended thinking. Multimodal nativo (texto + imagen + audio + video desde el pre-training).	Respuesta de Google a GPT-4. Backbone TPUs propios. Convergencia DeepMind + Google Brain bajo Demis Hassabis.
2024	Phi-3 · small models	Microsoft Phi-3 (mayo 2024): modelo pequeño (~3.8B params) competitivo con modelos 10× más grandes. Demuestra que la calidad de los datos importa más que la escala.	Funda la categoría SLM (Small Language Model). Habilita IA on-device y casos donde GPT-4 es overkill.
2025	DeepSeek-R1	DeepSeek (China) libera R1 (ene 2025): modelo de razonamiento con pesos abiertos competitivo en varias evaluaciones. Reaviva el debate sobre coste, eficiencia y apertura.	Recalibra la estrategia global de modelos abiertos. Las cifras publicadas para el entrenamiento final de V3 no equivalen al coste total de desarrollar R1.
2025	GPT-5	OpenAI lanza GPT-5 (ago 2025): unifica los linajes 4o (multimodal) y o-series (reasoning) en un solo modelo. Razonamiento adaptativo (decide cuándo pensar más).	Cierre del primer ciclo de la era LLM moderna. Próxima frontera: agentes autónomos persistentes + razonamiento extendido como default.
2026	Claude Opus 4.7 · agentes	Anthropic publica Claude Opus 4.7 el 16 de abril de 2026, con mejoras en ingeniería de software, visión de alta resolución y ejecución coherente de tareas largas con herramientas.	Consolida el paso de la respuesta aislada al trabajo agéntico prolongado, con planificación, verificación y memoria basada en archivos.
1948	Cibernética · Wiener	Norbert Wiener publica Cybernetics y formaliza el control y la comunicación mediante realimentación en animales, máquinas y sistemas sociales.	Une información, control y conducta; abre una genealogía distinta de la IA simbólica que desemboca en robótica, autonomía y agentes.
1949	Aprendizaje hebbiano	Donald O. Hebb propone que la activación repetida entre neuronas refuerza sus conexiones: una hipótesis neuropsicológica de aprendizaje por asociación.	Aporta el principio de plasticidad que enlaza la neurona formal de McCulloch-Pitts con perceptrones y redes que ajustan pesos.
1959	Samuel Checkers · machine learning	Arthur Samuel publica su sistema de damas, capaz de mejorar mediante autojuego y ajuste de una función de evaluación; el trabajo ayuda a fijar el término machine learning.	Convierte los juegos en laboratorio de aprendizaje y conecta Turochamp con Deep Blue, AlphaGo y el aprendizaje por refuerzo.
1980	Neocognitron	Kunihiko Fukushima presenta una red jerárquica con campos receptivos locales y tolerancia a desplazamientos para reconocer patrones visuales.	Es el puente arquitectónico entre el perceptrón y las redes convolucionales de LeNet y AlexNet.
1986	Redes bayesianas · Pearl	Judea Pearl sistematiza las redes de creencias y la propagación local de probabilidades para razonar con evidencia incompleta e incertidumbre.	Corrige la rigidez del verdadero/falso en la IA simbólica y conecta con diagnóstico, percepción, robótica probabilística y causalidad.
1992	Q-learning	Christopher Watkins y Peter Dayan publican la prueba de convergencia de Q-learning: un agente aprende el valor de actuar en cada estado sin conocer el modelo del entorno.	Hace operativo el aprendizaje por refuerzo sin modelo y enlaza Bellman con la posterior era de autojuego y agentes.
1995	Support Vector Machines	Corinna Cortes y Vladimir Vapnik publican las redes de vectores soporte, que maximizan el margen de separación y usan kernels para fronteras no lineales.	Representa la hegemonía del aprendizaje estadístico en los años noventa y dos mil, antes del retorno del deep learning.
1997	LSTM	Sepp Hochreiter y Jürgen Schmidhuber introducen Long Short-Term Memory para conservar y olvidar información mediante compuertas en secuencias largas.	Sostiene una generación de reconocimiento de voz, traducción y modelado secuencial antes de que el Transformer elimine la recurrencia.
2026	AlphaGenome	AlphaGenome, presentado en 2025 y publicado en Nature en 2026, predice miles de señales regulatorias y efectos de variantes a partir de secuencias de ADN de hasta un millón de pares de bases.	Amplía la IA para biología desde estructuras de proteínas hacia regulación genética y conecta datos genómicos, modelos de secuencia y validación experimental.

Cadena resumida: McCulloch-Pitts + cibernética + Hebb → ramas simbólica, conexionista y probabilística → aprendizaje estadístico y por refuerzo durante los inviernos → datos + GPU + AlexNet → secuencias, atención y Transformer → modelos fundacionales e IA científica. El grafo distingue habilitación, continuidad, paralelismo y conexión interdisciplinar.

► LEE LA NARRATIVA COMPLETA · IA

8 · PARALELISMO — De GPUs a TPUs

CUDA (2006) + AlexNet (2012) — los dos puntos de inflexión que crearon la era IA

Cuando NVIDIA libera CUDA en noviembre de 2006, las GPUs dejan de ser solo para gráficos: cualquier programador puede ejecutar código C/C++ sobre miles de núcleos paralelos. Pero durante 6 años nadie del mundo IA lo ve.

En septiembre de 2012, Krizhevsky, Sutskever y Hinton ganan ImageNet con AlexNet entrenada en 2 GPUs GeForce GTX 580. La industria entera entiende de golpe: el cuello de botella ya no es algoritmos, es FLOPS.

▸ EL EFECTO DOMINÓ
2012: AlexNet · GPUs como motor IA
2017: Tensor Cores · NVIDIA diseña silicio específico para IA
2024: NVIDIA capitaliza $3T+ · más que Apple, Microsoft y Google juntos
▸ Hoy NVIDIA domina porque adoptó CUDA cuando nadie lo necesitaba.

CUDA es el ejemplo paradigmático del "adelantarse al mercado vale 20 años de ventaja". Sin CUDA no hay AlexNet; sin AlexNet no hay deep learning moderno; sin deep learning moderno no hay LLMs ni Anthropic ni esta página.

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1999	GeForce 256	NVIDIA GeForce 256: primera GPU comercial con T&L acelerado por hardware.	Despega el cómputo gráfico programable.
2001	Shaders programables	GeForce 3 y shaders programables: la GPU empieza a verse como procesador genérico.	Base para GPGPU.
2006	CUDA	NVIDIA CUDA convierte la GPU en plataforma de cómputo general en C/C++.	Habilita HPC, simulación científica e IA en GPU.
2009	OpenCL	Khronos Group publica OpenCL 1.0 (creado por Apple en 2008, donado al consorcio). Estándar abierto para cómputo paralelo cross-vendor: CPU + GPU + FPGA + DSP. Apoyado por Apple, AMD, Intel, IBM, ARM.	Alternativa abierta a CUDA. CUDA gana la guerra del ecosistema, pero OpenCL mantiene viva la idea de paralelismo portable. Ancestro espiritual de SYCL, oneAPI, ROCm y los esfuerzos open-source actuales contra el lock-in de NVIDIA.
2017	Tensor Cores	NVIDIA Volta → Hopper → Blackwell: Tensor Cores, NVLink, HBM3.	Hardware específico para entrenar e inferir LLMs.
2015	TPU v1 (Google)	Google diseña su primer ASIC para ML, inicialmente solo uso interno (Search, Translate, Photos). Inferencia 8-bit, custom para sus propios modelos.	Funda la era ASIC para ML. Inspira a hyperscalers a integrar verticalmente silicio.
2017	TPU v2 · cloud	Google TPU v2: primer TPU público vía Google Cloud. Capaz de entrenar (no solo inferir). 180 TFLOPS bfloat16. Funda los "Cloud TPU pods".	TPUs salen del datacenter privado y se vuelven producto. Compite directamente con NVIDIA en cloud training.
2019	Cerebras WSE-1	Cerebras Wafer-Scale Engine: chip del tamaño de una oblea entera (462 cm², 1.2T transistores). Paradigma radical: un solo chip = lo que antes era un cluster de cientos.	Demuestra que existen alternativas viables al modelo modular de NVIDIA. Apuesta por escalar el chip antes que el cluster.
2024	TPU v6 Trillium	Google TPU v6 (Trillium), anunciado mayo 2024. Sexta generación · 4.7× perf/chip vs v5e. Backbone de Gemini 1.5 y Gemini 2.	Eslabón intermedio entre v5p (2023) y v7 Ironwood (2025).
2023	TPU v5p	Google TPU v5p: producción a escala con pods de 8.960 chips. Backbone del entrenamiento de Gemini.	Demuestra que un hyperscaler puede competir con NVIDIA en su propia liga, con silicio propio + modelo propio.
2024	Hyperscaler Silicon	AWS Trainium 2 · Microsoft Maia · Meta MTIA. Cada hyperscaler diseña sus propios chips para reducir dependencia de NVIDIA.	Vertical integration extrema: cloud + chip + modelo + servicio = pila propia. Cambia la economía del entrenamiento.
2024	Etched Sohu	Etched Sohu: ASIC dedicado SOLO a Transformers. Sacrifica generalidad por ~10× rendimiento vs GPU. Apuesta arriesgada al estancamiento de la arquitectura.	Si el Transformer dura, gana; si surge nueva arquitectura, queda obsoleto. Refleja la confianza extrema en la apuesta Transformer.
2025	TPU v7 Ironwood	Google TPU v7 (Ironwood): generación actual. ~5× rendimiento vs v5p, optimizado para inferencia de modelos de razonamiento extendido.	TPU se diseña explícitamente para la era post-pretraining: extended thinking + agentes consumen mucha más inferencia.
2027	TPU v8 / Trainium 3 (esp.)	TPU v8 + AWS Trainium 3 esperados. Integración óptica (Co-Packaged Optics), precisión sub-FP4, mayor ancho de banda inter-chip.	Próxima frontera: el cuello de botella se desplaza de cómputo bruto a comunicación entre chips.
2026	NVIDIA Rubin	NVIDIA Rubin (R100), anunciado en GTC 2024 y lanzado en producción a finales de 2026. HBM4, NVLink 6, sucesor de Blackwell.	Continúa la cadencia anual NVIDIA: Hopper → Blackwell → Rubin.
2027	Vera Rubin Ultra (esp.)	NVIDIA Vera Rubin Ultra (2027 previsto): integra CPU Vera + GPU Rubin Ultra en una sola plataforma "AI factory" para entrenamiento billion-scale.	Hardware diseñado específicamente para la nueva clase de modelos de razonamiento extendido.

Cadena causal: GPU como gaming → CUDA convierte GPU en cómputo general → AlexNet (2012) demuestra IA en GPU → NVIDIA Tensor Cores y Google TPU bifurcan el camino → todos los hyperscalers diseñan silicio propio → ASICs dedicados a Transformers → próxima frontera: óptica + sub-FP4.

VRAM / HBM — subcomponente decisivo, no bloque fundacional

Función: memoria de trabajo de alta velocidad (GDDR/HBM); almacena texturas, datos y tensores.
Por qué importa: tamaño = qué modelos caben (cuello de botella en LLM local); ancho de banda = velocidad de alimentación.
Por qué no es fundacional: es una optimización, no un cambio de paradigma.

► LEE LA NARRATIVA COMPLETA · PARALELISMO

9 · COMPUTACIÓN CUÁNTICA

Qubit físico ≠ qubit lógico — el malentendido nº 1 del público

Cuando lees "Willow tiene 105 qubits" o "IBM Heron 133 qubits", se trata de qubits físicos: unidades cuánticas reales en hardware (superconductores, iones atrapados, fotones…). Pero los qubits físicos individuales son ruidosos — decoheren en microsegundos — y por sí solos NO sirven para cómputo útil.

Lo que realmente importa son los qubits lógicos: un qubit "perfecto" formado por decenas a miles de qubits físicos entrelazados + códigos de corrección de errores cuánticos (QEC). Por cada qubit lógico hacen falta entre 100 y 10.000 qubits físicos, según la calidad del hardware.

▸ MÉTRICA REAL DE LA AMENAZA CUÁNTICA
Romper RSA-2048 requiere ~1.300 qubits LÓGICOS · ~1 semana (Gidney 2024).
Hoy los chips más avanzados demuestran <100 qubits lógicos.
▸ Amenaza efectiva: a años (probablemente década) de distancia.
▸ Pero "harvest now, decrypt later" obliga a migrar a PQC YA.

Por eso la columna de SUPERCOMPUTACIÓN usa flops y la cuántica usa qubits lógicos: son métricas de progreso radicalmente distintas. Cada chip cuántico debe reportar ambos números (físicos y lógicos demostrados) para evaluar honestamente su utilidad.

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1980	Modelo cuántico	Benioff propone un modelo cuántico de máquina de Turing.	Primer ordenador cuántico teórico.
1982	Simulación cuántica	Feynman propone simular sistemas físicos con ordenadores cuánticos.	Motivación fundacional del campo.
1985	Computador universal	Deutsch formula el computador cuántico universal.	Análogo cuántico de la máquina universal de Turing.
1994	Algoritmo de Shor	Algoritmo de factorización en tiempo polinómico cuántico.	Demuestra ventaja práctica → reto a RSA y a la criptografía clásica.
1995	QEC · qubit lógico	Peter Shor (1995) publica los primeros códigos de corrección de errores cuánticos · Andrew Steane (1996) los códigos CSS · Alexei Kitaev (1997-2003) propone los surface codes. Nace el concepto de qubit lógico = N qubits físicos entrelazados + corrección de errores que se comporta como un qubit "perfecto".	Hace teóricamente viable la computación cuántica útil. Sin QEC no hay FTQC. Métrica clave del campo: cuántos qubits lógicos demuestra cada chip.
2024	Estim. ruptura RSA	Craig Gidney + Martin Ekerå (2019) estimaron ~20M qubits físicos para romper RSA-2048 en 8h. Optimizaciones de Gidney (2024) reducen a ~1.300 qubits lógicos · ~1 semana para RSA-2048 o ECC-256.	Métrica concreta del "cuándo cae la cripto clásica". Mientras los chips actuales tienen <100 qubits lógicos demostrados, la amenaza efectiva está a años. Pero "harvest now, decrypt later" justifica migrar a PQC ya.
1996	Algoritmo de Grover	Búsqueda cuántica no estructurada en √N.	Segundo algoritmo cuántico paradigmático.
1998	2 qubits (NMR)	Chuang, Gershenfeld y Kubinec demuestran un ordenador cuántico de 2 qubits con NMR.	Primera demostración experimental relevante.
2019	Sycamore	Google Sycamore (53 qubits) anuncia "supremacía cuántica" (disputada por IBM).	Primer hito mediático del campo.
2024	Willow	Google Willow (105 qubits): avance significativo en corrección de errores cuánticos.	Primer signo serio hacia computación tolerante a fallos.
2023	IBM Heron + System Two	IBM presenta el procesador Heron R1 (4 dic 2023, 133 qubits, error de gate 3× mejor que Eagle) integrado en IBM Quantum System Two: primer sistema modular de IBM que combina varios chips. Heron R2 (jul 2024) escala a 156 qubits.	Materialización del roadmap IBM (2020): primer sistema cuántico modular comercial. Antecesor directo de Cockatoo (2027 esp.).
2025	MS Majorana 1	Microsoft anuncia Majorana 1 (feb 2025), una arquitectura InAs/Al que la empresa presenta como procesador basado en un núcleo topológico y diseñado para escalar. La evidencia de una fase topológica y de qubits topológicos operativos sigue bajo debate científico.	Explora una vía distinta de los qubits superconductores de Google e IBM; su posible protección topológica aún requiere validación independiente.
2025	IBM Loon + Nighthawk	IBM anuncia Loon y Nighthawk (12 nov 2025). Loon: primer chip que demuestra todos los componentes técnicos para computación cuántica tolerante a fallos (FTQC) — couplers de larga distancia, multiplexors. Nighthawk: 120 qubits orientado a "advantage" computacional.	Pieza siguiente del roadmap IBM tras Heron. Antecesor inmediato de Cockatoo (2027).
2027	IBM Cockatoo (esp.)	Hito intermedio del roadmap IBM Quantum: 2027 prevé Cockatoo, primer sistema multi-chip cuántico que acopla módulos Kookaburra mediante L-couplers (acopladores resonantes microondas).	Paso clave hacia Starling (2029) — primer ordenador cuántico tolerante a fallos a gran escala.

► LEE LA NARRATIVA COMPLETA · CUÁNTICA

10 · SUPERCOMPUTACIÓN

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1976	Cray-1	Cray-1: referencia fundacional de la supercomputación vectorial moderna.	Define el género.
2000	Folding@home	Vijay Pande (Stanford) lanza Folding@home (oct 2000): primer proyecto exitoso de cómputo distribuido voluntario para simulación molecular (plegamiento de proteínas). Llegó a ~470 PF durante COVID-19 (mar 2020), brevemente más potente que el #1 del TOP500.	Antecesor conceptual de SETI@home (1999) a escala masiva. Demuestra que la suma de millones de PCs domésticos puede competir con supercomputadoras. Pre-AlphaFold por 21 años — el problema del plegamiento ya se atacaba con FLOPS antes de IA.
1997	ASCI Red · 1 TF	ASCI Red (Sandia/Intel): primer superordenador en superar 1 teraflop.	Demuestra que clusters x86 pueden liderar el TOP500.
2008	Roadrunner · 1 PF	Roadrunner (LANL/IBM): primer superordenador en superar 1 petaflop.	Primera arquitectura híbrida ganadora (Cell + Opteron).
2020	Fugaku	Fugaku (RIKEN, Japón) · arquitectura ARM (Fujitsu A64FX). #1 TOP500 desde junio 2020 hasta noviembre 2021 (442 PF Linpack). Primer ARM en lo más alto.	Demuestra la viabilidad de ARM en supercomputación. Reta el dominio x86+GPU.
2022	Frontier · 1 EF	Frontier (ORNL, HPE+AMD): primer superordenador exascale oficialmente confirmado (2022).	Inicia la era exascale, con GPUs como acelerador dominante.
2024	Aurora	Aurora (Argonne, Intel): segundo exascale; arquitectura GPU Intel.	Diversifica proveedores en la era exascale.
2024	El Capitan	El Capitan (LLNL, HPE+AMD): Nº 1 del TOP500 desde nov-2024 (>1.7 EF).	Consolida la era exascale.
2025	JUPITER (EU)	JUPITER Booster (EuroHPC/Jülich): primer exascale europeo (2025); 4º del TOP500.	Soberanía tecnológica europea.

Patrón: desde Roadrunner (2008) la supercomputación es híbrida CPU+acelerador; desde Frontier (2022) el acelerador es la GPU.

► LEE LA NARRATIVA COMPLETA · SUPERCOMPUTACIÓN

11 · BASES DE DATOS — De Codd a la memoria agéntica

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1970	Modelo relacional	E.F. Codd (IBM Research) publica A Relational Model of Data for Large Shared Data Banks. Funda la teoría de bases de datos relacionales (tuplas + álgebra relacional).	Marco teórico que dominará la gestión de datos durante 50 años.
1974	IBM System R	IBM Research desarrolla System R: primer prototipo funcional de RDBMS. Estrena el lenguaje SEQUEL (luego SQL).	Demuestra que el modelo de Codd es implementable. SQL nace aquí.
1979	Oracle V2	Oracle V2 (Larry Ellison): primer RDBMS comercial. Curiosamente, Oracle adelanta a IBM en lanzar comercialmente la idea que IBM había inventado.	Inicia la industria de bases de datos comercial; dominará empresa durante décadas.
1990	BLAST · bioinformática	Stephen Altschul + equipo NCBI publican BLAST (Basic Local Alignment Search Tool, 1990): búsqueda heurística de similitud entre secuencias biológicas (DNA, RNA, proteínas) a velocidad práctica. Algoritmo más citado de la biología computacional.	Funda la bioinformática práctica. Sustrato del Human Genome Project (1990-2003), de toda la genómica moderna, y precursor conceptual de la búsqueda vectorial en biología.
1996	PostgreSQL · MySQL	MySQL 1.0 (mayo 1995). PostgreSQL — proyecto renombrado de Postgres en 1996; PostgreSQL 6.0 release oficial enero 1997. Democratizan el RDBMS open source.	Bajan la barrera de entrada de las bases relacionales a coste cero. Sustrato de la web 2.0 y prácticamente todo SaaS posterior.
2007	NoSQL · BigTable · Dynamo	Google publica BigTable (2006) y Amazon Dynamo (2007). Surge el movimiento NoSQL (CouchDB, Cassandra, MongoDB 2009) para escalar más allá del modelo relacional.	La escala web fuerza nuevos modelos de datos: documento, columna, clave-valor.
2017	FAISS (Meta)	Meta (Facebook AI Research) abre FAISS: librería de búsqueda de similitud vectorial sobre embeddings. Hace prácticas búsquedas de similitud a millones de vectores.	Tecnología que después permite las bases vectoriales y RAG.
2019	Vector DBs · Pinecone+	Weaviate (open source, 2019) y Milvus (2019) como pioneros · Pinecone fundada 2019, lanzamiento público enero 2021. Bases vectoriales como producto independiente.	Sustrato técnico que más tarde alimentará el RAG con LLMs.
2024	pgvector + Iceberg	pgvector (creado por Andrew Kane, abr 2021) se vuelve estándar en PostgreSQL en 2024: las vector DBs aisladas dejan de ser obligatorias. Apache Iceberg (open source 2018) gana la guerra de open table formats (Snowflake, Databricks, AWS lo adoptan en 2023-2024).	Convergencia: stacks OLAP/OLTP/vector en un solo motor. Fin de la fragmentación.
2024	MCP (Anthropic)	Anthropic libera el Model Context Protocol (nov 2024): primer estándar abierto agente↔datos. Adopción explosiva en 2025 (OpenAI, Google, Microsoft, decenas de DBs).	El "USB-C para IA" — equivalente al primer estándar que ata LLMs con cualquier fuente de datos.
2027	Agentic memory (esp.)	Convergencia esperada: vector + grafo + memoria episódica + SQL en plataformas pensadas para agentes (Mem0, Zep, próxima generación de Snowflake/Databricks/Mongo). Bases que se auto-indexan según uso agéntico.	Próxima capa fundacional: memoria persistente compartida entre agentes.

Cadena causal: Codd (modelo) → System R (SQL) → Oracle (comercial) → PostgreSQL (open) → NoSQL (escala web) → FAISS / Vector DBs (semántica) → pgvector + MCP (convergencia) → memoria agéntica (era IA).

► LEE LA NARRATIVA COMPLETA · DATA

12 · INTERNET Y WEB — De ARPANET al edge

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1969	ARPANET	Primer envío de paquetes IP entre UCLA y Stanford (29 oct 1969). Funda internet como red conmutada de paquetes.	Origen físico de internet. Demuestra que la conmutación de paquetes funciona a escala.
1983	TCP/IP "flag day"	1 de enero de 1983: ARPANET completa la migración a TCP/IP (especificado por Cerf y Kahn en 1973–78). Día oficial del nacimiento de internet moderno.	Estándar abierto que permite la interoperación de redes heterogéneas. Funda la era inter-red.
1989	WWW · Berners-Lee	Tim Berners-Lee propone el WWW en CERN (1989) e implementa el primer servidor + navegador (1990–91). HTTP, HTML, URL.	Capa de aplicación que populariza internet más allá de email/FTP.
1993	Mosaic browser	NCSA Mosaic: primer navegador gráfico ampliamente adoptado. Marc Andreessen luego funda Netscape (1994).	Web visual y comercial. Sin Mosaic no hay boom dotcom.
1998	Google · PageRank	Page y Brin lanzan Google con PageRank: organiza la web mediante grafo de hiperenlaces. Búsqueda + indexación masiva.	Capa de descubrimiento que hace usable la web a escala mundial.
2006	AWS · cloud pública	Amazon Web Services lanza S3 (mar 2006) y EC2 (ago 2006): infraestructura computacional como servicio. Funda la era cloud.	Cambia la economía de la computación: el hardware deja de ser barrera de entrada.
2014	Kubernetes	Google libera Kubernetes (basado en Borg interno). Estándar de orquestación de contenedores. Sustrato del cloud-native moderno.	Capa de abstracción que permite escalar sistemas distribuidos sin atarte a un proveedor.
2017	Edge computing	Cloudflare Workers (2017) · Vercel Edge · AWS Lambda@Edge. Cómputo cerca del usuario en lugar del data center central. 5G a escala (2019–21) acelera la adopción.	Internet se desplaza del centro al borde; latencia mínima como nueva variable competitiva. Web3 (Ethereum smart contracts, DeFi) es un fenómeno paralelo en CRIPTOGRAFÍA, no aquí.

Cadena causal: ARPANET → TCP/IP (estándar) → WWW (capa app) → Mosaic (navegador) → Google (descubrimiento) → AWS (cloud) → Kubernetes (orquestación) → Edge (descentralización).

► LEE LA NARRATIVA COMPLETA · INTERNET

13 · ROBÓTICA — De las tortugas cibernéticas a los Foundation Models

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1949	ELMER y ELSIE (1948–49)	William Grey Walter construye en Bristol sus tortugas cibernéticas ELMER y ELSIE: robots móviles autónomos con sensores de luz y contacto y circuitos analógicos mínimos.	Demuestran que reglas y realimentación simples pueden producir conducta emergente; anteceden a la robótica móvil autónoma.
1961	Unimate	Devol y Engelberger instalan Unimate en General Motors: primer robot industrial. Manipula piezas calientes en línea de montaje.	Funda la robótica industrial; 60 años de manipulación automática derivan de aquí.
1972	Shakey · SRI	SRI construye Shakey: primer robot móvil con razonamiento (planificador STRIPS). Combina visión, planificación y movimiento.	Primera integración real IA + percepción + actuación. Inspira décadas de robótica autónoma.
1978	PUMA 600	Unimation lanza el PUMA: brazo programable con 6 grados de libertad. Estándar industrial durante 30 años.	Define la geometría que veremos en todos los brazos industriales modernos.
1986	SLAM · mapa estocástico	Randall Smith, Matthew Self y Peter Cheeseman presentan el mapa estocástico, formulación fundacional para estimar a la vez la posición del robot y las relaciones espaciales inciertas de su entorno.	Base probabilística del problema que después se denominará SLAM: localizarse mientras se construye el mapa.
1994	PROMETHEUS · VaMP/VITA-2	En la demostración final de PROMETHEUS, VaMP y VITA-2 recorren más de 1.000 km en autopistas próximas a París, con tráfico normal, cambios de carril y velocidades de hasta 130 km/h bajo supervisión humana de seguridad.	Prueba temprana de conducción basada en visión a escala real y eslabón europeo hacia los vehículos autónomos modernos.
2002	Roomba	iRobot lanza Roomba: primer robot doméstico de éxito masivo. Más de 50 millones de unidades vendidas.	Primera vez que la robótica entra al hogar como producto, no como demostración.
2005	Stanley · DARPA Grand Challenge	El vehículo autónomo Stanley, de Stanford, gana el DARPA Grand Challenge de 2005 al completar 132 millas de desierto en 6 h 53 min 58 s.	La combinación de aprendizaje, razonamiento probabilístico y sensores convierte la conducción autónoma en una plataforma de investigación viable.
2007	DARPA Urban Challenge	DARPA Urban Challenge: vehículos autónomos circulan en tráfico urbano simulado. Ganan Boss (CMU) y Junior (Stanford).	Catapulta la conducción autónoma — Waymo, Cruise, todos los demás salen de aquí.
2015	Spot · Boston Dynamics	Boston Dynamics presenta Spot: cuadrúpedo eléctrico ágil (Big Dog 2005 lo precede en era hidráulica). Comercializado en 2019.	La robótica móvil deja de ser laboratorio y entra en industria.
2024	Humanoides comerciales	Ola comercial de humanoides: Figure 01, Tesla Optimus Gen 2, 1X NEO, Apptronik Apollo, Unitree H1. Servomotores eléctricos económicos + LLMs para razonamiento.	Primer momento creíble de humanoide útil. Foundation models los hacen viables.
2024	Robot Foundation Models	Modelos VLA (Vision-Language-Action) materializados: Google RT-2 (jul 2023), Open X-Embodiment / RT-X (oct 2023), OpenVLA (jun 2024) y especialmente π0 de Physical Intelligence (Sergey Levine + equipo, paper 31 oct 2024) — primer modelo generalista multi-tarea entrenado en datasets cross-embodiment.	La robótica deja de programarse tarea a tarea. Un modelo único maneja miles de tareas en distintas plataformas físicas.
2027	Robot FM cross-embodiment (esp.)	Próxima frontera esperada: modelos VLA verdaderamente generalistas que transfieren entre plataformas físicas radicalmente distintas (humanoide, brazo industrial, dron, vehículo) sin fine-tuning. π2/π3 + RT-3 + sucesores de OpenVLA escalando a billion+ trayectorias.	Cierre de la promesa: una sola IA física que opera en cualquier cuerpo. Equivalente robótico de los LLMs generales.

Cadena resumida: Grey Walter (control reactivo) → Unimate (industrial) → Shakey + A*/STRIPS (planificación) → SLAM + PROMETHEUS + Stanley (navegación) → consumo y movilidad → humanoides + modelos VLA.

► LEE LA NARRATIVA COMPLETA · ROBÓTICA

14 · SIMULACIÓN — De Monte Carlo a los World Models

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1947	Monte Carlo	Stanislaw Ulam y John von Neumann desarrollan los métodos Monte Carlo en el Manhattan Project. Aleatoriedad como estrategia computacional para problemas físicos intratables.	Funda la simulación numérica como disciplina. La aleatoriedad bien usada es tan poderosa como el determinismo.
1950	Weather (ENIAC)	Charney, Fjørtoft y von Neumann ejecutan la primera predicción meteorológica numérica en ENIAC (abril 1950). En 1955 ya hay predicciones operacionales (Joint Numerical Weather Prediction Unit).	Primer fenómeno físico complejo simulado con utilidad práctica diaria. Origen del modelado climático moderno.
1973	SPICE	Donald Pederson y equipo (UC Berkeley) crean SPICE: Simulation Program with Integrated Circuit Emphasis. Open source desde el inicio.	Sustrato técnico de TODA la microelectrónica posterior — sin SPICE no se diseñan chips. La simulación se vuelve infraestructura industrial.
1989	CFD industrial	Computational Fluid Dynamics se vuelve estándar industrial. Boeing 777 (1995): primer avión "100% diseñado en ordenador" sin maqueta física.	La simulación reemplaza el túnel de viento. Inicia la era del producto diseñado-antes-de-fabricado.
2002	A New Kind of Science	Stephen Wolfram publica A New Kind of Science. Tesis: reglas computacionales simples generan complejidad arbitraria. Universo como autómata.	Conecta los autómatas autoreplicantes (von Neumann 1948) con simulación moderna; expande la idea de que el cómputo es el lenguaje de la naturaleza.
2008	PhysX · Bullet	NVIDIA adquiere Ageia (4 feb 2008) y libera PhysX como SDK gratuito; Bullet Physics (open source, Erwin Coumans) ya disponible desde 2003. Democratizan la física en tiempo real.	Game physics se convierte en infraestructura de propósito general — base de los simuladores que entrenan robots y vehículos autónomos.
2021	NVIDIA Omniverse	NVIDIA Omniverse: plataforma de gemelos digitales en tiempo real basada en USD (Universal Scene Description, Pixar). Multi-usuario, físicamente correcta, colaborativa.	Funda los digital twins como producto. BMW, Boeing, fábricas Foxconn los adoptan como práctica predeterminada.
2022	Digital Twins mainstream	Gemelos digitales se vuelven práctica industrial estándar: BMW iFactory, Boeing, Singapore Virtual, NVIDIA factories simuladas.	Industria pesada empieza a "simular antes de construir" como práctica predeterminada — encarna literalmente el manifesto.
2024	World Models · Sora	OpenAI presenta Sora (15 feb 2024) y Google DeepMind publica Genie (23 feb 2024): modelos generativos de vídeo o entornos interactivos que capturan regularidades visuales y parte de la dinámica observada, aunque fallan en física y causalidad.	Los modelos aprendidos se suman a la simulación programada; abren una vía para generar escenarios sin modelar cada regla a mano.
2025	NVIDIA Cosmos	NVIDIA anuncia Cosmos en CES 2025 (6 ene): plataforma de modelos fundacionales de mundo, tokenizadores y canal de preparación de vídeo para desarrollar IA física en robótica y vehículos autónomos.	Permite generar y transformar vídeo sintético para ampliar datos y probar escenarios; complementa simuladores como Isaac Sim, no los sustituye.
2027	Foundation simulation (esp.)	Hipótesis editorial, no producto anunciado: modelos multimodales podrían combinar generación de escenarios, predicción y simuladores especializados mediante interfaces en lenguaje natural. No existe evidencia de un modelo único capaz de simular con fidelidad cualquier dominio físico.	Horizonte de convergencia entre modelos de mundo y simulación científica; se mantiene como escenario explícitamente especulativo para 2027.
2025	Aardvark Weather	Aardvark Weather demuestra en Nature una predicción meteorológica basada en aprendizaje que transforma observaciones en pronósticos globales y locales sin depender de la cadena numérica convencional durante el despliegue.	Setenta y cinco años después de ENIAC, la IA aprende de extremo a extremo una cadena científica antes compuesta por múltiples modelos y supercomputadores.

Cadena causal: Monte Carlo → meteorología en ENIAC → SPICE + CFD → autómatas y física de juego → Omniverse → modelos de mundo y Aardvark Weather → orquestación hipotética. Conviven solvers físicos, modelos aprendidos y sistemas híbridos; ninguno vuelve innecesaria la validación científica.

► LEE LA NARRATIVA COMPLETA · SIMULACIÓN

15 · ALGORITMOS — De Minimax al razonamiento agéntico

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1928	Minimax (von Neumann)	Von Neumann publica Zur Theorie der Gesellschaftsspiele: teorema minimax. Funda la teoría de juegos. Décadas después se convierte en el corazón de la IA de juegos clásica.	Sin minimax no hay Deep Blue (1997) ni la primera era de IA jugando ajedrez/damas.
1956	Dijkstra · shortest path	Edsger Dijkstra publica el algoritmo de camino más corto en grafos (escrito en 20 minutos en un café de Amsterdam). Base de toda la algoritmia de grafos.	Funda la disciplina de algoritmos sobre grafos; sustrato de routing internet, GPS, redes neuronales como grafos.
1968	A* · búsqueda heurística	Peter Hart, Nils Nilsson y Bertram Raphael publican A* en 1968 en el contexto del proyecto Shakey de SRI: combina coste acumulado y una heurística del coste restante.	Generaliza la búsqueda de caminos óptimos y conecta algoritmos de grafos con navegación robótica y planificación de IA.
1962	Quicksort (Hoare)	C. A. R. Hoare publica Quicksort: divide-and-conquer recursivo, complejidad media O(n log n). El algoritmo de ordenación más usado del siglo XX.	Define el patrón divide-and-conquer como técnica fundamental.
1968	Knuth · TAOCP Vol 1	Donald Knuth publica The Art of Computer Programming Vol 1. Formaliza el análisis riguroso de algoritmos como disciplina académica. Notación O() y análisis amortizado.	Inventa la disciplina del análisis algorítmico. Aún hoy referencia obligada (Vol 4B publicado en 2022).
1971	STRIPS · planificación	Richard Fikes y Nils Nilsson publican STRIPS, un planificador que busca secuencias de operadores capaces de transformar un estado inicial en otro que satisface un objetivo.	Funda la planificación clásica y hace operativa en Shakey la cadena percepción → representación → plan → acción.
1971	Cook-Levin · NP	Stephen Cook y Leonid Levin (independientemente) demuestran el teorema Cook-Levin: SAT es NP-completo. Funda la teoría de la complejidad computacional.	Define la frontera entre lo tratable (P) y lo intratable (NP). Pregunta P=NP sigue abierta — premio Millennium (1M USD).
1976	Diffie-Hellman	Whitfield Diffie y Martin Hellman publican el primer protocolo de intercambio de claves sin canal seguro previo. Funda la criptografía de clave pública.	Hace posible la web segura, banca online, mensajería cifrada. Sin esto no hay e-commerce ni HTTPS.
1977	RSA	Rivest, Shamir y Adleman publican RSA: primer cifrado de clave pública práctico. Basado en la dificultad de factorizar enteros grandes.	Sustrato de toda la criptografía web hasta que llegue la post-cuántica. Bajo amenaza directa por Shor (1994).
1998	PageRank *1	Larry Page y Sergey Brin (Stanford) publican PageRank en enero/abril 1998 (paper "Anatomy of a Large-Scale Hypertextual Web Search Engine"). Trabajo iniciado como BackRub en 1996. Importancia = eigenvector del grafo web.	Algoritmo de grafos que organiza la web. Fundamento de Google.
2004	MapReduce (Google)	Jeffrey Dean y Sanjay Ghemawat (Google) publican el patrón MapReduce: distribuir cómputo masivo con dos primitivas (map + reduce). Inspira Hadoop, Spark, todo el big data.	Funda la era del procesamiento distribuido masivo. Hace posible analizar la web entera en commodity hardware.
2008	Nakamoto consensus	Satoshi Nakamoto publica el whitepaper de Bitcoin: primer consenso distribuido sin autoridad central (proof-of-work). Resuelve el problema bizantino a escala global.	Funda toda la era cripto/Web3. Aplicaciones más allá de moneda: identidad, votación, supply chain.
2017	Attention *2	Vaswani et al. proponen el mecanismo de atención escalado por producto-punto como primitiva algorítmica. Sin esto no hay Transformer.	Algoritmo abstracto que se convierte en la unidad básica de cómputo de toda la IA generativa moderna.
1994	DNA computing (Adleman)	Leonard Adleman (USC) publica el primer algoritmo computacional resuelto con DNA: el problema del camino hamiltoniano para 7 nodos, codificado en cadenas de DNA y resuelto por bioquímica. Tomó días pero demostró el principio.	Funda el campo del DNA computing. Demuestra que la computación no requiere silicio: cualquier sustrato capaz de procesar información puede computar (DNA, proteínas, sistemas moleculares).
2024	Algoritmos agénticos	ReAct (2022) → Tree-of-Thoughts (2023) → MCTS sobre LLMs → tool use estructurado → planning con verificación. Base operativa de los agentes IA.	La inteligencia artificial vuelve a abrazar la búsqueda algorítmica clásica — pero con LLMs como heurística. Cierra el círculo Minimax → MCTS → Tree-of-Thoughts.
1957	Bellman · decisión de Markov	Richard Bellman formula la programación dinámica y los procesos de decisión de Markov para optimizar secuencias de acciones bajo incertidumbre.	Proporciona la base matemática del valor, la política y la recompensa que heredará el aprendizaje por refuerzo.
2025	AlphaEvolve · descubrimiento algorítmico	Google DeepMind presenta AlphaEvolve, un agente evolutivo que combina modelos de lenguaje, generación de código y evaluadores automáticos para buscar y optimizar algoritmos.	Candidato provisional documentado por un white paper: extiende los agentes de programación desde ejecutar tareas hacia descubrir procedimientos verificables.

Cadena resumida: Minimax (estrategia) + Bellman (decisión secuencial) → Dijkstra y A* (búsqueda) → STRIPS (planificación) → análisis y límites → criptografía, big data y consenso → atención → agentes → AlphaEvolve. No todos los pasos son causalidad directa: el grafo conserva el tipo de relación y la madurez de la evidencia se explica en el texto.

Nota sobre duplicidades conceptuales (*): los nodos marcados con * aparecen también en otras columnas — el mismo hito visto desde un ángulo distinto, no un error.
*¹ PageRank (1996) ↔ Google en INTERNET — aquí como algoritmo de grafos, allí como producto de descubrimiento web.
*² Attention (2017) ↔ Transformer en IA — aquí como primitiva algorítmica abstracta, allí como modelo concreto que la encarna.

► LEE LA NARRATIVA COMPLETA · ALGORITMOS

► TABLAS EXTRA (16–23) conceptos transversales · no en grafo

16 · STORAGE (tabla extra · no en grafo)

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1956	IBM RAMAC 305	Primer disco duro · 5 MB · 50 platos de 24"	Funda el almacenamiento aleatorio en máquinas comerciales
1971	Floppy de 8" (IBM)	Disco extraíble · 79 KB	Distribución de software portable
1980	Sony 3.5" floppy	1.44 MB · estándar mundial durante 25 años	Sustrato de la era PC personal
1982	CD-ROM (Sony+Philips)	650 MB ópticos en disco de 12 cm	Distribución de software/multimedia masiva
1995	DVD spec	4.7 GB · vídeo digital de consumo	Funda la era multimedia masiva
2000	USB flash drive (Trek/IBM)	Almacenamiento sólido extraíble	Reemplaza floppies y CDs en pocos años
2007	SATA SSDs	SSDs como producto consumer · NAND flash	Inicio del fin de los HDDs en consumer
2011	NVMe spec	NVMe 1.0 (mar 2011) · SSDs directos sobre PCIe · sin cuellos de botella SATA	SSDs alcanzan 7 GB/s · sustrato de servidores y workstations
2019	Project Silica (Microsoft)	Cristal de cuarzo · femtosegundo láser	Cold storage durable miles de años
2024	Petabit optical disk	Investigación: 1.6 PB en disco de tamaño Blu-ray	Próxima generación de archivo masivo
2024	DNA storage commercial	Twist Bioscience · Catalog · escritura/lectura ADN como datos	Densidad teórica 1 EB por gramo · cold storage del futuro

Cadena causal: HDD (1956) → floppy → CD → DVD → flash → SSD → NVMe → cristal/DNA. La densidad se multiplica por billones; el sustrato cambia varias veces (magnético → óptico → eléctrico → fotónico → biológico).

17 · OPEN SOURCE (tabla extra · no en grafo)

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1983	GNU Project	Stallman anuncia el proyecto · manifesto	Funda el movimiento del software libre
1989	GNU GPL v1	Licencia copyleft · obliga a redistribuir el código	Define el modelo legal del software libre
1991	Linux kernel	Linus Torvalds publica el primer Linux	Junto con GNU = SO libre completo
1995	Apache HTTP Server	NCSA HTTPd fork · domina la web durante 20 años	Sustrato de la web abierta
1998	"Open Source" + Mozilla	Christine Peterson acuña término · Netscape libera Mozilla	Open Source Initiative se funda · marca rebrand del software libre
2001	Wikipedia	Knowledge open · CC-BY-SA	Demuestra que el modelo open puede crear contenido a escala global
2005	Git	Linus Torvalds · VCS distribuido	Habilita la colaboración masiva descentralizada
2008	GitHub	Plataforma social sobre Git	Hace el open source mainstream y "fun"
2014	Kubernetes (Google)	Orquestador de contenedores liberado	Estándar cloud-native open source
2017	PyTorch + TensorFlow open	Frameworks ML open source dominantes	Sin esto no hay AlexNet → Transformer → LLMs
2023	LLaMA open weights	Meta libera pesos de LLaMA · luego LLaMA 2/3	Bifurca la era LLM en cerrado vs abierto
2024	Hugging Face ecosystem	1M+ modelos open · datasets · spaces	Hub central del open source AI
2025	DeepSeek-R1 open	Reasoning model open-weights competitivo	Open source ya no queda atrás · presiona a OpenAI/Anthropic

Cadena causal: GNU (ideología) → Linux (kernel) → Apache (web) → Mozilla (browser) → Wikipedia (contenido) → Git/GitHub (colaboración) → Kubernetes (cloud) → PyTorch (ML) → LLaMA + Hugging Face + DeepSeek (IA generativa).

18 · CIBERSEGURIDAD (tabla extra · no en grafo)

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1971–72	Creeper + Reaper	Bob Thomas (BBN) crea Creeper en 1971 · Ray Tomlinson escribe Reaper en 1972 · primer "virus" + primer "antivirus" en ARPANET	Inicio formal del juego del gato y el ratón
1988	Morris Worm	Robert Morris · 6.000 máquinas Unix afectadas (10% de internet)	Primer incidente de seguridad masivo · cambia la conciencia
1995	SSL 2.0 (Netscape)	Primer protocolo de cifrado en navegador	Habilita e-commerce · sustrato de la web segura
2003	Slammer worm	Infecta 75.000 servers en 10 min · explota MS-SQL	Demuestra velocidad de propagación de exploits modernos
2010	Stuxnet	Cyberweapon estado-nación (USA + Israel) contra Irán	Funda la era de la guerra cibernética
2013	Snowden / NSA revelations	Filtración masiva de programas de vigilancia (PRISM, XKeyscore)	Cambia para siempre la cripto y la conciencia de privacidad
2016	Mirai botnet	Ataca con dispositivos IoT comprometidos · DDoS récord	Demuestra el peligro de IoT inseguro a escala
2017	WannaCry ransomware	Explota EternalBlue (NSA-leaked) · 200.000 sistemas en 150 países	Inicia la era de ransomware como plaga global
2018	Cambridge Analytica + GDPR	Marzo 2018: escándalo Facebook/CA expone uso indebido de datos · Mayo 2018: GDPR entra en vigor en UE	Funda la era de la privacidad como derecho regulado · multas hasta 4% del facturado mundial · modelo replicado (CCPA, LGPD, Brasil)
2020	SolarWinds	Supply-chain attack a 18.000 organizaciones via Orion	Demuestra vulnerabilidad de la cadena de suministro de software
2021	Log4Shell	RCE en Apache Log4j · "internet roto" durante semanas	Demuestra la fragilidad de las dependencias open source críticas
2024	NIST PQC standards	Estándares oficiales de criptografía post-cuántica (FIPS 203/204/205)	Defensa preventiva contra Shor cuando los ordenadores cuánticos escalen
2024	LLM jailbreaking research	Universal jailbreaks (LLM Attacks paper, etc.) · prompt injection	Nueva superficie de ataque: alineamiento del modelo como vulnerabilidad

Cadena causal: Creeper (juego) → Morris (mass incident) → SSL (defensa civil) → Stuxnet (estado-nación) → Snowden (vigilancia) → ransomware (extorsión masiva) → LLM jailbreaks (nueva frontera). El defensor siempre va detrás.

19 · MOBILE / CONSUMO (tabla extra · no en grafo)

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1973	Motorola DynaTAC	Martin Cooper · primera llamada por móvil (NYC)	Funda la telefonía celular · 10 años hasta producto comercial
1992–1994	IBM Simon	Prototipo COMDEX nov 1992 · comercialización 16 ago 1994 (BellSouth) · primer "smartphone" reconocido	Concepto adelantado 15 años
1996	Nokia 9000 Communicator	Smartphone de Nokia con teclado físico + email	Primer smartphone de éxito comercial
1999	BlackBerry email	RIM popularizó email push en bolsillo	Cambia hábitos profesionales · era pre-iPhone
2001	iPod (Apple)	"1.000 canciones en tu bolsillo" · scroll wheel mecánico (el Click Wheel llega en gen 4, 2004)	Reposiciona Apple antes del iPhone
2007	iPhone	Apple · pantalla multi-táctil capacitiva sin teclado físico	Inflexión total: cómputo personal en bolsillo · funda app economy
2008	Android 1.0 + App Store	HTC Dream · App Store de Apple (jul 2008)	Funda el duopolio iOS/Android + el modelo app
2010	iPad	Tablet capacitiva masiva · iOS	Reactiva la categoría tablet (que IBM había lanzado en 1992)
2014	Apple Watch	Wearable computing como categoría masiva	Lleva el cómputo a la muñeca · health tracking
2016	Pokémon Go	AR mobile a escala global · 500M descargas	Demuestra AR como producto de consumo · primer hit AR
2017	Apple A11 Bionic · Neural Engine	Primera NPU en mobile (2 cores · 600 GOPS)	IA on-device se vuelve viable en smartphones
2020	5G global rollout	3GPP Release 16 · gigabit móvil	Sustrato de IoT, AR, vehículos conectados
2024	Apple Vision Pro	Spatial computing · 23M píxeles · eye tracking	Apuesta de Apple por XR como sucesor del smartphone
1972	Atari Pong	Allan Alcorn · primer videojuego comercial de éxito	Funda la industria del videojuego · más grande que cine + música
1982/83	MIDI 1.0	Dave Smith (Sequential) + Ikutaro Kakehashi (Roland) · spec ratificada ago 1982 · demo NAMM ene 1983	Sustrato de toda la música electrónica/producción digital · estándar abierto que sobrevive 40+ años
1983/85	Nintendo NES	Famicom Japón (jul 1983) · NES test EEUU (oct 1985 NYC) · global 1986-87 · revive industria tras crash Atari	Define la categoría console · Mario, Zelda como franquicias culturales
1993	MP3 (Fraunhofer)	Brandenburg + equipo · compresión perceptual de audio	Sin MP3 no hay Napster (1999) ni iPod (2001) ni streaming. Cambia industria musical para siempre
1993	DOOM (id Software)	Carmack + Romero · 3D shooter · shareware viral	Inventa el género FPS · primera "killer app" para PC vs consola · funda mod culture
1997	Wi-Fi 802.11	IEEE estándar · 2 Mbps inicial	Funda la era inalámbrica masiva · 802.11n (2009) → ax/Wi-Fi 6 (2019) → be/Wi-Fi 7 (2024)
1999	Bluetooth 1.0	Ericsson · spec 1.0 publicada jul 1999 (SIG fundado 1998) · short-range wireless personal	Habilita audio inalámbrico, IoT, mando consola, CarPlay/Android Auto
2024	Smartphones con LLM on-device	Apple Intelligence (M+A18 Pro) · Pixel con Gemini Nano	IA generativa en el bolsillo · sin nube

Cadena causal: DynaTAC (voz) → Nokia/BlackBerry (datos) → iPod (consumo digital) → iPhone (revolución total) → Android (duopolio) → wearables → AR/VR (Vision Pro) → IA on-device. Cada salto multiplica el cómputo accesible al ciudadano normal.

20 · CRIPTOGRAFÍA (tabla extra · no en grafo)

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1976	Diffie-Hellman	Primer intercambio de claves sin canal seguro	Funda la cripto de clave pública (también en ALGORITMOS)
1977	RSA	Rivest, Shamir, Adleman · cifrado pública práctico	Sustrato de toda la web segura (también en ALGORITMOS)
1985	ECC (Elliptic Curve Crypto)	Koblitz y Miller (independientemente)	Misma seguridad que RSA con claves más cortas · sustrato de TLS moderno
1991	PGP (Phil Zimmermann)	Cifrado de email accesible al usuario común	Lleva la cripto fuerte fuera de gobiernos · Zimmermann investigado por exportar criptografía
1995	SSL 2.0 (Netscape)	Cripto en navegador · base de HTTPS	Habilita e-commerce y banca online
2001	AES (Rijndael) estándar	NIST adopta Rijndael (Daemen + Rijmen) como AES	Sustituye DES como cifrado simétrico estándar
2008	Bitcoin / Nakamoto	Proof-of-Work · consenso distribuido sin autoridad	Cripto aplicada a moneda (también en ALGORITMOS)
2013	Snowden → wakeup	Revelaciones empujan la adopción de E2EE	Signal, WhatsApp, iMessage adoptan E2EE en años siguientes
2014	Signal protocol	Open Whisper Systems · Double Ratchet	Adoptado por WhatsApp (1B+ usuarios), Facebook Messenger, Skype
2016	NIST PQC competition	Inicio del concurso para cripto post-cuántica	Defensa contra Shor (1994) cuando los QC escalen
2024	NIST PQC standards (FIPS 203/204/205)	Kyber + Dilithium + SPHINCS+ adoptados	Migración global comienza · "harvest now, decrypt later"
2025+	Migración PQC empresarial	Apple iMessage PQ3 (2024), Signal PQXDH, navegadores adoptan	Defensa preventiva ante futuros ataques cuánticos

Cadena causal: DH/RSA (clave pública) → ECC (eficiente) → PGP (consumer) → SSL (web) → AES (simétrico) → Bitcoin (consenso) → Signal (E2EE) → PQC (post-cuántico). El campo evoluciona en función de las amenazas, especialmente la futura amenaza cuántica.

21 · SISTEMAS OPERATIVOS (tabla extra · no en grafo)

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1964	OS/360 (IBM)	Primer SO multitarea para mainframe · familia compatible cross-models	Inventa el concepto de "sistema operativo" como software separado del hardware. Brooks lo cuenta en The Mythical Man-Month (1975)
1969	Unix · también en chart	Thompson + Ritchie (Bell Labs) · multiusuario, jerarquía de archivos, todo es archivo	Filosofía y diseño que sobrevive 55 años; ancestro de macOS, Linux, Android, iOS, BSDs
1969	Multics	MIT + Bell Labs + GE · ringed protection, segmented memory, dynamic linking	"Fracaso glorioso" del que Unix nace como reacción simplificadora
1974	CP/M (Digital Research)	Gary Kildall · primer SO popular para microordenadores 8-bit	Estándar antes del MS-DOS; IBM-DR fail famous (no firma exclusividad → IBM va a Microsoft)
1981	MS-DOS	Microsoft compra QDOS → vende a IBM como PC-DOS / MS-DOS · monolítico, single-task	Sustrato del PC durante 14 años hasta Windows 95
1984	Mac OS (System 1)	Apple · primer SO de consumo con GUI integrada (heredada de Xerox PARC)	Lleva la metáfora del escritorio al mercado masivo
1985	Windows 1.0	Microsoft · capa GUI sobre MS-DOS (no SO real hasta NT)	Inicio de 40 años de hegemonía Windows en el desktop empresarial
1987	OS/2	Joint IBM + Microsoft · 32-bit, multitarea preventiva	Técnicamente superior a Windows 3.0 pero pierde la guerra por marketing y costes
1991	Linux · también en chart	Linus Torvalds · kernel monolítico open source para PCs	Junto con GNU = SO libre · domina servidores · sustrato de Android · 90% de la nube
1993	Windows NT 3.1	Microsoft · arquitectura microkernel (Dave Cutler ex-DEC) · 32-bit puro	Base técnica de Windows 2000/XP/Vista/7/8/10/11 y Server
1995	Windows 95	Microsoft · cambia el paradigma de UX para siempre (Start menu, taskbar)	Vende 7M de copias en 5 semanas · cultura pop · "Start me up" Stones campaign
2001	Mac OS X	Apple · NeXTSTEP-based (Unix BSD por debajo) · Aqua UI	Apple resucita gracias a este SO. Padre de iOS, iPadOS, watchOS, tvOS
2007	iOS	Apple · iPhone OS 1.0 · sandboxed apps · multi-touch native	Funda la era smartphone moderna · paradigma App Store cambia la economía del software
2008	Android · también en chart	Google · open source basado en Linux kernel · HTC Dream	Salto al móvil masivo open source · 70%+ smartphones del mundo
2009	Chrome OS	Google · navegador como SO · Chromebooks	Pionero del "everything in the browser/cloud"; popular en educación EEUU
2024	SO con LLM integrado	Apple Intelligence (iOS 18 / macOS 15) · Microsoft Copilot+ PC · Google AI on Pixel	El LLM se vuelve componente del SO · IA on-device + cloud híbrido como nuevo paradigma UX

Cadena causal: OS/360 (concepto SO) → Multics (ambición) → Unix (simplificación) → CP/M → MS-DOS → Mac/Windows (GUI consumer) → Windows NT (32-bit pro) → Mac OS X (Unix moderno) → iOS/Android (mobile) → SO con LLM (IA como componente del SO).

22 · ARQUITECTURAS DE SISTEMA (tabla extra · no en grafo)

El cloud es el mainframe que vuelve ↻ 60 años después, con otro nombre

En 1965, Multics introduce el concepto de compute as a service con accounting por uso: múltiples usuarios concurrentes en un mainframe, facturados por recursos consumidos. La gran corporación pagaba al departamento de IT por CPU-segundos consumidos.

En 2006, AWS EC2 reinventa exactamente esto a escala global: compute as a service con accounting por uso. La startup paga a Amazon por CPU-segundos consumidos. Misma idea, otro nombre.

▸ EL PATRÓN OSCILANTE DEL CÓMPUTO
1960s: centralización mainframe (concentración + accounting)
1970-80s: descentralización (minicomputer · PC · cliente-servidor)
1990-2000s: re-centralización (data centers · enterprise IT)
2006-2014: cloud (centralización extrema · multi-tenant global)
2017+: edge (descentralización selectiva · cómputo cerca del usuario)
▸ El péndulo nunca ha parado de oscilar — solo cambia los nombres.

Lo verdaderamente nuevo del cloud no es la virtualización (Multics ya lo hacía con time-sharing) ni el accounting (mainframes lo facturaban). Es la elasticidad y la escala global con APIs: cualquier desarrollador puede aprovisionar 10.000 vCPUs en 90 segundos desde su navegador. Eso sí es nuevo.

AÑO	HITO	APORTACIÓN	RELACIÓN CLAVE
1959	IBM 1401	Primer mainframe comercial masivo · 12.000 unidades vendidas	Define el modelo "ordenador como servicio" alquilado · concepto de cuenta por uso de recursos
1964	IBM System/360	Familia compatible · arquitectura unificada cross-models · ISA estable 60+ años	Modelo dominante 60 años · funda concepto de "arquitectura" como contrato estable. Hoy IBM Z continúa la línea
1965	Multics · timesharing	Múltiples usuarios concurrentes en un mainframe · accounting por uso	Padre conceptual de la nube moderna: virtualización + accounting + multi-tenancy
1977	DEC VAX	Minicomputer 32-bit · arquitectura VMS · departamento como cliente (no toda la corporación)	Democratiza el mainframe a nivel departamental · primer "edge" pre-internet
1983	Novell NetWare	Servidor de archivos + impresoras dedicado · LAN como infraestructura corporativa	Funda la era cliente-servidor · estándar empresarial 1985-1995
1988	IBM AS/400 (hoy IBM i)	Mid-range integrado · DB2 nativa · object-based · TIMI virtual machine	Sigue vivo en 2026 (IBM Power10) · core bancario en miles de empresas
1990s	x86 commodity server era	Compaq, Dell, HP · Linux/Windows NT · clusters baratos vs. mainframes	Empuja la migración mainframe → Unix → Linux que define la web 2000s
1999	VMware Workstation	Diane Greene · primera virtualización x86 viable · binary translation	Habilita el data center moderno (consolidación servers) · ancestro del cloud
2003	Xen	Cambridge · paravirtualización open source · uso por Amazon EC2 (2006)	Sustrato técnico real de la nube pública en su origen
2006	AWS EC2 · IaaS	Cómputo como servicio · pay-per-use · elastic scaling	Hereda directamente el modelo accounting de los mainframes (multics 1965 lo predijo)
2008	Hadoop · MapReduce	Doug Cutting · clusters commodity para procesar datos web-scale	Funda la era big data · ancestro de Spark, Snowflake, Databricks
2010	OpenStack	Rackspace + NASA · IaaS open source · alternativa a AWS para clouds privadas	Sustrato de telcos, gobiernos, soberanía cloud
2013	Docker · contenedores	Solomon Hykes · LXC + tooling + registry · empaquetado portable	"Build once, run anywhere" hecho realidad · revolución del despliegue
2014	Kubernetes	Google libera Borg lite · orquestador de contenedores	Estándar cloud-native · sustrato de la mayoría de SaaS modernos · multi-cloud portable
2014	Serverless · AWS Lambda	Función como unidad de despliegue · zero infrastructure mgmt · pay per execution	Modelo más extremo del "compute as service" · convergencia mainframe accounting
2017	Edge computing	Cloudflare Workers, Vercel Edge, AWS Lambda@Edge · cómputo cerca del usuario	Inversión del centralismo cloud · híbrido edge ↔ cloud como nuevo modelo
2020s	5G + IoT mass deployment	Miles de millones de dispositivos conectados · MQTT, CoAP, edge AI	Edge se vuelve infraestructura industrial real · vehículos autónomos, smart cities, fábricas conectadas
2024	GPU clusters AI-first	NVIDIA NVL72, AWS Trn2 UltraServer, Google TPU pods · racks especializados en IA	Nueva categoría de "supercomputador empresarial" · cambia el data center entero
2025+	Agentic data centers (esp.)	Convergencia GPU + memoria + storage + red orquestada para agentes IA · AI factories de NVIDIA	Próxima frontera: la IA no es un workload del data center, ES el data center

Cadena causal: Mainframe (1959-1964: cómputo centralizado + accounting) → minicomputer + PC (descentralización) → Novell + cliente-servidor → x86 commodity → virtualización → cloud (que recupera el modelo mainframe a escala global) → contenedores + Kubernetes → serverless → edge → AI factories. La historia de las arquitecturas oscila entre centralización y distribución, pero conserva el "accounting" inventado en los mainframes de 1959.

23 · GLOSARIO · términos clave

Definiciones cortas de los términos técnicos más usados en la página · ordenadas por frecuencia y por importancia conceptual. Los conceptos prioritarios aparecen marcados en negrita.

> Computación cuántica · el malentendido #1

Qubit físico — unidad cuántica real implementada en hardware (superconductor, ion atrapado, fotón…). Hoy los chips tienen entre 50 y 1.000 qubits físicos. Son ruidosos (decoheren en microsegundos) e individualmente NO sirven para cómputo útil.

Qubit lógico — qubit "perfecto" construido a partir de N qubits físicos entrelazados + códigos de corrección de errores (QEC). Por cada qubit lógico hacen falta entre 100 y 10.000 qubits físicos según la calidad del hardware. Es la métrica real del progreso cuántico.

FTQC (Fault-Tolerant Quantum Computer) — ordenador cuántico con suficientes qubits lógicos para ejecutar algoritmos arbitrariamente largos sin errores acumulados. El "santo grial" del campo.

Romper RSA-2048 — requiere ~1.300 qubits lógicos (Gidney 2024) · ~1 semana · ~20M qubits físicos con tecnología 2024. Hoy estamos a años (probablemente década) de tener esa capacidad. Pero "harvest now, decrypt later" justifica migrar a PQC ya.

PQC (Post-Quantum Cryptography) — algoritmos clásicos resistentes a Shor. NIST estandarizó CRYSTALS-Kyber, Dilithium, SPHINCS+ en 2024 (FIPS 203/204/205). Apple, Signal, navegadores ya migrando.

> IA · términos esenciales

LLM (Large Language Model) — modelo de IA entrenado en billones de tokens de texto. Predice siguiente token. Ej: GPT-4, Claude, Gemini.

Transformer — arquitectura de red neuronal (Vaswani et al. 2017) basada en attention. Sustrato de TODOS los LLM actuales.

Attention — mecanismo que permite al modelo "mirar" todas las palabras del contexto a la vez ponderando su importancia.

Pre-training / fine-tuning / RLHF — fases de entrenamiento. Pre = aprender lenguaje en internet entero. Fine-tune = especializar en tarea. RLHF = alinear con preferencias humanas via reinforcement learning.

Token — unidad mínima de texto que procesa el LLM (~4 caracteres en inglés). Ventana de contexto = cuántos tokens puede procesar a la vez (Claude 4.7 = 1M, GPT-4 = 128K).

Embedding — representación numérica de un texto/imagen como vector en espacio de cientos/miles de dimensiones. La base del RAG y las vector DBs.

RAG (Retrieval Augmented Generation) — patrón: buscar documentos relevantes (en vector DB) + meterlos en el prompt del LLM. Resuelve el problema de "el LLM no sabe X".

Foundation Model — modelo grande pre-entrenado en datos masivos, adaptable a múltiples tareas. Aplicable a texto (LLM), imagen, video, robótica (VLA).

VLA (Vision-Language-Action) — foundation model para robótica. Input: video + texto. Output: acciones. Ej: π0 de Physical Intelligence, Google RT-2.

Agente IA — sistema que combina LLM + memoria + herramientas (tool use) + bucles de razonamiento. Ej: Claude Code, Cursor, Devin.

> Hardware · siglas críticas

CPU / GPU / TPU / NPU / ASIC / FPGA — Central / Graphics / Tensor / Neural / Application-Specific / Field-Programmable. Procesadores de propósito decreciente de generalidad: CPU general → ASIC fijado a una tarea concreta. NPU = subcategoría de ASIC en CPU móviles para IA.

RISC vs CISC — Reduced vs Complex Instruction Set. RISC: pocas instrucciones simples (ARM, RISC-V, MIPS, PowerPC). CISC: muchas instrucciones complejas (x86). Históricamente x86 ganó por software legacy; hoy ARM gana por eficiencia (Apple Silicon).

HBM (High Bandwidth Memory) — memoria apilada en 3D al lado del chip GPU/TPU · ancho de banda 5-10× DDR. Sustrato de los aceleradores IA modernos.

FLOPS / TFLOPS / PFLOPS / EFLOPS — operaciones de coma flotante por segundo · 10⁹ / 10¹² / 10¹⁵ / 10¹⁸. Métrica de supercomputación. Frontier (2022): 1 EF.

Chiplet — arquitectura modular: en lugar de fabricar un chip monolítico gigante, ensamblar varios "chiplets" más pequeños en el mismo package. AMD Ryzen (2017) lo populariza, hoy estándar industrial.

> Datos · taxonomía moderna

RDBMS (Relational Database Management System) — Codd 1970. Ej: Oracle, PostgreSQL, MySQL, SQL Server.

NoSQL — bases no relacionales para escala web: documento (MongoDB), columna (Cassandra), key-value (Redis), grafo (Neo4j).

Vector DB — base de datos optimizada para búsqueda por similitud sobre embeddings. Ej: Pinecone, Weaviate, Milvus, pgvector.

Lakehouse — convergencia data warehouse (analítica) + data lake (raw). Apache Iceberg (2018) es el formato de tabla abierto que ganó la guerra. Snowflake, Databricks lo adoptan.

MCP (Model Context Protocol) — estándar abierto de Anthropic (nov 2024) para conectar agentes IA a fuentes de datos y herramientas. "USB-C para IA".

> Arquitecturas de sistema

Mainframe — ordenador central de gran capacidad, multiusuario, alta fiabilidad. IBM Z continúa el linaje desde 1964. Aún corre el 70% de transacciones bancarias mundiales.

Cloud — IaaS/PaaS/SaaS · cómputo bajo demanda con accounting por uso. Hereda el modelo del mainframe (Multics 1965) a escala global.

Contenedor — empaquetado portable de aplicación + dependencias compartiendo kernel del host. Docker (2013) populariza · Kubernetes (2014) orquesta.

Serverless / FaaS — Function as a Service · ejecutas código sin gestionar servidores · pay-per-execution. AWS Lambda (2014).

Edge computing — cómputo cerca del usuario en lugar del data center central. Cloudflare Workers, Vercel Edge, 5G + IoT.

> Software & paradigmas

POO (Programación Orientada a Objetos) — paradigma con clases, herencia, encapsulación. Simula 67 (raíz), Smalltalk (radical), C++/Java (industrial).

Functional Programming — paradigma sin estado mutable, funciones como ciudadanos de primera. LISP (1958), Haskell (1990), Clojure (2007), Scala (2004).

Microservicios — descomposición de monolitos en servicios pequeños desplegables independientemente.

Vibe Coding — Karpathy (2025): describir intención en lenguaje natural, dejar que un agente IA escriba/itere el código.

> Otras siglas frecuentes

SDK Software Development Kit · API Application Programming Interface · ISA Instruction Set Architecture · SoC System on Chip · NVMe Non-Volatile Memory Express · PCIe Peripheral Component Interconnect Express · CUDA Compute Unified Device Architecture (NVIDIA) · OpenCL Open Computing Language · ASIC Application-Specific IC · FPGA Field-Programmable Gate Array · TPU Tensor Processing Unit · NPU Neural Processing Unit · HBM High Bandwidth Memory · VLA Vision-Language-Action · RAG Retrieval-Augmented Generation · MCP Model Context Protocol · RLHF Reinforcement Learning from Human Feedback · FTQC Fault-Tolerant Quantum Computer · QEC Quantum Error Correction · PQC Post-Quantum Cryptography · PKI Public Key Infrastructure · E2EE End-to-End Encryption · JIT Just-In-Time compilation · GC Garbage Collection · GUI Graphical User Interface · CLI Command-Line Interface · VCS Version Control System · TDD Test-Driven Development · FaaS Function as a Service · IaaS Infrastructure as a Service · PaaS Platform as a Service · SaaS Software as a Service.

Cadenas causales principales y mapa textual de relaciones

══════════════════════════════════════════════════════════════════════════════════════
        15 COLUMNAS DEL GRAFO · agrupadas por familia conceptual
══════════════════════════════════════════════════════════════════════════════════════

  TEORÍA              HARDWARE              SOFTWARE              INTELIGENCIA
  ──────              ────────              ────────              ────────────
  LÓGICA              ARQUITECTURA          SOFTWARE              IA
  ALGORITMOS          ELECTRÓNICA           PARADIGMAS            DATA
                      MICRO+PC              SIMULACIÓN            ROBÓTICA
                      PARALELISMO           INTERNET
                      CUÁNTICA
                      SUPERCOMPUTACIÓN

══════════════════════════════════════════════════════════════════════════════════════
        CADENAS CAUSALES PRINCIPALES
══════════════════════════════════════════════════════════════════════════════════════

[1] FUNDAMENTOS LÓGICOS                                                      ► LEER NARRATIVA
    Boole (1847) → Frege → Hilbert/Gödel → Shannon (1937) → Turing (1936)
    └── eslabón moderno: HoTT (2013) → Lean 4 (2021) → AlphaProof (2024) → Gemini IMO (2025)
        prueba formal y soluciones en lenguaje natural: logros conectados, no equivalentes

[2] HARDWARE FÍSICO                              ► ELECTRÓNICA · ► MICRO+PC
    Z3 (1941) → ENIAC → transistor (1947) → IC (1959) → Moore (1965) →
    FIN MOORE clásico (2019) → respuesta industrial: chiplet + GAA + Silica + cristal
    ↓
    Intel 4004 (1971) → x86 → RISC (1980) → ARM/iPhone → RISC-V (2010) → Apple M1/M5/M6

[3] LENGUAJES Y SOFTWARE                            ► SOFTWARE · ► PARADIGMAS
    A-0 (1952) → FORTRAN → COBOL → LISP → ALGOL → Unix+C → GNU/Linux →
    Git → Docker → Copilot → coding agents
    └── Paradigmas: Simula → Smalltalk → C++/Java/Python/JS → TDD/Ágil →
        funcional → Go+Rust → microservicios → vibe coding

[4] IA — EL ARCO LARGO                                                       ► LEER NARRATIVA
    McCulloch-Pitts + Wiener + Hebb → Turochamp / Samuel → Dartmouth → perceptrón →
    ramas simbólica, probabilística y conexionista → dos inviernos →
    Neocognitron + backprop + redes bayesianas + Q-learning + SVM + LSTM →
    LeNet → DBN → ImageNet → AlexNet (2012, GPU!)
    → Word2Vec → GANs → Transformer (2017) → BERT/GPT-3 → AlphaFold → ChatGPT →
    Diffusion → GPT-4/LLaMA → o1 → Nobel 2024 → DeepSeek-R1 → AlphaGenome

[5] PARALELISMO — el puente físico                                           ► LEER NARRATIVA
    GeForce 256 (1999) → CUDA (2006) → Tensor Cores (2017) → TPU v1→v8 →
    Cerebras → hyperscaler silicon → Etched → Rubin → Vera (2027)
    └── CUDA + AlexNet (2012) son los DOS puntos de inflexión IA-hardware

[6] DATOS                                                                    ► LEER NARRATIVA
    Codd (1970) → System R → Oracle → PostgreSQL/MySQL → NoSQL → FAISS →
    vector DBs → pgvector → MCP (2024) → memoria agéntica (2027 esp.)

[7] INTERNET                                                                 ► LEER NARRATIVA
    ARPANET (1969) → TCP/IP (1983) → WWW → Mosaic → Google → AWS →
    Kubernetes → Edge + Web3

[8] ROBÓTICA                                                                 ► LEER NARRATIVA
    Grey Walter (1948-49) → Unimate → Shakey + A*/STRIPS → SLAM → PROMETHEUS →
    Roomba → Stanley → DARPA UC → Spot →
    humanoides (2024) → Robot FM · π0 de Sergey Levine (2024) → cross-embodiment (2027)

[9] SIMULACIÓN                                                               ► LEER NARRATIVA
    Monte Carlo (1947) → SPICE (1973) → CFD → NKS Wolfram → PhysX → Omniverse →
    World Models · Sora/Genie (2024) → Aardvark Weather + Cosmos (2025) → orquestación hipotética (2027)

[10] CUÁNTICA — rama paralela                                                ► LEER NARRATIVA
     Benioff/Feynman → Deutsch → Shor/Grover → QEC qubit lógico (1995-97) →
     2 qubits NMR → Sycamore → IBM Heron → Willow → MS Majorana → IBM Loon →
     IBM Cockatoo (2027 esp.) → Starling FTQC (2029)
     └── Métrica: ~1.300 qubits LÓGICOS para romper RSA-2048 (Gidney 2024)

[11] SUPERCOMPUTACIÓN                                                        ► LEER NARRATIVA
     Cray-1 (1976) → ASCI Red (1 TF) → Roadrunner (1 PF) → Fugaku (ARM) →
     Frontier (1 EF) → Aurora → El Capitan → JUPITER (EU exascale)

[12] ALGORITMOS — la matemática que atraviesa todo                           ► LEER NARRATIVA
     Minimax (1928) + Bellman (1957) → Dijkstra → A* → STRIPS → Deep Blue → AlphaGo →
     agentes (2024) → AlphaEvolve (2025, provisional)
     · estrategia, decisión secuencial, búsqueda y aprendizaje vuelven a converger

══════════════════════════════════════════════════════════════════════════════════════
        TABLAS EXTRA · no en grafo · accesibles desde la cabecera
══════════════════════════════════════════════════════════════════════════════════════

  STORAGE  ·  OPEN SOURCE  ·  CIBERSEGURIDAD  ·  MOBILE  ·  CRIPTOGRAFÍA
  SISTEMAS OPERATIVOS  ·  ARQUITECTURAS DE SISTEMA  ·  GLOSARIO

══════════════════════════════════════════════════════════════════════════════════════

Conclusión

La historia es una sola línea que arranca en la Pascalina (1642) y atraviesa 380 años hasta los modelos de razonamiento actuales. Tiene dos ramas finales paralelas (cuántica y exascale clásica), una ola transversal (la IA) que cruza casi todos los bloques, y cuatro hilos infraestructurales que la sostienen y conectan.

Los puentes físicos

CUDA (2006) y AlexNet (2012) son los dos puntos de inflexión que conectan hardware paralelo con la IA actual.
GPUs y TPUs son el sustrato físico de toda la era IA — el silicio masivamente paralelo es el motor.
VRAM y HBM son subcomponentes prácticos: limitan lo ejecutable localmente, pero no son cambios de paradigma.

Los cuatro hilos infraestructurales

DATA · de Codd (1970) a la memoria agéntica (2027 esp.). Cada era IA necesita una infraestructura de datos a su altura: vector DBs y MCP son a los LLMs lo que SQL fue a la web.
INTERNET · de ARPANET (1969) a edge + 5G. Sin la red abierta no existe el cloud, ni el deep learning entrenado en datos masivos, ni los agentes que conectan herramientas globales.
ROBÓTICA · de Unimate (1961) a Robot Foundation Models (π0, 2024). 60 años de manipulación industrial convergen ahora con LLMs en humanoides comerciales.
SIMULACIÓN · de Monte Carlo (1947) a modelos de mundo, Aardvark Weather y Cosmos (2024-2025). Solvers físicos, datos y aprendizaje empiezan a combinarse en cadenas híbridas que deben seguir validándose.

Los cierres simbólicos

ALGORITMOS · 100 años después de que von Neumann formulara el minimax (1928), los algoritmos agénticos (ReAct, ToT, MCTS sobre LLMs) reabrazan la búsqueda algorítmica clásica con LLMs como heurística. La matemática pura del cómputo cierra el círculo.
LÓGICA · AlphaProof (2024) alcanza nivel de plata IMO con representación formal y Gemini Deep Think (2025) nivel de oro con soluciones en lenguaje natural evaluadas por expertos. El contraste permite explicar razonamiento y verificación sin confundirlos.
CUÁNTICA · 40 años después de la propuesta de Feynman (1981), los chips actuales (Willow, Heron) demuestran qubits lógicos. Faltan ~1.300 qubits lógicos para romper RSA-2048 (Gidney 2024). La amenaza efectiva está a años, pero "harvest now, decrypt later" obliga a migrar a PQC ya.

La página tiene 239 hitos verificados y 380 relaciones causales — pero la lección de fondo cabe en una frase: cada generación recibe el regalo de las anteriores y lo extiende un peldaño. De Pascal a GPT-5 no hay un solo salto sin escalón previo.

Apéndice · La máquina que me cambió la vida y quizás a ti también.

IBM System/23 Datamaster EL ESLABÓN OLVIDADO ANTES DEL PC

ANUNCIADO28 de julio de 1981

CPUIntel 8085 (no 8086)

SISTEMAPropietario IBM · BASIC en ROM

Fue el precursor directo del IBM PC: el equipo del System/23 (dirigido por Bill Lowe en Boca Raton) fue el mismo que pocos meses después diseñaría el IBM PC 5150 en apenas un año, aprovechando todas las lecciones aprendidas con el S/23 — equipo pequeño, componentes off-the-shelf, decisiones rápidas.

Fue el primer ordenador que sentí controlar como una extensión de mi cuerpo. Pasé tantas horas en el centro de formación de IBM programándolo que creía adivinar colores en el fósforo verde de la pantalla.
Aún busco una de aquellas máquinas para volver a oír el pitido del altavoz cada vez que pulsabas una tecla.
Eran tan simples que tras algunos cientos de horas podías sentir cómo funcionaban. Unos meses después llegaría el PC y el mundo cambió para siempre.

Gracias a mi padre José Ortet, técnico de IBM durante décadas, que me entregaba placas madre inservibles mientras otros niños recibían balones de fútbol. Intuyó pronto que había nacido para explorar erráticamente los mundos digitales en lugar de meter goles.

FICHA TÉCNICA Y CONTEXTO HISTÓRICO COMPLETO

MANUFACTURERIBM MODELS5322, 5324 CPUIntel 8085 @ 6.14 MHz (efectivo 3.07 MHz) DMAIntel 8257 CRTCIntel 8275 DISPLAY80 × 24 caracteres, MDA-like FDCNEC 765 RAM32 KB / 64 KB / 96 KB / 128 KB ROM112 KB / 128 KB – 272 KB

Commercial Failure

The scarcity of those systems is the result of high prices (it was marketed at USD 9,000 at the time), delayed availability, poor marketing and the release of in-house competing systems such as the Displaywriter and the PC. This made the computer fail to be adopted by the market, which had a plethora of competing systems at much more competitive price and performance. Therefore the System/23 quickly became a niche in the market and was soon forgotten as the technology improved quickly in the mid-80s.

Influence over the 5120

The long development time of the IBM Datamaster made its case a model for the IBM 5120, which adopted a variant. While it is acknowledged that both units have related cases, it is usually wrongly stated that the 5120 influenced the System/23 — when in reality it was the Datamaster that influenced the 5120.

Usage of standard parts

The IBM Datamaster is the first IBM computer to rely on then-industry-standard components including microprocessor, memories, peripheral devices and logic integrated circuits. This approach would be reused in the Displaywriter (which has a mix of both standard components and IBM SLTs) and later developments, such as the PC family of computers. However, the references were changed to avoid third parties from tampering with the machine.

Creation of the IBM PC

It is often said that IBM had a rushed development of the PC with a single year in development. Whereas the statement is partially true, it is also forgotten how close both systems are and how the same engineers that worked in the Datamaster later worked in the PC, bringing the required expertise. Also, the chosen CPU was the Intel 8088 due to its hardware similarity with the Intel 8085, and this way most of the peripherals were maintained in the transition from the Datamaster. The character set and its format were also brought from the System/23 to the 5150. Also, the expansion bus is nearly untouched in that evolution. Finally, from pictures of early prototypes it can be seen that the power connectors were the same as the one in the Datamaster. As a conclusion, it might be stated that the early life of the IBM PC started as modifications on the Datamaster.

Documentación original

► IBM 5324 Computer Service Manual (SY34-0241-1, May 1982) — Manual técnico oficial de IBM, 17 MB · PDF.
Fuente original: bitsavers.org — preservación digital del legado IBM. Copia espejo en zoopa.es para acceso permanente.

Fuentes y bibliografía completa · 241 referencias

Bibliografía exhaustiva de las fuentes que sustentan este proyecto: papers seminales, libros, white papers, estándares (RFC/IEEE/ISO/NIST), manuales técnicos oficiales, patents y repositorios digitales. Cada entrada indica dónde se usa en el proyecto (narrativas largas y/o secciones del grafo). Formato académico inspirado en IEEE/APA. URLs preferentemente DOI estables → arXiv → archive.org → bitsavers.org → sitios oficiales (.edu, .gov, .org institucional).

Total: 241 entradas únicas. Cobertura de los 239 hitos del grafo y las 16 narrativas. Algunas entradas marcadas (confidence: medium/low) para hitos proyectados (2026-2027) o sin paper primario claro. Las decisiones de las auditorías de IA se documentan en data/research/ia-timeline-20260718.md y data/research/ai-history-crosscheck-20260719.md.

A · Papers seminales, artículos y registros institucionales

ID	Año	Autor(es)	Título	Publicación	URL/DOI	Usado en
boole1847	1847	Boole, George	The Mathematical Analysis of Logic	Macmillan, Barclay & Macmillan, Cambridge	https://archive.org/details/mathematicalanal00booluoft	01_LOGICA · álgebra booleana
boole1854	1854	Boole, George	An Investigation of the Laws of Thought	Walton and Maberly, London	https://archive.org/details/investigationofl00boolrich	01_LOGICA · álgebra booleana (obra principal)
frege1879	1879	Frege, Gottlob	Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens	Verlag von Louis Nebert, Halle	https://archive.org/details/begriffsschrift00freg	01_LOGICA · lógica de predicados
godel1931	1931	Gödel, Kurt	Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I	Monatshefte für Mathematik und Physik, Vol. 38	https://doi.org/10.1007/BF01700692	01_LOGICA · incompletitud; 02_ALGORITMOS (Cook-Levin)
church1936	1936	Church, Alonzo	An Unsolvable Problem of Elementary Number Theory	American Journal of Mathematics, Vol. 58, No. 2	https://doi.org/10.2307/2371045	01_LOGICA · cálculo lambda; 05_SOFTWARE (LISP)
turing1936	1936	Turing, Alan M.	On Computable Numbers, with an Application to the Entscheidungsproblem	Proceedings of the London Mathematical Society, Series 2, Vol. 42	https://doi.org/10.1112/plms/s2-42.1.230	01_LOGICA (indirectamente); 03_ARQUITECTURA · máquina universal
shannon1937	1937	Shannon, Claude E.	A Symbolic Analysis of Relay and Switching Circuits	Master's Thesis, MIT	https://dspace.mit.edu/handle/1721.1/11173	01_LOGICA · lógica→circuitos; 04_ELECTRONICA (Z3, Colossus, ENIAC)
shannon1948a	1948	Shannon, Claude E.	A Mathematical Theory of Communication (Part I)	Bell System Technical Journal, Vol. 27, No. 3, pp. 379–423	https://archive.org/details/bstj27-3-379	01_LOGICA · teoría de la información; 09_INTERNET (TCP/IP sustrato matemático)
shannon1948b	1948	Shannon, Claude E.	A Mathematical Theory of Communication (Part II)	Bell System Technical Journal, Vol. 27, No. 4, pp. 623–656	https://archive.org/details/bstj27-4-623	01_LOGICA · teoría de la información
hott2013	2013	Univalent Foundations Program (Voevodsky, Vladimir et al.)	Homotopy Type Theory: Univalent Foundations of Mathematics (HoTT Book)	Institute for Advanced Study, Princeton	https://homotopytypetheory.org/book/	01_LOGICA · HoTT; Lean 4
alphaproof2024	2024	Trinh, Trieu Hung et al. (Google DeepMind)	Solving olympiad geometry without human demonstrations (AlphaGeometry)	Nature, Vol. 625	https://doi.org/10.1038/s41586-023-06747-5	01_LOGICA · AlphaProof/AlphaGeometry
vonneumann1928	1928	von Neumann, John	Zur Theorie der Gesellschaftsspiele	Mathematische Annalen, Vol. 100	https://doi.org/10.1007/BF01448847	02_ALGORITMOS · minimax; 11_IA (Deep Blue, AlphaGo contexto)
dijkstra1959	1959	Dijkstra, Edsger W.	A Note on Two Problems in Connexion with Graphs	Numerische Mathematik, Vol. 1	https://doi.org/10.1007/BF01386390	02_ALGORITMOS · shortest path; 09_INTERNET (routing)
hoare1962	1962	Hoare, C. A. R.	Quicksort	The Computer Journal, Vol. 5, No. 1	https://doi.org/10.1093/comjnl/5.1.10	02_ALGORITMOS · Quicksort
knuth1968	1968	Knuth, Donald E.	The Art of Computer Programming, Vol. 1: Fundamental Algorithms	Addison-Wesley, Reading MA	`ISBN 978-0-201-03801-0 (reimpresión)`	02_ALGORITMOS · TAOCP; 01_LOGICA (Lean 4 contexto)
cook1971	1971	Cook, Stephen A.	The Complexity of Theorem Proving Procedures	Proceedings of the 3rd Annual ACM STOC	https://doi.org/10.1145/800157.805047	02_ALGORITMOS · Cook-Levin NP; 13_CUANTICA (contexto Shor)
levin1973	1973	Levin, Leonid A.	Universal Sequential Search Problems	Problems of Information Transmission, Vol. 9, No. 3	`(Russian original; translation in English: SIGACT News 1984)`	02_ALGORITMOS · Cook-Levin (independiente)
diffie1976	1976	Diffie, Whitfield; Hellman, Martin E.	New Directions in Cryptography	IEEE Transactions on Information Theory, Vol. 22, No. 6	https://doi.org/10.1109/TIT.1976.1055638	02_ALGORITMOS · Diffie-Hellman
rsa1978	1978	Rivest, Ron L.; Shamir, Adi; Adleman, Leonard M.	A Method for Obtaining Digital Signatures and Public-Key Cryptosystems	Communications of the ACM, Vol. 21, No. 2	https://doi.org/10.1145/359340.359342	02_ALGORITMOS · RSA; 13_CUANTICA (amenaza Shor)
adleman1994	1994	Adleman, Leonard M.	Molecular Computation of Solutions to Combinatorial Problems	Science, Vol. 266, No. 5187	https://doi.org/10.1126/science.7973651	02_ALGORITMOS · DNA computing
brinpage1998	1998	Brin, Sergey; Page, Lawrence	The Anatomy of a Large-Scale Hypertextual Web Search Engine	Proceedings of the 7th International Conference on World Wide Web (WWW7)	https://doi.org/10.1016/S0169-7552(98)00110-X	02_ALGORITMOS · PageRank; 09_INTERNET (Google)
mapreduce2004	2004	Dean, Jeffrey; Ghemawat, Sanjay	MapReduce: Simplified Data Processing on Large Clusters	OSDI 2004	https://research.google/pubs/pub62/	02_ALGORITMOS · MapReduce; 10_DATA (NoSQL)
nakamoto2008	2008	Nakamoto, Satoshi	Bitcoin: A Peer-to-Peer Electronic Cash System	Self-published (cryptography mailing list)	https://bitcoin.org/bitcoin.pdf	02_ALGORITMOS · consenso Nakamoto
vaswani2017	2017	Vaswani, Ashish; Shazeer, Noam; Parmar, Niki; Uszkoreit, Jakob; Jones, Llion; Gomez, Aidan N.; Kaiser, Łukasz; Polosukhin, Illia	Attention Is All You Need	NeurIPS 2017 (Advances in Neural Information Processing Systems, Vol. 30)	https://arxiv.org/abs/1706.03762	02_ALGORITMOS · attention; 11_IA · Transformer
react2022	2022	Yao, Shunyu; Zhao, Jeffrey; Yu, Dian; Du, Nan; Shafran, Izhak; Narasimhan, Karthik; Cao, Yuan	ReAct: Synergizing Reasoning and Acting in Language Models	ICLR 2023 (preprint 2022)	https://arxiv.org/abs/2210.03629	02_ALGORITMOS · algoritmos agénticos; 06_PARADIGMAS
tot2023	2023	Yao, Shunyu et al.	Tree of Thoughts: Deliberate Problem Solving with Large Language Models	NeurIPS 2023	https://arxiv.org/abs/2305.10601	02_ALGORITMOS · algoritmos agénticos; 06_PARADIGMAS
lovelace1843	1843	Lovelace, Ada (transl./annot.)	Sketch of the Analytical Engine invented by Charles Babbage, by L.F. Menabrea (with notes)	Taylor's Scientific Memoirs, Vol. 3, pp. 666–731	https://www.fourmilab.ch/babbage/sketch.html	03_ARQUITECTURA · primer programa
turing1950	1950	Turing, Alan M.	Computing Machinery and Intelligence	Mind, Vol. 59, No. 236	https://doi.org/10.1093/mind/LIX.236.433	11_IA · test de Turing
vonneumann1945	1945	von Neumann, John	First Draft of a Report on the EDVAC	Moore School of Electrical Engineering, Univ. of Pennsylvania (technical report)	https://archive.org/details/firstdraftofrepo00vonn	03_ARQUITECTURA · programa almacenado
vonneumann1966	1966	von Neumann, John (ed. Burks, Arthur W.)	Theory of Self-Reproducing Automata	University of Illinois Press	https://archive.org/details/theoryofselfrepr00vonn	03_ARQUITECTURA · autómatas autoreplicantes; 15_SIMULACION
mccullochwpitts1943	1943	McCulloch, Warren S.; Pitts, Walter	A Logical Calculus of the Ideas Immanent in Nervous Activity	Bulletin of Mathematical Biophysics, Vol. 5	https://doi.org/10.1007/BF02478259	11_IA · neurona artificial; 03_ARQUITECTURA
bardeen1948	1948	Bardeen, John; Brattain, Walter H.	The Transistor, A Semi-Conductor Triode	Physical Review, Vol. 74, No. 2	https://doi.org/10.1103/PhysRev.74.230	04_ELECTRONICA · transistor
shockley1949	1949	Shockley, William	The Theory of p-n Junctions in Semiconductors and p-n Junction Transistors	Bell System Technical Journal, Vol. 28, No. 3	https://doi.org/10.1002/j.1538-7305.1949.tb03645.x	04_ELECTRONICA · transistor de unión
moore1965	1965	Moore, Gordon E.	Cramming More Components onto Integrated Circuits	Electronics Magazine, Vol. 38, No. 8, pp. 114–117	https://archive.org/details/Electronics_4_19_1965-04-19	04_ELECTRONICA · ley de Moore
hopper1952	1952	Hopper, Grace M.	The Education of a Computer	Proceedings of the 1952 ACM Annual Conference	https://doi.org/10.1145/609784.609818	05_SOFTWARE · compilador A-0
backus1957	1957	Backus, John W. et al.	The FORTRAN Automatic Coding System	Proceedings of the Western Joint Computer Conference	https://doi.org/10.1145/1455567.1455599	05_SOFTWARE · FORTRAN
mccarthy1960	1960	McCarthy, John	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I	Communications of the ACM, Vol. 3, No. 4	https://doi.org/10.1145/367177.367199	05_SOFTWARE · LISP
naur1960	1960	Naur, Peter (ed.)	Report on the Algorithmic Language ALGOL 60	Communications of the ACM, Vol. 3, No. 5	https://doi.org/10.1145/367236.367262	05_SOFTWARE · ALGOL 60
dijkstra1968	1968	Dijkstra, Edsger W.	Go To Statement Considered Harmful	Communications of the ACM, Vol. 11, No. 3	https://doi.org/10.1145/362929.362947	05_SOFTWARE · programación estructurada
ritchie1974	1974	Ritchie, Dennis M.; Thompson, Ken	The UNIX Time-Sharing System	Communications of the ACM, Vol. 17, No. 7	https://doi.org/10.1145/361011.361061	05_SOFTWARE · Unix
stallman1985	1985	Stallman, Richard M.	The GNU Manifesto	Dr. Dobb's Journal, Vol. 10, No. 3	https://www.gnu.org/gnu/manifesto.html	05_SOFTWARE · GNU
agile2001	2001	Beck, Kent et al. (17 signatarios)	Manifesto for Agile Software Development	Snowbird, Utah (autoedición)	https://agilemanifesto.org	06_PARADIGMAS · TDD + Ágil
beck2002	2002	Beck, Kent	Test-Driven Development: By Example	Addison-Wesley, Boston	`ISBN 978-0-321-14653-3`	06_PARADIGMAS · TDD
dahl1967	1967	Dahl, Ole-Johan; Nygaard, Kristen	SIMULA — An ALGOL-Based Simulation Language	Communications of the ACM, Vol. 9, No. 9	https://doi.org/10.1145/365813.365819	06_PARADIGMAS · Simula 67 / POO
goldberg1983	1983	Goldberg, Adele; Robson, David	Smalltalk-80: The Language and its Implementation	Addison-Wesley, Reading MA	`ISBN 978-0-201-11371-6`	06_PARADIGMAS · Smalltalk-80
intel4004_1971	1971	Hoff, Marcian E. et al.	A New Concept in Microprocessor Design (Intel 4004 announcement)	Intel Corporation Technical Report	https://archive.org/details/Intel4004DataSheetNov1971	07_MICRO_PC · Intel 4004
sutherland1963	1963	Sutherland, Ivan E.	Sketchpad: A Man-Machine Graphical Communication System	AFIPS Spring Joint Computer Conference	https://doi.org/10.1145/1461551.1461591	07_MICRO_PC · Sketchpad
patterson1980	1980	Patterson, David A.; Séquin, Carlo H.	RISC I: A Reduced Instruction Set VLSI Computer	Proceedings of the 8th Annual Symposium on Computer Architecture (ISCA)	https://doi.org/10.1145/1067649.806900	07_MICRO_PC · RISC
asanovic2014	2014	Waterman, Andrew; Lee, Yunsup; Patterson, David A.; Asanović, Krste	The RISC-V Instruction Set Manual, Volume I: User-Level ISA, Version 2.0	UCB/EECS-2014-54, EECS, UC Berkeley	https://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-20…	07_MICRO_PC · RISC-V
brooks1986	1986	Brooks, Rodney A.	A Robust Layered Control System for a Mobile Robot	IEEE Journal of Robotics and Automation, Vol. 2, No. 1	https://doi.org/10.1109/JRA.1986.1087032	08_ROBOTICA · subsumption architecture / Shakey contexto
levine2024pi0	2024	Black, Kevin; Brown, Noah; Driess, Danny; Esmail, Adnan; Finn, Chelsea; Levine, Sergey et al. (Physical Intelligence)	π0: A Vision-Language-Action Flow Model for General Robot Control	arXiv preprint	https://arxiv.org/abs/2410.24164	08_ROBOTICA · robot foundation models (π0)
rt2_2023	2023	Brohan, Anthony et al. (Google DeepMind)	RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control	arXiv preprint	https://arxiv.org/abs/2307.15818	08_ROBOTICA · VLA models
openxembodiment2023	2023	Open X-Embodiment Collaboration (Peng et al.)	Open X-Embodiment: Robotic Learning Datasets and RT-X Models	arXiv preprint	https://arxiv.org/abs/2310.08864	08_ROBOTICA · cross-embodiment
baran1964	1964	Baran, Paul	On Distributed Communications Networks	IEEE Transactions on Communications, Vol. 12, No. 1	https://doi.org/10.1109/TCOM.1964.1088883	09_INTERNET · packet switching / ARPANET
certkahn1974	1974	Cerf, Vinton G.; Kahn, Robert E.	A Protocol for Packet Network Intercommunication	IEEE Transactions on Communications, Vol. 22, No. 5	https://doi.org/10.1109/TCOM.1974.1092259	09_INTERNET · TCP/IP
bernerslee1989	1989	Berners-Lee, Tim	Information Management: A Proposal	CERN internal memo	https://info.cern.ch/Proposal.html	09_INTERNET · WWW
codd1970	1970	Codd, E. F.	A Relational Model of Data for Large Shared Data Banks	Communications of the ACM, Vol. 13, No. 6	https://doi.org/10.1145/362384.362685	10_DATA · modelo relacional
chamberlin1974	1974	Chamberlin, Donald D.; Boyce, Raymond F.	SEQUEL: A Structured English Query Language	Proceedings of the 1974 ACM SIGFIDET Workshop	https://doi.org/10.1145/800296.811515	10_DATA · SQL
stonebraker1976	1976	Stonebraker, Michael; Wong, Eugene; Kreps, Peter; Held, Gerald	The Design and Implementation of INGRES	ACM Transactions on Database Systems, Vol. 1, No. 3	https://doi.org/10.1145/320473.320476	10_DATA · PostgreSQL / INGRES antecedente
bigtable2006	2006	Chang, Fay; Dean, Jeffrey; Ghemawat, Sanjay; Hsieh, Wilson C.; Wallach, Debra A.; Burrows, Mike; Chandra, Tushar; Fikes, Andrew; Gruber, Robert E.	Bigtable: A Distributed Storage System for Structured Data	OSDI 2006	https://research.google/pubs/pub27898/	10_DATA · NoSQL / BigTable
dynamo2007	2007	DeCandia, Giuseppe et al. (Amazon)	Dynamo: Amazon's Highly Available Key-value Store	SOSP 2007	https://doi.org/10.1145/1294261.1294281	10_DATA · NoSQL / Dynamo
altschul1990	1990	Altschul, Stephen F.; Gish, Warren; Miller, Webb; Myers, Eugene W.; Lipman, David J.	Basic Local Alignment Search Tool	Journal of Molecular Biology, Vol. 215, No. 3	https://doi.org/10.1016/S0022-2836(05)80360-2	10_DATA · BLAST / bioinformática
faiss2017	2017	Johnson, Jeff; Douze, Matthijs; Jégou, Hervé	Billion-scale similarity search with GPUs	IEEE Transactions on Big Data (arXiv 2017)	https://arxiv.org/abs/1702.08734	10_DATA · FAISS / vector search
legg2026majorana	2026	Legg, Henry F.	On the robustness of topological gap detection via transport	Nature 654, E22–E26 · Matters Arising	doi:10.1038/s41586-026-10567-8	13_CUANTICA · Majorana 1, estado de la controversia
rosenblatt1958	1958	Rosenblatt, Frank	The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain	Psychological Review, Vol. 65, No. 6	https://doi.org/10.1037/h0042519	11_IA · Perceptrón
weizenbaum1966	1966	Weizenbaum, Joseph	ELIZA — A Computer Program for the Study of Natural Language Communication Between Man and Machine	Communications of the ACM, Vol. 9, No. 1	https://doi.org/10.1145/365153.365168	11_IA · ELIZA
minskypapert1969	1969	Minsky, Marvin; Papert, Seymour A.	Perceptrons: An Introduction to Computational Geometry	MIT Press, Cambridge MA	https://archive.org/details/perceptronsintro00mins	11_IA · invierno IA
rumelhart1986	1986	Rumelhart, David E.; Hinton, Geoffrey E.; Williams, Ronald J.	Learning Representations by Back-propagating Errors	Nature, Vol. 323	https://doi.org/10.1038/323533a0	11_IA · backpropagation
werbos1974	1974	Werbos, Paul J.	Beyond Regression: New Tools for Prediction and Analysis in the Behavioral Sciences	PhD thesis, Harvard University	`(thesis; published later as "The Roots of Backpropagation", Wiley 1994)`	11_IA · backpropagation (formulación original)
lecun1998	1998	LeCun, Yann; Bottou, Léon; Bengio, Yoshua; Haffner, Patrick	Gradient-Based Learning Applied to Document Recognition	Proceedings of the IEEE, Vol. 86, No. 11	https://doi.org/10.1109/5.726791	11_IA · LeNet-5 / CNNs
hinton2006	2006	Hinton, Geoffrey E.; Osindero, Simon; Teh, Yee-Whye	A Fast Learning Algorithm for Deep Belief Nets	Neural Computation, Vol. 18, No. 7	https://doi.org/10.1162/neco.2006.18.7.1527	11_IA · Deep Belief Nets
deng2009	2009	Deng, Jia; Dong, Wei; Socher, Richard; Li, Li-Jia; Li, Kai; Fei-Fei, Li	ImageNet: A Large-Scale Hierarchical Image Database	CVPR 2009	https://doi.org/10.1109/CVPR.2009.5206848	11_IA · ImageNet
krizhevsky2012	2012	Krizhevsky, Alex; Sutskever, Ilya; Hinton, Geoffrey E.	ImageNet Classification with Deep Convolutional Neural Networks	Advances in Neural Information Processing Systems (NeurIPS), Vol. 25	https://doi.org/10.1145/3065386	11_IA · AlexNet
mikolov2013	2013	Mikolov, Tomas; Chen, Kai; Corrado, Greg; Dean, Jeffrey	Efficient Estimation of Word Representations in Vector Space	arXiv preprint (ICLR 2013 workshop)	https://arxiv.org/abs/1301.3781	11_IA · Word2Vec
goodfellow2014	2014	Goodfellow, Ian J.; Pouget-Abadie, Jean; Mirza, Mehdi; Xu, Bing; Warde-Farley, David; Ozair, Sherjil; Courville, Aaron; Bengio, Yoshua	Generative Adversarial Nets	Advances in Neural Information Processing Systems (NeurIPS) 27	https://arxiv.org/abs/1406.2661	11_IA · GANs
silver2016	2016	Silver, David; Huang, Aja; Maddison, Chris J. et al.	Mastering the Game of Go with Deep Neural Networks and Tree Search	Nature, Vol. 529	https://doi.org/10.1038/nature16961	11_IA · AlphaGo
devlin2018	2018	Devlin, Jacob; Chang, Ming-Wei; Lee, Kenton; Toutanova, Kristina	BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding	NAACL 2019 (arXiv 2018)	https://arxiv.org/abs/1810.04805	11_IA · BERT
radford2018	2018	Radford, Alec; Narasimhan, Karthik; Salimans, Tim; Sutskever, Ilya	Improving Language Understanding by Generative Pre-Training (GPT-1)	OpenAI Blog / technical report	https://openai.com/research/language-unsupervised	11_IA · GPT-1
brown2020	2020	Brown, Tom B. et al. (OpenAI)	Language Models are Few-Shot Learners (GPT-3)	NeurIPS 2020	https://arxiv.org/abs/2005.14165	11_IA · GPT-3
kaplan2020	2020	Kaplan, Jared; McCandlish, Sam; Henighan, Tom et al. (OpenAI)	Scaling Laws for Neural Language Models	arXiv preprint	https://arxiv.org/abs/2001.08361	11_IA · GPT-3 (scaling laws)
jumper2021	2021	Jumper, John; Evans, Richard; Pritzel, Alexander et al. (DeepMind)	Highly accurate protein structure prediction with AlphaFold	Nature, Vol. 596	https://doi.org/10.1038/s41586-021-03819-2	11_IA · AlphaFold 2
ho2020diffusion	2020	Ho, Jonathan; Jain, Ajay; Abbeel, Pieter	Denoising Diffusion Probabilistic Models	NeurIPS 2020	https://arxiv.org/abs/2006.11239	11_IA · Diffusion (base teórica)
rombach2022	2022	Rombach, Robin; Blattmann, Andreas; Lorenz, Dominik; Esser, Patrick; Ommer, Björn	High-Resolution Image Synthesis with Latent Diffusion Models	CVPR 2022	https://arxiv.org/abs/2112.10752	11_IA · Stable Diffusion / latent diffusion
touvron2023	2023	Touvron, Hugo; Lavril, Thibaut; Izacard, Gautier et al. (Meta)	LLaMA: Open and Efficient Foundation Language Models	arXiv preprint	https://arxiv.org/abs/2302.13971	11_IA · LLaMA
team2023gemini	2023	Gemini Team (Google DeepMind)	Gemini: A Family of Highly Capable Multimodal Models	arXiv preprint	https://arxiv.org/abs/2312.11805	11_IA · Gemini
openai2023gpt4	2023	OpenAI	GPT-4 Technical Report	arXiv preprint	https://arxiv.org/abs/2303.08774	11_IA · GPT-4
deepseek2025	2025	DeepSeek-AI	DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning	arXiv preprint	https://arxiv.org/abs/2501.12948	11_IA · DeepSeek-R1
phi3_2024	2024	Abdin, Marah et al. (Microsoft Research)	Phi-3 Technical Report: A Highly Capable Language Model Locally on Your Phone	arXiv preprint	https://arxiv.org/abs/2404.14219	11_IA · Phi-3 small models
nickolls2008	2008	Nickolls, John; Buck, Ian; Garland, Michael; Skadron, Kevin	Scalable Parallel Programming with CUDA	ACM Queue, Vol. 6, No. 2	https://doi.org/10.1145/1365490.1365500	12_PARALELISMO · CUDA
jouppi2017tpu	2017	Jouppi, Norman P. et al. (Google)	In-Datacenter Performance Analysis of a Tensor Processing Unit	ISCA 2017	https://doi.org/10.1145/3079856.3080246	12_PARALELISMO · TPU v1
benioff1980	1980	Benioff, Paul A.	The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines	Journal of Statistical Physics, Vol. 22	https://doi.org/10.1007/BF01011339	13_CUANTICA · modelo cuántico
feynman1982	1982	Feynman, Richard P.	Simulating Physics with Computers	International Journal of Theoretical Physics, Vol. 21, Nos. 6–7	https://doi.org/10.1007/BF02650179	13_CUANTICA · simulación cuántica
deutsch1985	1985	Deutsch, David	Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer	Proceedings of the Royal Society A, Vol. 400	https://doi.org/10.1098/rspa.1985.0070	13_CUANTICA · computador universal cuántico
shor1994	1994	Shor, Peter W.	Algorithms for Quantum Computation: Discrete Logarithms and Factoring	Proceedings of the 35th Annual Symposium on Foundations of Computer Science (FOCS)	https://doi.org/10.1109/SFCS.1994.365700	13_CUANTICA · algoritmo de Shor
shor1995qec	1995	Shor, Peter W.	Scheme for Reducing Decoherence in Quantum Computer Memory	Physical Review A, Vol. 52, No. 4	https://doi.org/10.1103/PhysRevA.52.R2493	13_CUANTICA · QEC (corrección de errores cuánticos)
steane1996	1996	Steane, Andrew M.	Error Correcting Codes in Quantum Theory	Physical Review Letters, Vol. 77, No. 5	https://doi.org/10.1103/PhysRevLett.77.793	13_CUANTICA · códigos CSS
grover1996	1996	Grover, Lov K.	A Fast Quantum Mechanical Algorithm for Database Search	Proceedings of the 28th Annual ACM STOC	https://doi.org/10.1145/237814.237866	13_CUANTICA · algoritmo de Grover
kitaev2003	2003	Kitaev, Alexei Yu.	Fault-tolerant quantum computation by anyons	Annals of Physics, Vol. 303	https://doi.org/10.1016/S0003-4916(02)00018-0	13_CUANTICA · surface codes / topological QC
chuang1998	1998	Chuang, Isaac L.; Gershenfeld, Neil; Kubinec, Mark	Experimental Implementation of Fast Quantum Searching	Physical Review Letters, Vol. 80, No. 15	https://doi.org/10.1103/PhysRevLett.80.3408	13_CUANTICA · 2 qubits NMR
arute2019	2019	Arute, Frank; Arya, Kunal; Babbush, Ryan et al. (Google AI)	Quantum supremacy using a programmable superconducting processor (Sycamore)	Nature, Vol. 574	https://doi.org/10.1038/s41586-019-1666-5	13_CUANTICA · Sycamore
acharya2024willow	2024	Acharya, Rajeev; Aleiner, Igor L.; Allen, Richard et al. (Google Quantum AI)	Quantum error correction below the surface code threshold (Willow)	Nature, Vol. 636	https://doi.org/10.1038/s41586-024-08449-y	13_CUANTICA · Willow
gidney2019rsa	2019	Gidney, Craig; Ekerå, Martin	How to factor 2048 bit RSA integers in 8 hours using 20 million noisy qubits	Quantum, Vol. 5 (published 2021)	https://doi.org/10.22331/q-2021-04-15-433	13_CUANTICA · estimación ruptura RSA
metropolis1949	1949	Metropolis, Nicholas; Ulam, Stanislaw	The Monte Carlo Method	Journal of the American Statistical Association, Vol. 44, No. 247	https://doi.org/10.1080/01621459.1949.10483310	15_SIMULACION · Monte Carlo
charney1950	1950	Charney, Jules G.; Fjørtoft, Ragnar; von Neumann, John	Numerical Integration of the Barotropic Vorticity Equation	Tellus, Vol. 2, No. 4	https://doi.org/10.3402/tellusa.v2i4.8607	15_SIMULACION · predicción meteorológica ENIAC
nagel1973	1973	Nagel, Laurence W.; Pederson, Donald O.	SPICE (Simulation Program with Integrated Circuit Emphasis)	UCB/ERL Memorandum M382, UC Berkeley	https://www2.eecs.berkeley.edu/Pubs/TechRpts/1973/ERL-382…	15_SIMULACION · SPICE
wolfram2002	2002	Wolfram, Stephen	A New Kind of Science	Wolfram Media, Champaign IL	`ISBN 978-1-57955-008-0; https://www.wolframscience.com/nks/`	15_SIMULACION · NKS / autómatas celulares
sora2024	2024	Brooks, Tim; Peebles, Bill; Holmes, Connor et al. (OpenAI)	Video generation models as world simulators (Sora technical report)	OpenAI (technical report / blog)	https://openai.com/research/video-generation-models-as-wo…	15_SIMULACION · Sora / world models
genie2024	2024	Bruce, Jake; Dennis, Michael; Edwards, Ashley et al. (Google DeepMind)	Genie: Generative Interactive Environments	ICML 2024	https://arxiv.org/abs/2402.15391	15_SIMULACION · Genie
hopfield1982	1982	Hopfield, John J.	Neural networks and physical systems with emergent collective computational abilities	Proceedings of the National Academy of Sciences, Vol. 79, No. 8	https://doi.org/10.1073/pnas.79.8.2554	11_IA · Nobel Hopfield 2024
shortliffe1975	1975	Shortliffe, Edward H.; Buchanan, Bruce G.	A model of inexact reasoning in medicine	Mathematical Biosciences, Vol. 23, No. 3–4	https://doi.org/10.1016/0025-5564(75)90047-4	11_IA · MYCIN / sistemas expertos
senior2020alphafoldc	2020	Senior, Andrew W.; Evans, Richard; Jumper, John et al. (DeepMind)	Improved protein structure prediction using potentials from deep learning (AlphaFold1/CASP13)	Nature, Vol. 577	https://doi.org/10.1038/s41586-019-1923-7	11_IA · AlphaFold 1
bahdanau2015	2015	Bahdanau, Dzmitry; Cho, Kyunghyun; Bengio, Yoshua	Neural Machine Translation by Jointly Learning to Align and Translate	ICLR 2015	https://arxiv.org/abs/1409.0473	11_IA · attention (precursor de Vaswani)
ibm360_1964	1964	Amdahl, Gene M.; Blaauw, Gerrit A.; Brooks, Frederick P. Jr.	Architecture of the IBM System/360	IBM Journal of Research and Development, Vol. 8, No. 2	https://doi.org/10.1147/rd.82.0087	03_ARQUITECTURA · IBM System/360
kleinrock1961	1961	Kleinrock, Leonard	Information Flow in Large Communication Nets	MIT RLE Quarterly Progress Report	`(MIT technical report)`	09_INTERNET · teoría de colas / ARPANET
mccarthy1956dartmouth	1955	McCarthy, John; Minsky, Marvin L.; Rochester, Nathaniel; Shannon, Claude E.	A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence	Proposal to Rockefeller Foundation	http://www-formal.stanford.edu/jmc/history/dartmouth/dart…	11_IA · Conferencia Dartmouth 1956
silver2017alphazero	2017	Silver, David; Schrittwieser, Julian; Simonyan, Karen et al.	Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm (AlphaZero)	arXiv preprint	https://arxiv.org/abs/1712.01815	11_IA · AlphaGo (contexto AlphaZero)
o1_2024	2024	OpenAI	OpenAI o1 System Card	OpenAI technical report	https://openai.com/index/openai-o1-system-card/	11_IA · o1 reasoning
mcp2024	2024	Anthropic	Model Context Protocol (MCP) Specification	Anthropic / open spec	https://modelcontextprotocol.io/specification	10_DATA · MCP
turochamp1948	1947–48	Computer History Museum	Early Theorists · Turing's chess program	Mastering the Game archive	computerhistory.org/chess/early-theorists/	11_IA · Turochamp
greywalter1949	1948–49	University of Bristol	Grey Walter and his tortoises	Institutional history	bristol.ac.uk/news/2008/212017945378.html	08_ROBOTICA · ELMER y ELSIE
newellsimon1956	1956	Newell, Allen; Simon, Herbert A.	The Logic Theory Machine	IRE Transactions on Information Theory	doi:10.1109/TIT.1956.1056797	11_IA · Logic Theorist
dendral1965	1965	Feigenbaum, Edward A. et al.	Heuristic Programming Project report	Stanford CS Technical Report CS-TR-74-409	Stanford CS-TR-74-409	11_IA · DENDRAL
hart1968astar	1968	Hart, Peter E.; Nilsson, Nils J.; Raphael, Bertram	A Formal Basis for the Heuristic Determination of Minimum Cost Paths	IEEE Transactions on Systems Science and Cybernetics	doi:10.1109/TSSC.1968.300136	02_ALGORITMOS · A*; 08_ROBOTICA · Shakey
fikesnilsson1971	1971	Fikes, Richard E.; Nilsson, Nils J.	STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving	Artificial Intelligence, Vol. 2	doi:10.1016/0004-3702(71)90010-5	02_ALGORITMOS · STRIPS; 08_ROBOTICA · Shakey
lighthill1973	1973	Lighthill, James; UK Science Research Council	Artificial Intelligence: A General Survey · historical assessment	UK Parliament / House of Lords review	publications.parliament.uk/.../10005.htm	11_IA · primer invierno
stanfordai100winter	2016/2021	Stanford AI100	A Short History of AI · 2021 annotations	One Hundred Year Study on Artificial Intelligence	ai100.stanford.edu/.../short-history-ai	11_IA · segundo invierno
smith1986slam	1986	Smith, Randall C.; Self, Matthew; Cheeseman, Peter	Estimating Uncertain Spatial Relationships in Robotics	UAI 1986 / reprint	arXiv:1304.3111	08_ROBOTICA · SLAM / mapa estocástico
prometheus1994	1994	PROMETHEUS consortium	PROMETHEUS: Finale for the Future	Transport Research International Documentation	trid.trb.org/View/415491	08_ROBOTICA · VaMP/VITA-2
thrun2006stanley	2006	Thrun, Sebastian et al.	Stanley: The Robot that Won the DARPA Grand Challenge	Journal of Field Robotics	robots.stanford.edu/papers/thrun.stanley05.html	08_ROBOTICA · Stanley 2005
ibmwatson2011	2011	IBM Research	IBM Watson to watsonx · historical milestone	IBM official history	ibm.com/watson	11_IA · Watson / Jeopardy!
openai2015	2015	Brockman, Greg; Sutskever, Ilya; OpenAI	Introducing OpenAI	OpenAI official announcement	openai.com/index/introducing-openai/	11_IA · contexto institucional
nobelphysics2024	2024	Royal Swedish Academy of Sciences	The Nobel Prize in Physics 2024	NobelPrize.org	nobelprize.org/prizes/physics/2024/summary/	11_IA · Hopfield y Hinton
nobelchemistry2024	2024	Royal Swedish Academy of Sciences	The Nobel Prize in Chemistry 2024	NobelPrize.org	nobelprize.org/prizes/chemistry/2024/summary/	11_IA · Baker, Hassabis y Jumper
chinook2007	2007	Schaeffer, Jonathan et al.; University of Alberta	Chinook · Project Milestones / Checkers is Solved	University of Alberta Games Group	webdocs.cs.ualberta.ca/~chinook/project/milestones.html	11_IA · recuadro juegos
libratus2017	2017	Brown, Noam; Sandholm, Tuomas	Libratus · Inner Workings of Victorious Poker AI	Carnegie Mellon University / Science	csd.cmu.edu/news/...libratus	11_IA · recuadro juegos
anthropic2026opus47	2026	Anthropic	Introducing Claude Opus 4.7	Anthropic official announcement, 16 Apr 2026	anthropic.com/news/claude-opus-4-7	11_IA · Claude Opus 4.7
bellman1957	1957	Bellman, Richard	A Markovian Decision Process	Indiana University Mathematics Journal, Vol. 6, No. 4	iumj.org/article/1116/	02_ALGORITMOS · procesos de decisión de Markov; 11_IA · Q-learning
samuel1959	1959	Samuel, Arthur L.	Some Studies in Machine Learning Using the Game of Checkers	IBM Journal of Research and Development, Vol. 3, No. 3	doi:10.1147/rd.33.0210	11_IA · Samuel Checkers
fukushima1980	1980	Fukushima, Kunihiko	Neocognitron: A Self-organizing Neural Network Model for a Mechanism of Pattern Recognition Unaffected by Shift in Position	Biological Cybernetics, Vol. 36	doi:10.1007/BF00344251	11_IA · Neocognitron
pearl1986	1986	Pearl, Judea	Fusion, Propagation, and Structuring in Belief Networks	Artificial Intelligence, Vol. 29, No. 3	doi:10.1016/0004-3702(86)90072-X	11_IA · redes bayesianas
watkinsdayan1992	1992	Watkins, Christopher J. C. H.; Dayan, Peter	Q-learning	Machine Learning, Vol. 8	doi:10.1007/BF00992698	11_IA · Q-learning; 02_ALGORITMOS · Bellman
cortesvapnik1995	1995	Cortes, Corinna; Vapnik, Vladimir	Support-Vector Networks	Machine Learning, Vol. 20	doi:10.1007/BF00994018	11_IA · máquinas de vectores soporte
hochreiterschmidhuber1997	1997	Hochreiter, Sepp; Schmidhuber, Jürgen	Long Short-Term Memory	Neural Computation, Vol. 9, No. 8	doi:10.1162/neco.1997.9.8.1735	11_IA · LSTM
deepthinkimo2025	2025	Google DeepMind	Advanced Version of Gemini with Deep Think Officially Achieves Gold-medal Standard at the International Mathematical Olympiad	Official research announcement	deepmind.google/blog/...international-mathematical-olympiad/	01_LOGICA · Gemini Deep Think
aardvark2025	2025	Allen, Anna; Markou, Stratis; Tebbutt, Will et al.	End-to-end Data-driven Weather Prediction	Nature, Vol. 641	doi:10.1038/s41586-025-08897-0	15_SIMULACION · Aardvark Weather
alphagenome2026	2026	Avsec, Žiga; Latysheva, Natasha; Cheng, Jun et al.	Advancing Regulatory Variant Effect Prediction with AlphaGenome	Nature, Vol. 649	doi:10.1038/s41586-025-10014-0	11_IA · AlphaGenome
gendershades2018	2018	Buolamwini, Joy; Gebru, Timnit	Gender Shades: Intersectional Accuracy Disparities in Commercial Gender Classification	Proceedings of Machine Learning Research, Vol. 81	proceedings.mlr.press/v81/buolamwini18a.html	Eje editorial IA y sociedad · evaluación desagregada
datasheets2021	2021	Gebru, Timnit; Morgenstern, Jamie; Vecchione, Briana et al.	Datasheets for Datasets	Communications of the ACM, Vol. 64, No. 12	microsoft.com/research/publication/datasheets-for-datasets/	Eje editorial IA y sociedad · documentación de datos
euaiact2024	2024	Comisión Europea	European Artificial Intelligence Act Comes into Force	European Commission, 1 August 2024	commission.europa.eu/.../ai-act-enters-force-2024-08-01_en	Eje editorial IA y sociedad · regulación por riesgo

B · Libros y monografías

ID	Año	Autor(es)	Título	Editorial	ISBN/URL	Usado en
walsh2025	2025	Walsh, Toby	The Shortest History of AI: The Six Essential Ideas That Animate It	Pan Macmillan / The Experiment	ISBN 9789361132254	Auditoría IA 2026 · contraste editorial
knuth_taocp1	1968	Knuth, Donald E.	The Art of Computer Programming, Vol. 1: Fundamental Algorithms	Addison-Wesley	`ISBN 978-0-201-03801-0`	02_ALGORITMOS; 01_LOGICA
knuth_taocp2	1969	Knuth, Donald E.	The Art of Computer Programming, Vol. 2: Seminumerical Algorithms	Addison-Wesley	`ISBN 978-0-201-03822-5`	02_ALGORITMOS
knuth_taocp3	1973	Knuth, Donald E.	The Art of Computer Programming, Vol. 3: Sorting and Searching	Addison-Wesley	`ISBN 978-0-201-03803-4`	02_ALGORITMOS
krbook	1978	Kernighan, Brian W.; Ritchie, Dennis M.	The C Programming Language	Prentice Hall	`ISBN 978-0-13-110362-7`	05_SOFTWARE · C
brooks1975	1975	Brooks, Frederick P. Jr.	The Mythical Man-Month: Essays on Software Engineering	Addison-Wesley	`ISBN 978-0-201-00650-6`	03_ARQUITECTURA · IBM S/360
minsky1986society	1986	Minsky, Marvin L.	The Society of Mind	Simon & Schuster	`ISBN 978-0-671-60740-1`	11_IA · sistemas expertos contexto
knuth_tex	1984	Knuth, Donald E.	The TeXbook	Addison-Wesley	`ISBN 978-0-201-13448-3`	02_ALGORITMOS (TeX side project)
hennessy2011	2011	Patterson, David A.; Hennessy, John L.	Computer Organization and Design: The Hardware/Software Interface (4th ed.)	Morgan Kaufmann	`ISBN 978-0-12-374493-7`	07_MICRO_PC · RISC referencia
pearce2006	2006	Stroustrup, Bjarne	A History of C++	en: History of Programming Languages II (ed. Wexelblat), ACM Press	`ISBN 978-0-201-89502-5`	06_PARADIGMAS · C++
stroustrup1985	1985	Stroustrup, Bjarne	The C++ Programming Language	Addison-Wesley	`ISBN 978-0-201-12078-3`	06_PARADIGMAS · C++
beck1999xp	1999	Beck, Kent	Extreme Programming Explained: Embrace Change	Addison-Wesley	`ISBN 978-0-201-61641-5`	06_PARADIGMAS · TDD/XP
nielsen2010	2010	Nielsen, Michael A.; Chuang, Isaac L.	Quantum Computation and Quantum Information (10th anniversary ed.)	Cambridge University Press	`ISBN 978-1-107-00217-3`	13_CUANTICA · referencia general
russel2020	2020	Russell, Stuart; Norvig, Peter	Artificial Intelligence: A Modern Approach (4th ed.)	Pearson	`ISBN 978-0-13-468168-3`	11_IA · referencia general IA
gleick2011	2011	Gleick, James	The Information: A History, A Theory, A Flood	Pantheon Books	`ISBN 978-0-375-42372-7`	01_LOGICA · Shannon contexto
reidl2024robots	2014	Bekey, George A.	Autonomous Robots: From Biological Inspiration to Implementation and Control	MIT Press	`ISBN 978-0-262-02578-1`	08_ROBOTICA · referencia robótica
waldrop1992	1992	Waldrop, M. Mitchell	The Dream Machine: J.C.R. Licklider and the Revolution That Made Computing Personal	Viking	`ISBN 978-0-670-89095-2`	09_INTERNET · ARPANET contexto
voneumann_autom	1966	von Neumann, John (ed. Burks, Arthur W.)	Theory of Self-Reproducing Automata	University of Illinois Press	https://archive.org/details/theoryofselfrepr00vonn	03_ARQUITECTURA · autómatas
church_calc	1941	Church, Alonzo	The Calculi of Lambda-Conversion	Princeton University Press (Annals of Mathematics Studies No. 6)	`ISBN (reprint) 978-0-691-08394-0`	01_LOGICA · lambda calculus libro
deutsch_fabric	1997	Deutsch, David	The Fabric of Reality	Penguin Press	`ISBN 978-0-14-027541-4`	13_CUANTICA · contexto computación cuántica
wiener1948	1948	Wiener, Norbert	Cybernetics: Or Control and Communication in the Animal and the Machine	MIT Press	mitpress.mit.edu/9780262730099/cybernetics/	11_IA · cibernética; 08_ROBOTICA · retroalimentación
hebb1949	1949	Hebb, Donald O.	The Organization of Behavior: A Neuropsychological Theory	Wiley	pure.mpg.de/view/item_2346268_3	11_IA · aprendizaje hebbiano
nilsson2010	2010	Nilsson, Nils J.	The Quest for Artificial Intelligence: A History of Ideas and Achievements	Cambridge University Press	ai.stanford.edu/~nilsson/qai.html	Contraste ampliado de historia de la IA
wooldridge2021	2021	Wooldridge, Michael	A Brief History of Artificial Intelligence: What It Is, Where We Are, and Where We Are Going	Flatiron Books / Macmillan	us.macmillan.com/books/.../abriefhistoryofartificialintelligence/	Contraste ampliado de historia de la IA

C · White papers y technical reports

ID	Año	Autor(es)/Org	Título	Tipo	URL	Usado en
edvac1945	1945	von Neumann, John	First Draft of a Report on the EDVAC	Technical report, Moore School, Univ. Pennsylvania	https://archive.org/details/firstdraftofrepo00vonn	03_ARQUITECTURA · programa almacenado
bernerslee1991	1991	Berners-Lee, Tim	WorldWideWeb: Proposal for a HyperText Project	CERN internal proposal	https://info.cern.ch/hypertext/WWW/Proposal.html	09_INTERNET · WWW
nvidia_volta2017	2017	NVIDIA Corporation	NVIDIA Tesla V100 GPU Architecture Whitepaper	NVIDIA Whitepaper WP-08608-001_v1.1	https://images.nvidia.com/content/volta-architecture/pdf/…	12_PARALELISMO · Tensor Cores / Volta
nvidia_blackwell2024	2024	NVIDIA Corporation	NVIDIA Blackwell Architecture Technical Brief	NVIDIA Whitepaper	https://www.nvidia.com/en-us/data-center/technologies/bla…	12_PARALELISMO · GPU cadena
nvidia_rubin2026	2026	NVIDIA Corporation	NVIDIA Rubin Architecture Announcement	Press release / GTC 2025	https://www.nvidia.com/en-us/data-center/solutions/hopper…	12_PARALELISMO · Rubin (confidence: medium)
nvidia_cosmos2025	2025	NVIDIA Corporation	NVIDIA Cosmos: World Foundation Model Platform	Technical announcement / CES 2025	https://www.nvidia.com/en-us/ai/cosmos/	15_SIMULACION · Cosmos
apple_m1_2020	2020	Apple Inc.	Apple Unleashes M1 (press release)	Press release	https://www.apple.com/newsroom/2020/11/apple-unleashes-m1/	07_MICRO_PC · Apple M1
ibm_quantum_roadmap	2020	IBM Quantum	IBM Quantum Development Roadmap	IBM Quantum (online document)	https://research.ibm.com/blog/ibm-quantum-roadmap	13_CUANTICA · IBM Heron / Cockatoo
microsoft_majorana2025	2025	Microsoft	Microsoft unveils Majorana 1	Microsoft Azure Quantum announcement	azure.microsoft.com/.../microsoft-unveils-majorana-1	13_CUANTICA · anuncio corporativo y arquitectura reclamada
frontier_ornl2022	2022	HPE / ORNL	Frontier: HPE Cray EX System at Oak Ridge National Laboratory	HPE White Paper	https://www.hpe.com/h20195/v2/getpdf.aspx/a50001948enw.pdf	14_SUPERCOMPUTACION · Frontier
gnu_manifesto	1985	Stallman, Richard M.	The GNU Manifesto	Dr. Dobb's Journal / FSF	https://www.gnu.org/gnu/manifesto.html	05_SOFTWARE · GNU
gpl_v1	1989	Free Software Foundation	GNU General Public License v1	FSF	https://www.gnu.org/licenses/old-licenses/gpl-1.0.html	05_SOFTWARE · GPL / copyleft
k8s_2014	2014	Burns, Brendan; Grant, Brian; Oppenheimer, David; Brewer, Eric; Wilkes, John	Borg, Omega, and Kubernetes	ACM Queue, Vol. 14 (2016) / Google technical memo (2014)	https://doi.org/10.1145/2898442.2898444	09_INTERNET · Kubernetes
docker2013	2013	Hykes, Solomon	The Future of Linux Containers (PyCon 2013 lightning talk transcript)	PyCon US 2013	https://www.youtube.com/watch?v=wW9CAH9nSLs	05_SOFTWARE · Docker
ibm_systemr	1979	Chamberlin, Donald D. et al.	A History and Evaluation of System R	Communications of the ACM, Vol. 24, No. 10	https://doi.org/10.1145/358769.358784	10_DATA · System R / SQL
aws_launch2006	2006	Amazon Web Services	Amazon S3 / EC2 launch press releases	AWS Press Room	https://aws.amazon.com/about-aws/whats-new/	09_INTERNET · AWS cloud
bc_copilot2021	2021	GitHub / OpenAI	GitHub Copilot: Your AI Pair Programmer (Technical Preview)	GitHub Blog	https://github.blog/news-insights/product-news/introducin…	05_SOFTWARE · GitHub Copilot
anthropic_claude2023	2023	Anthropic	Claude's Model Card	Anthropic	https://www.anthropic.com/research	11_IA · Claude modelos
openai_chatgpt2022	2022	OpenAI	Introducing ChatGPT	OpenAI Blog	https://openai.com/blog/chatgpt	11_IA · ChatGPT
deepmind_alphaproof2024	2024	DeepMind	AI achieves silver-medal standard solving International Mathematical Olympiad problems	DeepMind Blog	https://deepmind.google/discover/blog/ai-solves-imo-probl…	01_LOGICA · AlphaProof
pi0_phys2024	2024	Physical Intelligence	π0: Our First Generalist Robot Policy	Physical Intelligence Blog	https://www.physicalintelligence.company/blog/pi0	08_ROBOTICA · π0
raspberry_pi	2012	Raspberry Pi Foundation	Raspberry Pi: A $25 ARM GNU/Linux box for kids	Original announcement	https://www.raspberrypi.com/about/	07_MICRO_PC · Raspberry Pi
alphaevolve2025	2025	Novikov, Alexander; Vũ, Ngân; Eisenberger, Marvin et al. (Google DeepMind)	AlphaEvolve: A Coding Agent for Scientific and Algorithmic Discovery	White paper / arXiv preprint	arXiv:2506.13131	02_ALGORITMOS · AlphaEvolve (evidencia provisional)
aiindex2026	2026	Stanford Institute for Human-Centered AI	AI Index Report 2026	Annual research report	hai.stanford.edu/ai-index/2026-ai-index-report	Contraste reciente · ciencia, política y adopción

D · Estándares (RFC, IEEE, ISO, ITU)

ID	Año	Org	Estándar	Título	URL	Usado en
rfc791	1981	IETF / DARPA	RFC 791	Internet Protocol	https://www.rfc-editor.org/rfc/rfc791	09_INTERNET · TCP/IP
rfc793	1981	IETF / DARPA	RFC 793	Transmission Control Protocol	https://www.rfc-editor.org/rfc/rfc793	09_INTERNET · TCP/IP
rfc1945	1996	IETF	RFC 1945	Hypertext Transfer Protocol — HTTP/1.0	https://www.rfc-editor.org/rfc/rfc1945	09_INTERNET · WWW / HTTP
rfc2616	1999	IETF	RFC 2616	Hypertext Transfer Protocol — HTTP/1.1	https://www.rfc-editor.org/rfc/rfc2616	09_INTERNET · HTTP
rfc8446	2018	IETF	RFC 8446	The Transport Layer Security (TLS) Protocol Version 1.3	https://www.rfc-editor.org/rfc/rfc8446	09_INTERNET · criptografía web
ieee80211	1997	IEEE	IEEE Std 802.11-1997	Information Technology — Wireless LAN Medium Access Control and Physical Layer Specifications	https://standards.ieee.org/ieee/802.11/7028/	09_INTERNET · WiFi (implícito)
iso_c89	1989	ANSI / ISO	ANSI X3.159-1989 (C89)	Programming Language C	https://www.iso.org/standard/17782.html	05_SOFTWARE · C estándar
iso_cpp98	1998	ISO	ISO/IEC 14882:1998	Programming Language C++	https://www.iso.org/standard/25845.html	06_PARADIGMAS · C++
ecma262_1997	1997	ECMA International	ECMA-262, 1st Edition	ECMAScript Language Specification	https://ecma-international.org/publications-and-standards…	06_PARADIGMAS · JavaScript
nist_pqc2024	2024	NIST	NIST FIPS 203 / 204 / 205	Post-Quantum Cryptography Standards (ML-KEM, ML-DSA, SLH-DSA)	https://csrc.nist.gov/pubs/fips/203/final	13_CUANTICA · criptografía post-cuántica
openclspec	2008	Khronos Group	OpenCL 1.0 Specification	https://www.khronos.org/opencl/	https://registry.khronos.org/OpenCL/	12_PARALELISMO · OpenCL
usd_spec	2016	Pixar / NVIDIA	OpenUSD (Universal Scene Description) Specification	Pixar Animation Studios / open source	https://openusd.org/release/index.html	15_SIMULACION · Omniverse

E · Manuales técnicos oficiales

ID	Año	Organización	Documento	Número	URL	Usado en
ibm5324_1982	1982	IBM Corporation	IBM 5324 Computer Service Manual	`SY34-0241-1`	https://bitsavers.org/pdf/ibm/system23/fe/SY34-0241-1_IBM…	Apéndice IBM System/23 · "máquina que me cambió la vida"
ibm360_principles	1964	IBM Corporation	IBM System/360 Principles of Operation	`A22-6821-0`	https://bitsavers.org/pdf/ibm/360/princOps/A22-6821-0_360…	03_ARQUITECTURA · IBM System/360
ibmpc_techref	1981	IBM Corporation	IBM Personal Computer Technical Reference	`6025005`	https://bitsavers.org/pdf/ibm/pc/IBM_PC_Technical_Referen…	07_MICRO_PC · IBM PC 5150
intel4004_datasheet	1971	Intel Corporation	Intel 4004 Data Sheet	`—`	https://archive.org/details/Intel4004DataSheetNov1971	07_MICRO_PC · Intel 4004
cray1_1976	1976	Cray Research Inc.	CRAY-1 Computer System Hardware Reference Manual	`HR-0808`	https://bitsavers.org/pdf/cray/Cray-1/	14_SUPERCOMPUTACION · Cray-1
univac1_1951	1951	Remington Rand / UNIVAC Division	UNIVAC I Functional Description	`—`	https://bitsavers.org/pdf/univac/univac1/	05_SOFTWARE (Hopper context, UNIVAC)
pdp11_1970	1970	Digital Equipment Corporation	PDP-11/20 Processor Handbook	`—`	https://bitsavers.org/pdf/dec/pdp11/	08_ROBOTICA · PUMA / contexto minicomputador

F · Patents

ID	Año	Inventor(es)	Título patente	Número	URL	Usado en
kilby1964	1964	Kilby, Jack St. Clair	Miniaturized Electronic Circuits	`US3138743`	https://patents.google.com/patent/US3138743	04_ELECTRONICA · circuito integrado (Kilby)
noyce1961	1961	Noyce, Robert N.	Semiconductor Device-and-Lead Structure (planar IC)	`US2981877`	https://patents.google.com/patent/US2981877	04_ELECTRONICA · circuito integrado (Noyce)
rsa_patent	1983	Rivest, Ron L.; Shamir, Adi; Adleman, Leonard M.	Cryptographic Communications System and Method	`US4405829`	https://patents.google.com/patent/US4405829	02_ALGORITMOS · RSA patent (expirada 2000)
devol_unimate	1961	Devol, George C. Jr.	Programmed Article Transfer	`US2988237`	https://patents.google.com/patent/US2988237	08_ROBOTICA · Unimate
transistor1950	1950	Shockley, William B.	Circuit Element Utilizing Semiconductive Material	`US2569347`	https://patents.google.com/patent/US2569347	04_ELECTRONICA · transistor de unión
pagerank1998	1998	Page, Lawrence	Method for Node Ranking in a Linked Database	`US6285999B1`	https://patents.google.com/patent/US6285999B1	02_ALGORITMOS · PageRank
gaa_samsung2022	2022	Samsung Electronics	Gate-All-Around (GAA) Transistor Technology	`Various TSMC/Samsung patents (3nm node)`	https://image-us.samsung.com/SamsungUS/home/computing/mem…	04_ELECTRONICA · transistor GAA

G · Repositorios y archivos digitales

ID	Tipo	Descripción	URL	Usado en
bitsavers	Archive digital	Mirror de manuales técnicos vintage de computadoras (IBM, DEC, Cray, UNIVAC, Intel, etc.)	https://bitsavers.org	Apéndice IBM 5324; 03_ARQUITECTURA; 07_MICRO_PC; 14_SUPERCOMPUTACION
arxiv	Preprint server	Repositorio de preprints académicos (cs.AI, cs.LG, quant-ph, cs.DC)	https://arxiv.org	11_IA (múltiples papers); 13_CUANTICA; 12_PARALELISMO
archive_org	Digital archive	Internet Archive: libros, revistas, software histórico	https://archive.org	01_LOGICA (Shannon 1948); 03_ARQUITECTURA (von Neumann 1945)
dspace_mit	Repository	MIT DSpace — tesis y trabajos técnicos del MIT	https://dspace.mit.edu	01_LOGICA (Shannon 1937 tesis)
cern_info	Archive	info.cern.ch — primer sitio web y propuestas originales de Berners-Lee	https://info.cern.ch	09_INTERNET · WWW
top500	Database	TOP500 — lista semestral de los 500 superordenadores más rápidos del mundo	https://www.top500.org	14_SUPERCOMPUTACION · Frontier, El Capitan, Aurora, JUPITER
huggingface	Repository	Hugging Face Hub — modelos, datasets y papers de IA abierta	https://huggingface.co	11_IA · LLaMA, BERT, modelos open weights
github_linux	Repository	Repositorio oficial del kernel Linux (Linus Torvalds)	https://github.com/torvalds/linux	05_SOFTWARE · Linux kernel
wolfram_nks	Archive	wolframscience.com — texto completo de A New Kind of Science	https://www.wolframscience.com/nks/	15_SIMULACION · NKS
homotopy_tt	Repository	HoTT Book — texto completo y código fuente	https://homotopytypetheory.org/book/	01_LOGICA · HoTT Book
lean4_mathlib	Repository	leanprover-community/mathlib4 — biblioteca matemática para Lean 4	https://github.com/leanprover-community/mathlib4	01_LOGICA · Lean 4 + mathlib
openxemb	Repository	Open X-Embodiment dataset y RT-X models	https://robotics-transformer-x.github.io	08_ROBOTICA · cross-embodiment
nist_csrc	Standards	NIST Computer Security Resource Center — estándares criptográficos	https://csrc.nist.gov	13_CUANTICA · PQC estándares
risc_v_spec	Specification	RISC-V International — especificaciones ISA oficiales	https://riscv.org/technical/specifications/	07_MICRO_PC · RISC-V
ibm_quantum_exp	Platform	IBM Quantum Experience — acceso cloud a chips cuánticos IBM	https://quantum.ibm.com	13_CUANTICA · IBM Heron / Cockatoo
openai_research	Repository	OpenAI Research — papers y technical reports	https://openai.com/research	11_IA · GPT series, o1, Sora
deepmind_research	Repository	Google DeepMind Research — papers y blog posts	https://deepmind.google/research	11_IA · AlphaGo, AlphaFold, AlphaProof
anthropic_research	Repository	Anthropic Research — papers y model cards	https://www.anthropic.com/research	11_IA · Claude; 10_DATA · MCP