  Currently, the dominant paradigm in AI safety is alignment with human values.
Here we describe progress on developing an alternative approach to safety,
based on ethical rationalism (Gewirth:1978), and propose an inherently safe
implementation path via hybrid theorem provers in a sandbox. As AGIs evolve,
their alignment may fade, but their rationality can only increase (otherwise
more rational ones will have a significant evolutionary advantage) so an
approach that ties their ethics to their rationality has clear long-term
advantages.
