I will always find these type of explorations fascinating. Number theory is so mysterious. I liked these two sentences from the article:

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