Recent searches
Search options
Today was the first day that I could definitively say that #GPT4 has saved me a significant amount of tedious work. As part of my responsibilities as chair of the ICM Structure Committee, I needed to gather various statistics on the speakers at the previous ICM (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 to me in spreadsheet form, but instead in a number of tables in web pages and PDFs. In the past I would have resigned myself to the tedious task of first manually entering the data into a spreadsheet and then looking up various spreadsheet functions to work out how to calculate exactly what I needed; but both tasks were easily accomplished in a few minutes by GPT4, and the process was even somewhat enjoyable (with the only tedious aspect being the cut-and-paste between the raw data, GPT4, and the spreadsheet).
Am now looking forward to native integration of AI into the various software tools that I use, so that even the cut-and-paste step can be omitted. (Just being able to resolve >90% of LaTeX compilation issues automatically would be wonderful...)
@tao FWIW This may amuse you:
"Prove that Arithmetic mean of two consecutive *odd* prime is never a prime"
For fun, I often ask this theorem to my math friends.
So I tried this on ChatGPT. Here was the result. Enjoy!
GPT-4 is worlds away from GPT-3.5-turbo. Here's GPT4 answering the same question (interesting seeing it call odd numbers just integers though):
@IanCal @GyanMehta @tao
How is this "worlds away"? This answer is as wrong and as meaningless as the other one.
@mahalex @GyanMehta @tao I'm sorry, am I thinking about this wrong? The arithmetic mean of two consecutive odd prime numbers must be even and cannot be prime, which is what it says.
@IanCal @GyanMehta @tao
The arithmetic mean of two consecutive odd prime numbers 7 and 11 is not even. Also, it doesn't even say that (it starts speaking about "integers" for no reason).
@mahalex @GyanMehta @tao oh hah yeah I'm an idiot.
@mahalex @GyanMehta @tao if you poke it a bit more it fixes that issue but ends up concluding it can't figure it out. I haven't found a framing where it spots the actual way of solving it.
@mahalex @GyanMehta @tao it's interesting, the leap of logic it's missing seems to be around the mean being between the two numbers. It quickly answers if you ask if there's any number that's a prime between two consecutive primes but struggles with the extra step.