I like the quote from Hilbert that was brought up in the article: "we must know, we will know". With AI, it might be the case that we don't know, we won't know

I like the quote from Hilbert that was brought up in the article: "we must know, we will know". With AI, it might be the case that we don't know, we won't know, but the machine does. The central question, namely whether humans should be in the loop, will be repeated again and again in the years to come for all industries, starting with mathematics.