3 ms·
Google doesn't 'think' and neither does ChatGPT. I will give you a hard limit on what a machine can't compute -- it will never figure out given a programming sc
by s_dev 3y ago
Google doesn't 'think' and neither does ChatGPT. I will give you a hard limit on what a machine can't compute -- it will never figure out given a programming script and an input when that program will stop. A human can do it by thinking through the problem -- whatever that process/phenomena of thought actually is it can think outside of itself and that fundamentally seperates it from a program even one as sophisticated as ChatGPT.
- astrange 3y agoThe limits on the halting problem are the same for a human and a computer. People aren't hypercomputers.
- ben_w 3y ago> A human can do it by thinking through the problem No, we cannot. Imagine a program that looks for the smallest counterexample to the Collatz conjecture. Nobody knows if it will ever terminate.
- xcv123 3y ago> A human can do it by thinking through the problem No. Humans cannot solve the halting problem. It is unsolvable. Cannot be solved manually or automatically. > It will never figure out given a programming script and an input when that program will stop It can for some programs. Just like humans can for some programs but not all.
- jiggawatts 3y agoHave you verified this hypothesis of yours? In my experience GPT4 especially can definitely "think through" what a program does and arrive at the result. Even the significantly dumber ChatGPT can do this: https://chat.openai.com/share/3ee29c5e-6cb4-485f-b0b4-29e982463687 https://chat.openai.com/share/3ee29c5e-6cb4-485f-b0b4-29e982... People mistakenly think that it's just regurgitating what it has seen on the web, but even if you don't prompt it in English it'll still a) solve the problem correctly, and b) do it in the target language: https://chat.openai.com/share/5b4e6e99-3fd8-4316-811c-2a9dec776f63 https://chat.openai.com/share/5b4e6e99-3fd8-4316-811c-2a9dec... If that's not impressive enough, the ability to round-trip from script-to-poem and then poem-to-script should blow your mind: What might have been the original PowerShell script snippet that inspired this poem? Be as terse as possible, using aliases where possible. In the realm of numbers, a tale begins, Where $x is a 7, with a smile it grins. From one to ten, the journey we thread, Adding 7 to $x, step by step we tread. $x grows and grows, like a tree so tall, With every step, it doesn't fall. Once the journey ends, not a moment we relax, Triple the fun, we do with $x. In this dance of digits and the arithmetic song, With $x as our guide, we whirl along. From start to finish, through each complex, This is the tale of our friend, $x. Here's a terse PowerShell script snippet that inspired the poem: ```powershell $x = 7 1..10 | % {$x += 7} $x *= 3 ```
- deleted 3y ago[deleted]