Google and OpenAI AI Models Clinch Gold at International Math Olympiad – Breakthrough for AI Reasoning