“AI performance on the MATH benchmark for high school competition math problems has improved from a few percent accuracy three years ago to being effectively solved today.”