Erdős imagined that God kept a book with all the best proofs in it. Saying that a proof was straight from the Book was the highest possible praise. It meant that the proof revealed why a theorem was true and didn’t merely bludgeon the reader into accepting it with some ugly, difficult argument. I can imagine a day, not too far in the future, when artificial intelligence will give us proofs from the Book.
