“In approximately 1.5 years, the mathematical capabilities of large language models have advanced from struggling with GSM8K problems to solving IMO and Erdős-level problems using only language.”