Beneficial AI Research

Beneficial AI Research uses mathematical proof to constrain powerful AI to be beneficial for humanity.