Reason me this: Is it a HUGE problem? LLMs don’t do formal reasoning - and that is a HUGE problem#AI https://garymarcus.substack.com/p/llms-dont-do-formal-reasoning-and