A professor studies equations on a chalkboard covered with mathematical formulas.Eight decades after Paul ErdÅ‘s posed the unit distance problem in 1946, a general-purpose AI has produced configurations that beat the long-standing conjectured bounds, proving at least n^(1+δ) unit-distance pairs for some δ>0. Mathematicians at Princeton have verified the result, with figures like Tim Gowers and Arul Shankar calling it a significant advance. An 80-year-old […]

source https://news.bitcoin.com/an-ai-cracks-an-80-year-old-geometry-puzzle-what-do-mathematicians-make-of-it-49201/