Archimedes comments on Thoughts on Francois Chollet’s belief that LLMs are far away from AGI?