An 80-year-old Erdős conjecture disproved

While evaluating an unreleased model, it found a new family of constructions disproving the planar unit-distance conjecture.

OpenAI published the proof and remarks from external mathematicians. This is distinct from the earlier overstated GPT-5 case that merely recovered existing literature.

Sources

OpenAI · discrete geometry conjectureOpen primary source