OpenAI gelingt mit KI der Durchbruch beim Planar-Unit-Distance-Problem. Mathematiker bestätigen die ...