Why Do Mathematicians Call the New Proofs an Alien Intelligence?

Mathematicians talking about the new proofs have been calling the work an alien intelligence. The mathematicians do not really understand how the model connected different ideas, different concepts, and different approaches to solve the problems. The path is hard for humans to comprehend.

The account on All-In ties the result to parallelized loops. Each loop can connect dots a human might spend many days or years trying to find in research papers or in new theory, and then the loop can test the next idea in compute. The same stretch says the whole loop can be run in silico, over and over again.