Mathematical proofs of black hole physics are becoming too complex even for specialists.
References
Aschbacher, M. Not. Am. Math. Soc. 51, 736–740 (2004).
Solomon, R. Not. Am. Math. Soc. 65, 646–651 (2018).
Giorgi, E. Not. Am. Math. Soc. 70, 552–563 (2023).
Giorgi, E., Klainerman, S. & Szeftel, J. Preprint at https://arxiv.org/abs/2205.14808 (2022).
Klainerman, S. & Szeftel, J. Pure Appl. Math. Q. 19, 791–1678 (2021).
Castelvecchi, D. Nature 595, 18–19 (2021).
Scholze, P. Blueprint for the liquid tensor experiment https://leanprover-community.github.io/liquid/ (2021).
Scholze, P. Exp. Math. 31, 349–354 (2022).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The author declares no competing interests.
Rights and permissions
About this article
Cite this article
Penuela Diaz, A. Why even specialists struggle with black hole proofs. Nat. Phys. 20, 522 (2024). https://doi.org/10.1038/s41567-024-02398-z
Published:
Issue Date:
DOI: https://doi.org/10.1038/s41567-024-02398-z
- Springer Nature Limited