A team of AI researchers and mathematicians affiliated with several institutions in the U.S. and the U.K. has developed a math benchmark that allows scientists to test the ability of AI systems to ...

A Harvard mathematician says AI helped disprove the 87-year-old Jacobian conjecture, a breakthrough experts say is the most ...

Just days after OpenAI revealed that one of its AI systems had solved a famous math problem first proposed by legendary mathematician Paul Erdős in 1946, researchers at Google DeepMind have now made ...

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.

There weren’t calculators or computers in medieval Europe. But there were math duels. Mathematicians would gather in public squares and pose tricky math problems to each other. Then they raced to ...