I tried to explain OpenAI’s solution more clearly than OpenAI did.
An OpenAI model solved Erdős' 1946 unit distance problem with n^(1+δ) configurations, confirmed by Princeton. The result validates general AI as a mathematical co-author, with direct implications for cryptography and coding theory foundations.
OpenAI's AI model solves Paul Erdős' 80-year-old geometry puzzle, earning praise from Princeton mathematicians.
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.