AI, Transformers, Hallucinations, Data Science, Llm.
transformer LLMs can’t answer — or, in other words, mathematically formalizing transformer LLMs’ fundamental limits. To find those limits, the first step was to show that all transformer reasoning can be expressed in a certain form of symbolic logic, which is called “first-order logic with