OpenAI said its models generated proof that the Exponential Time Hypothesis is false. It also released new results for math ...

Using the same techniques that allowed A.I. technologies to crack a million-dollar math problem, researchers are building new ...

You can probably think of a time when you've used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...

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

Controversy surrounds OpenAI’s claim that it took 10,000 agents a weekend to solve one of math’s six unsolved “million-dollar” problems.