The characteristic polynomial of a random matrix - Sean Eberhard (2020)