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). https://doi.org/10.1038/s41598-025-99060-2