Gary Marcus argues LLMs need neuro-symbolic tools for math · Digg