OpenAI's gold medal performance on the International Math Olympiad~ai~mathematics~techauthor.simon willisonopenaiinternational math olympiadsimonwillison.net Jul 19, 2025Tildes