> “Mathematics is not just about proving theorems — it’s about a way to interact with reality, maybe.”
This one I like it because in the current trend of trying to achieve theorem proving in AI only looking at formal systems, people rarely mention this.
And this one:
> Just what will emerge from those explorations is hard to foretell. “That’s the problem with originality,” Granville said. But “he’s definitely got something pretty cool.”
When has that been a "problem" with originality? Hahah but I understand what he means.