“If we can get a computer to have that brilliant idea ... Then they’ll train an AI system to search among those strategies for a “winning” combination that solves IMO problems it’s never seen before.

"It's a collaboration tool that is a government-approved system, but it's not mandated ... It's just another thing to bog your computer down." With each program downloaded to the computer ...

An AI from Google DeepMind can solve some International Mathematical Olympiad (IMO) questions on geometry almost as well as the best human contestants. How does ChatGPT work and do AI-powered ...

Indeed, this past summer, DeepMind demoed a system that combined AlphaGeometry2 with AlphaProof, an AI model for formal math reasoning, to solve four out of six problems from the 2024 IMO.