OpenAI's model disproves unit distance problem. Erdős posed the problem in 1946. Model finds better point arrangements than square grids. Proof uses algebraic number theory and Golod-Shafarevich theory. Tim Gowers calls achievement a 'milestone'. Connections revealed between number theory and geometry. AI systems may aid biology, physics, and medicine