The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

OpenAI claims one of its newest AI reasoning models has solved a maths problem that has remained unsolved since 1946. The ...

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role ...

OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...

Goldbach’s conjecture sounds almost too simple: every even number greater than two should be the sum of two primes. Mathematicians have chased it for nearly 300 years, a publisher once offered $1 ...

In-class phone use fell sharply, from 61% of students to 13%, with researchers using GPS phone pings to confirm a significant dr ...

The confession of a Wisconsin inmate featured in the Netflix series Making a Murderer was improperly obtained and he should be retried or released from prison, a three-judge U.S. federal appeals panel ...

OpenAI is claiming its internal general-purpose reasoning model may have disproved the Erdős unit distance conjecture, a longstanding question in discrete geometry. Outside review is central to that ...

OpenAI had generated plenty of buzz by coming up with a breakthrough for an 80-year-old Erdős problem, but Anthropic now says that ...

The AI-assisted math results were first coming in a trickle, but they seem to be threatening to turn into a deluge. OpenAI ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...