There was more progress on open problems in mathematics in the last six months (because of AI) than in the previous decade.