Eine OpenAI-KI hat die Mathematik einen Schritt naher an die Losung eines beruhmten Erds-Problems gebracht. Seit 80 Jahren hingen die Forscher hier fest.