Can AI make advancements in moral philosophy by writing proofs?

If civilization advances its technological capabilities without advancing its wisdom , we may miss out on most of the potential of the long-term future. Unfortunately, it’s likely that that ASI will have a comparative disadvantage at philosophical problems. You could approximately define philosophy as “the set of problems that are left over after you take all the problems that can be formally…