gwitter
Daniel Litt
@littmath
1 Dec 2022
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
Daniel Litt
@littmath
1 Dec 2022
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
Daniel Litt
@littmath
1 Dec 2022
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
Daniel Litt
@littmath
1 Dec 2022
Hmm...
5
31
Chrystopher L. Nehaniv 🇺🇦 *Glory to Ukraine!*
@NehanivCL
1 Dec 2022
Replying to
@littmath
Likely just plagiarized, no?
1
4
soph
@QuantPrincess
1 Dec 2022
Replying to
@littmath
Looking forward to the day the chatbot can prove Reimann hypothesis…
2
Jeff K 🌱
@effj_kerr
1 Dec 2022
Replying to
@littmath
Could you ask it to develop a geometric proof of this formula?
Jeff K 🌱
@effj_kerr
1 Dec 2022
Replying to
@littmath
Since it’s trained on such a huge data set, can’t it just copy someone else’s answer?
1
1
Chris Henson
@_chenson__
1 Dec 2022
Replying to
@littmath
There are some pretty impressive programming examples too.
Brendan Dolan-Gavitt
@moyix
30 Nov 2022
ChatGPT exploits a buffer overflow 😳
5
Chris Henson
@_chenson__
1 Dec 2022
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
octopus
@8ctopuso
1 Dec 2022
Replying to
@littmath
I'm stunned. It uses the Fundamental Theorem of Calculus for power rule perfectly.
1
1
3
Load more