This is a huge advance for AI to make big progress with better reasoning and better math. Artificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new ...

Google DeepMind has unveiled two new AI systems that collectively solved four of six problems from this year's International Mathematical Olympiad (IMO), performing at the level of a silver medalist.

Google DeepMind and OpenAI, both companies, have won gold medals due to terrific performance at the prestigious International Mathematical Olympiad 2025. In total, both companies solved five out of ...

Google DeepMind’s AlphaProof system solved International Mathematical Olympiad problems at a silver-medal level earlier this year, marking the most concrete demonstration yet that artificial ...

The International Mathematical Olympiad (IMO) is arguably the leading mathematical problem-solving competition. Every year, high school students from around the world attempt six problems over the ...