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

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

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

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