While it is deeply encouraging to see AI helping humanity solve complex puzzles, it won't be long before AI becomes advanced enough to produce proofs where we know the answers are correct, but can no longer fully comprehend the reasoning and principles behind them.