One mathematician shared his experience with AI

Terence Tao stated that 'GPT-4 has saved him a significant amount of tedious work'.

Terence Tao once needed to gather various statistics on the speakers at one event (for instance, how many speakers there were for each section, taking into account that some speakers were jointly assigned to multiple sections).

The raw data (involving about 200 speakers) was not available in spreadsheet form, but instead in a number of tables in web pages and PDFs.

At that moment Tao asked GPT-4 to complete the tasks.Here are the prompts shared by Tao:

Fields Medal winner Terence Tao didn't just write "GPT-4 has saved me a significant amount of tedious work. I am now looking forward to native integration of AI into the various software tools that I use", but also described how GPT-4 helps him search for different proof ideas, works with bibliography and various sources in general, knows how to do complicated parsing, etc.‌‌

GPT-4 doesn't formulate and prove new theorems for Terence, but it gives him more time to do it.