How many years between an AI scoring bronze on an IMO and an AI solving half of a Miklós Schweitzer exam?