T twitter.com Terence Tao Uses GPT-4 to Study Mathematics 31 points irthomasthomas 3 years ago 26 comments