Tag
Mythos, using Claude code, solved the unit distance problem recently handled by GPT 5.5, presenting a cute, simple proof.
Over the weekend, Mythos was tested on the Erdos unit distance problem (Problem #90) and successfully solved it.
OpenAI's model independently solved the plane unit distance problem posed by Erdős in 1946, marking the first time AI has autonomously solved a core open problem in mathematics—a historic achievement.
An internal OpenAI model achieved a breakthrough in the unit distance problem, a famous open conjecture in discrete geometry that had seen no progress in 80 years, by finding a new construction beating the grid's bound.
An OpenAI model autonomously disproved a central conjecture in discrete geometry known as the unit distance problem, marking the first time an AI has solved a prominent open problem in mathematics.