An OpenAI model disproves a longstanding Erdős conjecture on grid-point intersections with a unit circle · Digg