Ein allgemeines Reasoning-Modell, das nicht für Mathematik trainiert wurde, hat eine neue Familie von Punktkonfigurationen erzeugt, die die obere Schranke von Paul Erdős aus dem Jahr 1946 für das ebene Einheitsabstandsproblem aufbricht. Vier Mathematiker haben es bestätigt.