STORY · FORSKNING_
AI solves legendary Erdős problems
OpenAI models have made breakthroughs in mathematics by solving several of the famous Erdős problems. In May 2026, an internal OpenAI model found a counterexample to the unit distance problem from 1946, and in August OpenAI announced that a model called Astra solved an additional ten mathematical problems, including three more Erdős problems.
WHY IT MATTERS
These results mark a phase transition in AI models' mathematical abilities, and mathematicians claim it is changing how mathematical research is conducted. The Erdős problems have become a central testbed for understanding how far AI can reach in scientific problem-solving.
SOURCES
MACHINE-GENERATED SUMMARY This summary is written by machine from the sources below. We sort and explain — but we are a way into the field, not the final word. Check the source when something matters to you.