Large language models solve problems at the highest level

Christian Stump and his colleagues have given current large language models math problems to solve.