I think Maxim Kontsevich might be a better candidate for an elite mathematician to try to recruit. Check out this 2014 panel with him, Tao and some other eminent mathematicians—he alone said that he thought HLAI(in math) is plausible in our lifetimes, but also that working on it might be immoral(!) He also mentioned an AI forecast by Kolmogorov that I had never heard of before, so it seems he has some pre-existing interest in the area.
I think Maxim Kontsevich might be a better candidate for an elite mathematician to try to recruit. Check out this 2014 panel with him, Tao and some other eminent mathematicians—he alone said that he thought HLAI(in math) is plausible in our lifetimes, but also that working on it might be immoral(!) He also mentioned an AI forecast by Kolmogorov that I had never heard of before, so it seems he has some pre-existing interest in the area.