OpenAI's AI model solved the unit distance problem posed by Paul Erdos in 1946 The AI found a counterexample disproving Erdos's conjecture on unit-distance pairs The solution shows unit-distance pairs ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results