> incredible what mental hoops people will jump through to disqualify AI!
There are high peaks and troughs in AI buzz right now.
Yes, on the one hand you've the but-can-it-dance crowd.
On the other hand, Terence Tao on GPT-4. I mean, I'm not weird for really expecting the story here either be about GPT4 helping Terence Tao on some difficult newfangled proof, or Tao talking about the math behind large language models. Instead this boils down to
GPT4 even does the work of some of the smartest mathematicians in the world[1]
1: by parsing some web pages and PDFs for their meetings