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, ...

Axiom Math says its AxiomProver AI system has solved four long-standing math problems and achieved peer-reviewed publication, ...

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

Among high school students and adults, girls and women are much more likely to use traditional, step-by-step algorithms to solve basic math problems – such as lining up numbers to add, starting with ...