Ethical and existential hazards: The development of Tremendous smart AI raises fears about its likely influence on society, like threats related to Regulate, alignment with human values, and existential threats to humanity. This early work paved the way with the automation and formal reasoning th