Terry Tao is a child prodigy who's entire life has been 'you are so good at math' is it a surprise it's a bit reality shattering to him to find an AI can write proofs better than most humans?