Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.

Despite hosting matches and aiming for a historic run, Mexico is projected to suffer disappointment this summer.

The 2026 FIFA World Cup is one of the most watched events of the international sports calendar, and fans from across the globe will be trying to predict how far their team will go. I’m a data ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...