4 ms·
The last point is neither right nor wrong, it's fanfiction. The second point is wrong. You can automatically synthesize code from a specification (and you coul
by qsort 4y ago
The last point is neither right nor wrong, it's fanfiction.
The second point is wrong. You can automatically synthesize code from a specification (and you could already do so before LLMs, arguably even better with SMT solvers), but who is going to write the specification in the first place, buddy?
That's the problem that's never been solved, and it will never be solved because it can't be solved. It is not easier to write a specification in English than it is to write it in C++. It's like saying that math would become easier if we took away the burden of using mathematical notation. Not only it wouldn't get any easier, it would get significantly more difficult!
Lies are dangerous, because if you say too many of them, you start believing your own. "AI is like a human you can talk to", they said. Now they act as though that's true, and they talk to the AI, without realizing it's the same faithful mechanical slave it has always been, perfectly capable of carrying out nonsensical instructions to their nonsensical results.
And the instructions are necessarily nonsensical, because they insist on using an interface too wide, where saying something precise is all but impossible.
- cowthulhu 4y agoWriting a spec is a problem that can be broken down into sub-problems and so on. It’s not magic, and while the LLMs of today may do it poorly, there’s nothing special about the task that would prevent better models from doing a decent job. I’m sure if someone posted on here 5 years ago that they were building an AI that could at an image and tell you what’s funny about it, people on here would be foaming at the mouth to explain how impossible that task is, that only humans possess the subjective viewpoint and je-ne-sai-quois of human… and now here we are.
- qsort 4y ago> Writing a spec is a problem that can be broken down into sub-problems and so on. Yes, a.k.a. programming. If you assume that you have a machine powerful enough to do that, then you have a machine powerful enough to do anything at all: you are assuming the thing you're trying to prove. There exists no universe where a machine that can do whatever you want by being instructed verbally isn't also replacing the one instructing it...