Gabriel A. Melo, Marcos R. O. A. Máximo, Nei Y. Soma, Paulo A. L. Castro. "Machines that halt resolve the undecidability of artificial intelligence alignment." Scientific Reports, 2025. doi:10.1038/s41598-025-99060-2