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