I met him at a Slate Star Codex meetup in 2018 and at a conference in 2022.

I think I might have heard so from Nicolas Bourbaki