I’ve also been perplexed by the focus on Tao in particular. In fact, I’ve long thought that if it’s a good idea to recruit a top mathematician to alignment, then Peter Scholze would be a better choice since
he’s probably the greatest active mathematician
he’s built his career out of paradigmatizing pre-paradigmatic areas of math
That said, I’m quite confident that Scholze is too busy revolutionizing everything he touches in mathematics to be interested in switching to alignment, so this is all moot.
(Also, I recognize that playing the “which one mathematician would be the single best to recruit to alignment?” game is not actually particularly useful, but it’s been a pet peeve of mine for a while that Tao is the poster child of the push to recruit a mathematician, hence this comment.)
Thanks, I’ve added him to my list of people to contact. If someone else wants to do it instead, reply to this comment so that we don’t interfere with each other.
I’ve also been perplexed by the focus on Tao in particular. In fact, I’ve long thought that if it’s a good idea to recruit a top mathematician to alignment, then Peter Scholze would be a better choice since
he’s probably the greatest active mathematician
he’s built his career out of paradigmatizing pre-paradigmatic areas of math
he has an interest in computer proof-checking.
That said, I’m quite confident that Scholze is too busy revolutionizing everything he touches in mathematics to be interested in switching to alignment, so this is all moot.
(Also, I recognize that playing the “which one mathematician would be the single best to recruit to alignment?” game is not actually particularly useful, but it’s been a pet peeve of mine for a while that Tao is the poster child of the push to recruit a mathematician, hence this comment.)
Thanks, I’ve added him to my list of people to contact. If someone else wants to do it instead, reply to this comment so that we don’t interfere with each other.