[math-fun] Re Shortest Successful Maths PhD Thesis