[cubefox]

Here is a summary of Aschenbrenner's paper:

https://forum.effectivealtruism.org/posts/zmRTWsYZ4ifQKrX26/...