Very impressed by the new OpenAI chatbot. Took a few tries but eventually it gave a correct proof that the sum of the first n positive integers is n(n+1)/2.

Dec 1, 2022 · 1:33 AM UTC

Can’t get it to prove that the square root of 5 is irrational though. It has the right idea but so far haven’t been able to lead it to the end.
Replying to @littmath
Can it do the sum from 3 to n+2? From -1 to n+1?
Replying to @littmath
Looking forward to the day the chatbot can prove Reimann hypothesis…
Replying to @littmath
Could you ask it to develop a geometric proof of this formula?
Replying to @littmath
Since it’s trained on such a huge data set, can’t it just copy someone else’s answer?
Replying to @littmath
There are some pretty impressive programming examples too.
ChatGPT exploits a buffer overflow 😳
Replying to @littmath
Check out this example I just got to work. Only took asking the question twice to get this detailed answer:
Replying to @littmath
I'm stunned. It uses the Fundamental Theorem of Calculus for power rule perfectly.