LLMs don’t do formal reasoning - and that is a HUGE problem (via voytec) — discussion

#ai