[d4rkp4ttern]

Is this a generally well known thing?

[tmule]

Nope, but it’s not particularly unknown either. It shouldn’t be a surprise; he had remarkable research contributions before and after (separately, he was also an IMO gold medalist).