These incomprehensible AI-generated theorems and proofs will push humans along a trajectory of understanding that nothing else has been able to instigate, making the profound nature of this possible collaboration extraordinary.