Laut mächtiger KI-Modelle wie GPT-4o und Claude erscheint der Buchstabe 'r' zweimal im Wort 'Erdbeere'. Diese Modelle, bekannt als große Sprachmodelle (LLMs), haben jedoch Einschränkungen im Verständnis von Konzepten wie Buchstaben und Silben, da sie keine echten Gehirne haben und auf numerischen Darstellungen von Text basieren. LLMs basieren auf Transformatoren, die Text in Tokens aufteilen, aber einzelne Buchstaben nicht effizient verstehen. Dieses Problem ist tief in der Architektur der LLMs verankert und schwer zu beheben.

Tokenisierungs-Methoden und Sprachkomplexitäten erschweren die Angelegenheit weiter. Bildgeneratoren hingegen verwenden Diffusionsmodelle und stehen vor anderen Herausforderungen im Zusammenhang mit der Darstellung kleinerer Details. OpenAI entwickelt ein neues KI-Produkt namens Strawberry, um die Argumentationsfähigkeiten zu verbessern, während Google DeepMind AlphaProof und AlphaGeometry 2 für formales mathematisches Denken eingeführt hat. Diese Systeme haben starke Leistungen bei Problemlösungsaufgaben gezeigt.