In replies, David Pfau questions whether advanced AI tools will solve all math problems or leave some within human capabilities but beyond AI. Dan Roy agrees that such problems likely exist and adds that models can still be used to gain understanding of them. The exchange centers on the boundaries of mathematical discovery and how AI might interact with problems it cannot fully resolve.