MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

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

Mathematics is often regarded as the ideal domain for measuring AI progress effectively. Math’s step-by-step logic is easy to track, and its definitive automatically verifiable answers remove any ...

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