4 ms·
> however that solution only works because we have a non AI system to prove correctness. I'm not sure why you are calling it non-AI. There's no reason why som
by empath-nirvana 3y ago
> however that solution only works because we have a non AI system to prove correctness.
I'm not sure why you are calling it non-AI. There's no reason why some AI system has to be some single neural network like GPT and not a hacked together conglomeration of a bunch of neural networks and symbolic logic systems. Like is it cheating to use a SAT solver? Is a SAT solver itself not artificial intelligence of a kind?
- cubefox 3y agoIn modern terminology, AI = machine learning model. The hand coded GOFAI from the past is just called software.
- lucubratory 3y agoNo, you can't just declare a word redefined when it is still in common usage in its correct meaning, which includes both GOFAI and deep learning/neural network approaches. AI is effect defined, not architecture defined.