AI solves 20-year math challenge that researcher thought machines could not crack

A Polish mathematician spent two decades crafting a problem meant to test the limits of artificial intelligence. A new AI ...
Univeristy of Iowa Daily Iowan

IC schools hold new monthly math challenge to increase student engagement

A new monthly math challenge, created by Iowa City Community School District math teacher Kate Degner, looks to help spread the enjoyment of math for students and the community. The math challenge is ...
Hosted on MSN

AI system TongGeometry generates and solves Olympiad-level geometry problems

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.
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 ...
NewsBytes

AI solves math problem that stumped experts for years

An artificial intelligence system has successfully solved a complex mathematical problem, originally designed 20 years ago to test the limits of AI capabilities.
ZDNet

Google's DeepMind AI takes home silver medal in complex math competition

Today's artificial intelligence (AI) systems possess many skills but typically fall short when it comes to tackling complex math problems. That's why Google is excited that two of its DeepMind AI ...