Machines that halt resolve the undecidability of artificial intelligence alignment

机器停止运行，解决了人工智能对齐的不可判定性问题