AI: AI's latest challenge: the math olympics - The Economic Times
Over the past few years, Google DeepMind has pursued a number of projects investigating the application of AI to mathematics. And more broadly in this research realm, Olympiad math problems have been adopted as a bench mark.
Source: indiatimes.com