KI beweist: Mathematiker lagen falsch by from heise online News on 2026-05-21 15:00 (#75SDC) 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.