Human mathematicians are forevermore dethroned as the main theorem provers

“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.”

“As I said, I don't think it was bad for AI. And I think, on net, the world deserves to understand how the universe works. But I do have empathy for the method.”

“People were just throwing that at the hardest problems they could. And people didn't think the model was going to do these things.”

“Our first-party model APIs are now processing nearly 32 billion tokens per minute — 40% more than last quarter and more than four times what we processed a year ago.”