This is all really cool, but is getting new singularity theorems really a positive sign? Like, my understanding was that it was generally hoped that an improved, quantum theory of gravity would eliminate such singularities -- that such singularities were generally considered to be non-physical artifacts that occur in GR due to its deficiencies at the most extreme scales (where quantum gravity would be relevant), not that they are in fact real and physical. So I'd consider it a better sign if these predicted black holes, which we see, but without singularities!