Store språkmodeller ser ut til å tenke, men de bruker kun mønstergjenkjenning - ikke eksplisitt logikk. Denne artikkelen forklarer hvorfor de feiler på matematikk og logikk, og hvordan nye modeller forsøker å fikse det - uten å løse grunnleggende begrensninger.