Mathematical proof, beauty, and computers.