Melo, G. A., Máximo, M. R. O. A., Soma, N. Y., Castro, P. A. L. (2025). Machines that halt resolve the undecidability of artificial intelligence alignment. Scientific Reports. https://doi.org/10.1038/s41598-025-99060-2