The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level mathematics ...

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.

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...

An AI system developed by Google DeepMind, Google’s leading AI research lab, appears to have surpassed the average gold medalist in solving geometry problems in an international mathematics ...

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...