Any sufficiently-robust solution to 1 will essentially have to be proof-based programming; if your code isn’t mapped firmly to a proof that it won’t produce detrimental outcomes, then you can’t say in any real sense that it’s robust. When an overflow error could result in the ’FAI″s utility value of cheesecake going from 10^-3 to 10^50, you need some damn strong assurance that there won’t be an overflow.
Or in other words, one characteristic of a complete solution to 1 is a robust implementation that retains all the security of the theoretical solution, or in short, an AGI. And since this robustness continues to the hardware level, it would be an implemented AGI.
Any sufficiently-robust solution to 1 will essentially have to be proof-based programming; if your code isn’t mapped firmly to a proof that it won’t produce detrimental outcomes, then you can’t say in any real sense that it’s robust. When an overflow error could result in the ’FAI″s utility value of cheesecake going from 10^-3 to 10^50, you need some damn strong assurance that there won’t be an overflow.
Or in other words, one characteristic of a complete solution to 1 is a robust implementation that retains all the security of the theoretical solution, or in short, an AGI. And since this robustness continues to the hardware level, it would be an implemented AGI.
TL;DR: 1 entails 2.