3 ms·
>Somehow, we've hit the point where AIs can write sonnets and play jazz, but proving simple theorems is still science fiction. It's interesting that this seems
by jhbadger 3y ago
>Somehow, we've hit the point where AIs can write sonnets and play jazz, but proving simple theorems is still science fiction.
It's interesting that this seems to be a return to conventional ideas of what is difficult. I remember that people used to comfort themselves with statements like "yes, computers are very good at things like chess and mathematics, but they will never be able to compose music or write a poem" implying that those things were the real hard things and that math and chess were comparatively easy.
- empath-nirvana 3y agoPeople have this weird idea that if an AI uses an external tool like a search engine or python to do something, that it is somehow cheating, but try doing advanced math as a _human_ just off the top of your head. No pencil and paper, no calculator, no looking up how to do things. Math and logic is not a _natural_ thing that humans can do. It's something they have to be trained to do, and most humans throughout history did not know how to do it. People need to stop thinking of an AI system is only a neural network. In reality any usable AI system is going to be a collection of specialized components, some of which might be GOFAI, along with more general components (like generative ai).