[nojvek]

Not just an award winning mathematician. Tao is perhaps the greatest mathematician alive and we are lucky to have him in US compared to Australia. He’s a fields medal winner. Solved many tough mathematical problems. Very active in Lean community in making open proofs.

China or Europe could steal him. It would be a loss.