Q: Are you familiar with formal concepts of optimal AI design which relate to searches over complete spaces of computable hypotheses or computational strategies, such as Solomonoff induction, Levin search, Hutter’s algorithm M, AIXI, or Gödel machines?
FWIW, yes, I am familiar with Solomonoff induction, Hutter’s algorithm and this field generally. Other than being part of the background theory of computer science and computability/complexity theory, I do not consider it to be directly relevant to actual AI practice, nor that it will produce any kind of quantum leap in general AI (or indeed in general computer science or computer engineering.)
I note that some of your commentators have distinguished AI from General AI, or GAI, a new “field”. As far as I can tell, GAI has not yet actually achieved anything, and seems to be predicated on a false view of the reality of AI work. I strongly suspect that the only reason for the existence of GAI is a frustration with the fact that most experts in actual AI do not find the more hysterical dystopian AI futurism plausible.
I agree that AI is to computers as intelligence is to brains. Faster electronics and more transistors only equate to faster neurones and more synapses. Intelligence is the manner in which the neurones are applied and that is a totally different view.
We (my antecedents and myself) have studied human intelligence for around 60 years and have developed the manner in which humans think and make rational decisions. We have produced software that thinks faster and better than humans. It adapts to ANY situation (mining, retail, banking, consulting, shopping, arguing, fixing...) and even has moods.
So far the interest has been poor, probably due to ignorance, ego, disbelief or jealousy—who knows—but we can defend the design and the design philosophy in any level of detail.
Update
I just received this email from Pat Hayes:
I agree that AI is to computers as intelligence is to brains. Faster electronics and more transistors only equate to faster neurones and more synapses. Intelligence is the manner in which the neurones are applied and that is a totally different view.
We (my antecedents and myself) have studied human intelligence for around 60 years and have developed the manner in which humans think and make rational decisions. We have produced software that thinks faster and better than humans. It adapts to ANY situation (mining, retail, banking, consulting, shopping, arguing, fixing...) and even has moods.
So far the interest has been poor, probably due to ignorance, ego, disbelief or jealousy—who knows—but we can defend the design and the design philosophy in any level of detail.