In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

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’s AI model solved an 80-year-old Erdős math problem, marking a breakthrough in AI-assisted scientific reasoning and mathematics.

OpenAI says its AI model solved a famous 80-year-old maths problem that puzzled experts for decades, marking a major breakthrough in AI-powered research and reasoning.

An AI system developed by OpenAI has produced a verified proof addressing a classic problem in discrete geometry first posed in 1946.