Archimedes comments on GPT-4