Metaculus: When Will an AI Win a Gold Medal in the International Math Olympiad?