> none of them has yet tried to point an AI in the direction of making an existing proof more understandable and intuitive to a human
I'm absolutely certain they've tried that. The issue is this alien intelligence cannot do it. And there are no signs that it ever will. I think way more realistic scenario is this intelligence will go further away from ours and become incomprehensible when it grounds its alien math research on top of its own, not millenia of human's.
I'm absolutely certain they've tried that. The issue is this alien intelligence cannot do it. And there are no signs that it ever will. I think way more realistic scenario is this intelligence will go further away from ours and become incomprehensible when it grounds its alien math research on top of its own, not millenia of human's.