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

In the third century BCE, Apollonius of Perga asked how many circles one could draw that would touch three given circles at exactly one point each. It would take 1,800 years to prove the answer: eight ...

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

We’re seeing some new developments in AI models that are shedding light on one of the technology’s most prominent gaps – its relative inability to do math well. Some experts note that AI is ...

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.

When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works.

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