What, in your opinion, is the point in solving these problems if no human is there to witness it? This is like suggesting we have AI watch movies for us and read its summary afterwards. In fact, why do anything anymore?
Yes, much of pure mathematics is "playing with puzzles" to the end of the joy and beauty revealed by a human solving them.
Yes, much of pure mathematics is "playing with puzzles" to the end of the joy and beauty revealed by a human solving them.