The AI-Scape Wednesday, November 27, 2024 LLMs don’t do formal reasoning - and that is a HUGE problem