4 ms·
Yes. I did ask it prior to that if it could solve the halting problem which it said it could not because it is a large language model etc... So then I just ga
by theGnuMe 4y ago
Yes. I did ask it prior to that if it could solve the halting problem which it said it could not because it is a large language model etc... So then I just gave it the code and it came up with what I posted.
- PaulHoule 4y agoNobody can solve the halting program in general but it is certainly possible to write a program that could prove that the first program terminates, that the loop never gets entered, the same way a person could make the same logical argument that ChatGPT makes.
- theGnuMe 4y agoI mean Turing proved it was not decidable on his machine.