“Human mathematicians are forevermore dethroned as the main theorem-proving entities on planet earth.”
“In whatever years I have left, I don't expect that I'll ever again prove a theorem because I'm actually needed to prove it.”
“There were fundamental questions here that could have been asked hundreds of years ago. It's just that no one thought to ask them.”
“It's maybe the most fundamental thing that you can say about the evolution of the entire universe. And yet it's not something that anyone thought of until they were building steam engines.”
“"That just seemed like a much, much harder problem,"”