OpenAI says its next big model can bring home Math Olympiad gold: A turning point?