Preuve formelle : atteindre une IA de niveau humain par l'« apprentissage » est intrinsèquement NP-difficile
Six spécialistes des sciences cognitives publient une preuve formelle, le « théorème d'Ingenia » : même avec des données parfaites, atteindre une IA de niveau humain par l'apprentissage est un problème NP-difficile, ce qui fragilise le récit d'une AGI inévitable par la mise à l'échelle.