G garymarcus.substack.com LLMs don't do formal reasoning 144 points LgLasagnaModel 2 years ago 121 comments