Exactly. It's what the execs are missing.
Also animals thrive in underspecified environments, while AIs like very specific environments. Math is the most specified field there is lol
Also animals thrive in underspecified environments, while AIs like very specific environments. Math is the most specified field there is lol
One difference between intelligence and artificial intelligence is that humans can thrive with extremely limited training data, whereas AI requires a massive amount of it. I think if anybody is worried about being replaced by AI, they should look at maximising their economic utility in areas which are not well specified.
Gödel showed that arithmetic cannot prove everything about itself.
Turing showed that computers cannot predict everything about themselves.
Rice showed that we cannot automatically verify what programs will do.
Chaitin showed that mathematics is full of random, unprovable facts.
Lawvere showed that they are all failing for the exact same structural reason!
These are not fringe issues. They define the absolute boundaries of human and machine intelligence.