> Not only do we not know how to build truly "intelligent" software, we don't know if it's even possible. Theoretically, we do know how to build intelligent ag

> Not only do we not know how to build truly "intelligent" software, we don't know if it's even possible. Theoretically, we do know how to build intelligent agents, e.g. AIXI. My bet is on something like [1] for the logic and [2] as the decision theory for a computable equivalent. Humans aren't even generally intelligent in the same way as AIXI (and to be fair AIXI requires sufficient perception and outputs to be effective, but the choice is not as hard-wired as humans are); we are very environment dependent and need augmentation with tools, education, etc. in order to make intelligent decisions. [1] https://intelligence.org/2016/09/12/new-paper-logical-induction/ https://intelligence.org/2016/09/12/new-paper-logical-induct... [2] https://intelligence.org/2017/10/22/fdt/ https://intelligence.org/2017/10/22/fdt/