Nick_Tarleton comments on Surprising LLM reasoning failures make me think we still need qualitative breakthroughs for AGI