› Es war eine jener Fragen, die so einfach klingen, dass man sich wundert, warum sie die klügsten Köpfe fast ein Jahrhundert lang beschäftigte: Wie viele Punkte kann man auf einem Blatt Papier so anordnen, dass möglichst viele Paare davon genau eine Einheit voneinander entfernt sind?
› 1946 stellte der exzentrische ungarische Mathematiker Paul Erdős dieses „Planar Unit Distance Problem“ und behauptete, die maximale Anzahl solcher Einheitsabstände würde etwas schneller wachsen als die reine Anzahl der Punkte.
› Fast 80 Jahre später hat kein Mensch, sondern eine Maschine die bislang präziseste Antwort geliefert - und das, ohne speziell dafür trainiert worden zu sein.
› „Dieser Beweis ist ein wichtiger Meilenstein für die Mathematik- und KI-Community.