Vladimir_Nesov comments on Let’s reimplement EURISKO!

[Vladimir_Nesov]

At which point you are starting to think of what it takes to make not just informally “Good” AI, but an actually Friendly AI.