L’impacte de les idees de Gödel, Turing i Von Neumann en la Intel·ligència Artificial (IA) actual és profund, ja que defineix tant les capacitats com els límits insuperables de les màquines.
El límit de la IA Simbòlica i el triomf de les Xarxes Neuronals
Durant dècades, la IA va intentar seguir el Programa de Hilbert: si podíem escriure totes les regles del món en un sistema lògic, la màquina seria intel·ligent.
L’efecte Gödel: Els teoremes d’incompletesa van demostrar que un sistema basat només en regles i axiomes sempre tindria punts cecs.
La solució actual: La IA moderna (com els LLM) no es basa en regles lògiques rígides, sinó en probabilitat i patrons. Hem passat d’intentar que la màquina demostri la veritat a fer que la màquina intueixi la continuació més probable d’una seqüència, esquivant així la rigidesa de la incompletesa.
El problema de l’aturada i l’alineament de la IA
El Problema de l’Aturada de Turing ens diu que no podem escriure un programa que sàpiga amb total seguretat què farà un altre programa sense executar-lo.
Això significa que és matemàticament impossible crear un algorisme de control que garanteixi al 100% que una IA superintel·ligent mai prendrà una decisió perjudicial. Sempre hi haurà comportaments emergents que no podrem predir només analitzant el codi (el número de Gödel) de la IA.
L’arquitectura de Von Neumann i el coll d’ampolla
Tota la IA actual encara corre sobre l’arquitectura que Von Neumann va dissenyar inspirant-se en Gödel: una memòria on les dades i el software són, fonamentalment, el mateix (números).
Aquesta arquitectura separa el processador de la memòria. Per a les IA gegantines actuals, moure aquests números de Gödel constantment entre la memòria i el xip crea un consum energètic massiu. Per això s’estan buscant arquitectures neuromòrfiques que trenquin amb el model de Von Neumann per assemblar-se més al cervell humà.
Intel·ligència vs. Computació: El debat filosòfic
Gödel creia fermament que la ment humana podia veure veritats que cap màquina podria provar mai. Ell pensava que la intuïció humana no és purament algorítmica.
En la IA actual aquest és el debat central. Som màquines de Turing biològiques que simplement processem informació de manera molt complexa, o hi ha alguna cosa en la consciència humana que ens permet escapar de la incompletesa de Gödel? Si la IA arriba a superar-nos en tot, voldrà dir que Gödel s’equivocava i que nosaltres també som sistemes formals limitats.
El Software com a entitat matemàtica
Gràcies a la numerització de Turing, avui entenem que una xarxa neuronal és, en realitat, una funció matemàtica gegant (un número de Gödel extremadament complex). Això permet que la IA es pugui auto-programar: una IA pot escriure el codi d’una altra IA perquè ambdós són, al capdavall, números processables.
La IA actual és la culminació del somni de Von Neumann de construir màquines universals, però viu sota l’ombra del Teorema de Gödel: per molt intel·ligent que sembli, sempre estarà lligada a la limitació de no poder provar la seva pròpia consistència ni predir totalment les seves pròpies conclusions.
Enfilall
Deixa un comentari…