The Merging Was Always the Point

An internal OpenAI model disproved the 1946 Erdős unit-distance conjecture, a renowned problem in combinatorial geometry. Nine mathematicians have examined and confirmed the correctness of the disproof.