ChatGPT's breakthrough is not what it seems.

OpenAI's AI helped overturn a longstanding math conjecture by finding a counterexample, highlighting a powerful new way to tackle difficult problems.

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

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.

We've all been there: staring at a math test with a problem that seems impossible to solve. What if finding the solution to a problem took almost a century? For mathematicians who dabble in Ramsey ...

Coverage is the real problem, not detection. The teams that will thrive over the next five years are the ones rebuilding ...

The bat-and-ball problem is a famous math puzzle that more than half of people—even Harvard graduates—get wrong. It's ...