logoalt Hacker News

rookienumbers30today at 2:40 PM2 repliesview on HN

"A mathematician is a person who can find analogies between theorems; a better mathematician is one who can see analogies between proofs and the best mathematician can notice analogies between theories. One can imagine that the ultimate mathematician is one who can see analogies between analogies."

I wonder how models perform on finding analogies between analogies


Replies

skybriantoday at 3:19 PM

Well, I suppose that explains monads. It’s one thing to see an analogy and quite another to make it the basis of an API.

tomrodtoday at 2:48 PM

> I wonder how models perform on finding analogies between analogies

Load-bearingly verbose, in my experience.