On: Terence Tao on GPT-4

[ragazzina]

I think he just copy-pasted everything from the PDF to GPT4? He says:

> with the only tedious aspect being the cut-and-paste between the raw data, GPT4, and the spreadsheet