OpenAI Model Disproves Erdős Planar Unit Distance Conjecture
OpenAI announced on May 20 that an internal general-purpose reasoning model disproved the planar unit distance problem, a conjecture posed by mathematician Paul Erdős in 1946, by producing an infinite family of point arr…