Åtte tiår etter at Paul Erdős formulerte enhetsavstandsproblemet i 1946, har en generell KI funnet konfigurasjoner som slår de mangeårige antatte grensene, og bevist minst n^(1+δ) enhetsavstander.

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