4h agoAn OpenAI model disproves a longstanding Erdős conjecture on grid-point intersections with a unit circleThis is the first time AI resolved such a proof.SentimentSentimentPos100%Neg0%Users praised OpenAI's model for disproving the Erdős unit distances conjecture as good work while sharing their own interactive visualizations.1 comment with sentiment. View comments.