OpenAI model claims to disprove Erdős conjecture
OpenAI announced that its reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture about planar unit distances, first posed by mathematician Paul Erdős in 1946.
·2 sources
