Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company ...

With AI’s ability to solve complex math problems in a matter of seconds, it may feel to teachers like the technology is rapidly changing—or will soon—how math is taught. When free and widely available ...

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

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.

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...