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

19
27
12
283
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.
7
1
5
59
Simon Pepin Lehalleur @plain_simon
1 Dec 2022
Replying to @littmath
Can it do the sum from 3 to n+2? From -1 to n+1?
3
1
15
Hmm...
5
31
Replying to @littmath
Likely just plagiarized, no?
1
4
Replying to @littmath
Looking forward to the day the chatbot can prove Reimann hypothesis…
2
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?
1
1
Replying to @littmath
There are some pretty impressive programming examples too.
Brendan Dolan-Gavitt @moyix
30 Nov 2022
ChatGPT exploits a buffer overflow 😳
5
Replying to @littmath
Check out this example I just got to work. Only took asking the question twice to get this detailed answer:
1
1
5
Replying to @littmath
I'm stunned. It uses the Fundamental Theorem of Calculus for power rule perfectly.
1
1
3
Load more