LLMs don’t do formal reasoning - and that is a HUGE problem - eviltoast