LLMs don't do formal reasoning – and that is a HUGE problem by from Hacker News on 2024-10-11 19:11 (#6RDEJ) Comments