> My particular approach (or dream) is to define good and evil formally That's great, but in practice, "formally defining a code of ethics that the AI will hav

> My particular approach (or dream) is to define good and evil formally That's great, but in practice, "formally defining a code of ethics that the AI will have to abide by" is a field that has existed for a few years already, with a lot of work that's more formal than "my dream would be to do things this way". I think the consensus is that "defining good and evil formally" is a losing battle, though I don't know the field that well. Look up "AI aligment", there's a lot of material out there.