Given the demonstrated rate of improvement of AI in math this year, I don't understand the value of that latter observation.