Maybe his work on provable friendliness would reveal ideas on AI design that could be used to produce an unfriendly AI? But even then the ideas would probably only help AI researchers who work on transparent design
All FAIs are AGIs, most of the FAI problem is solving the AGI problem in particular ways.
All FAIs are AGIs, most of the FAI problem is solving the AGI problem in particular ways.