Yahoo

Mathematicians Question AI Performance at International Math Olympiad

A defining memory from my senior year of high school was a nine-hour math exam with just six questions. Six of the top scorers won slots on the U.S. team for the International Math Olympiad (IMO), the ...
NextBigFuture

AI achieves silver-medal standard solving International Mathematical Olympiad Problems

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 ...
The Straits Times

Google’s DeepMind says its AI can tackle Math Olympiad problems

CALIFORNIA – Google DeepMind, Alphabet’s artificial intelligence (AI) research division, said it has made strides in solving complex maths problems, an area that remains challenging for today’s AI ...
GIGAZINE

Google DeepMind announces that it has developed an AI that can achieve silver medal-level scores in mathematics Olympiad problems

Google DeepMind has announced a new reinforcement learning-based system for formal mathematical reasoning called 'AlphaProof' and a geometry solving system called 'AlphaGeometry 2.' The combination of ...
Los Angeles Times

U.S. wins gold at International Math Olympiad for first time since 1994

For some, China’s dominance at the International Mathematical Olympiad seemed to confirm an unfortunate fact: Chinese students had gained an insurmountable upper hand over their American counterparts ...